fn [e] => SOME e
| _ => NONE)
-fun webPlace (EApp ((EString "web_place_default", _), (EString node, _)), _) =
+fun webPlace (EApp ((EVar "web_place_default", _), (EString node, _)), _) =
SOME (node, Domain.nodeIp node)
- | webPlace (EApp ((EApp ((EString "web_place", _), (EString node, _)), _), (EString ip, _)), _) =
+ | webPlace (EApp ((EApp ((EVar "web_place", _), (EString node, _)), _), (EString ip, _)), _) =
SOME (node, ip)
| webPlace _ = NONE
-fun webPlaceDefault node = (EApp ((EString "web_place_default", dl), (EString node, dl)), dl)
+fun webPlaceDefault node = (EApp ((EVar "web_place_default", dl), (EString node, dl)), dl)
val _ = Env.registerFunction ("web_place_to_web_node",
fn [e] => Option.map (fn (node, _) => (EString node, dl)) (webPlace e)