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
^ "/"