X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/c4b8e3b55459bbc035122e8573f6f4e4521ff6bd..48ee2f672d8ec465d9358c0333509f7db6807274:/src/plugins/hcoop.sml diff --git a/src/plugins/hcoop.sml b/src/plugins/hcoop.sml index b5f6b40..0441e3b 100644 --- a/src/plugins/hcoop.sml +++ b/src/plugins/hcoop.sml @@ -29,9 +29,12 @@ val _ = Env.type_one "homedir_path" (fn dir => Domain.yourPath (OS.Path.concat (Domain.homedir (), dir)) handle _ => false) -val () = Env.registerFunction ("home", - fn [(EString dir, _)] => (SOME (EString (OS.Path.concat (Domain.homedir (), dir)), dl) - handle _ => NONE) - | _ => NONE) +fun addHome name = Env.registerFunction (name, + fn [(EString dir, _)] => (SOME (EString (OS.Path.concat (Domain.homedir (), dir)), dl) + handle _ => NONE) + | _ => NONE) + +val () = addHome "home" +val () = addHome "homeS" end