Custom base types
[hcoop/domtool2.git] / src / env.sml
index b52ead1..d18a5a9 100644 (file)
@@ -25,6 +25,10 @@ open Ast
 structure SS = StringSet
 structure SM = StringMap
 
+val typeRules : (exp -> bool) SM.map ref = ref SM.empty
+fun registerType (name, rule) = typeRules := SM.insert (!typeRules, name, rule)
+fun typeRule name = SM.find (!typeRules, name)
+
 type env = SS.set * (typ * exp option) SM.map
 val empty : env = (SS.add (SS.singleton "int", "string"),
                   SM.empty)