X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/f8dfbbcc29a40de94580697e610db6254b85f0fb..76bad1b276ea45c07489dfbf0ec45a17f42f5a85:/src/env.sml diff --git a/src/env.sml b/src/env.sml index 1a93a38..f87278f 100644 --- a/src/env.sml +++ b/src/env.sml @@ -41,6 +41,11 @@ fun registerContainer (name, befor, after) = containers := SM.insert (!containers, name, (befor, after)) fun container name = SM.find (!containers, name) +val functions : (exp list -> exp option) SM.map ref = ref SM.empty +fun registerFunction (name, f) = + functions := SM.insert (!functions, name, f) +fun function name = SM.find (!functions, name) + local val pr = ref (fn () => ()) in