Add read-only path type

[hcoop/domtool2.git] / lib / hcoop.dtl

diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl
index d2e4673..d9fe950 100644 (file)
--- a/lib/hcoop.dtl
+++ b/lib/hcoop.dtl
@@ -1,5 +1,8 @@
 {{HCoop-specific stuff}}
 
-extern val home : string -> string
+extern type homedir_path;
+{{Some relative subdirectory of your home directory}}
+
+extern val home : homedir_path -> your_path;
 {{Shortcut to denote a subdirectory of your home directory}}