{{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}}
signature DOMAIN = sig
+ val yourPath : string -> bool
val isIdent : char -> bool
val validHost : string -> bool
val validDomain : string -> bool
val dl = ErrorMsg.dummyLoc
+val _ = Env.type_one "homedir_path"
+ Env.string
+ (fn dir => Domain.yourPath (Config.homeBase ^ "/" ^ Domain.getUser () ^ "/home/" ^ dir))
+
val () = Env.registerFunction ("home",
fn [(EString dir, _)] => SOME (EString (Config.homeBase
^ "/"