X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/12adf55a902b1d9bde677e4636530e5753857e05..8a7c40fa29ff18a437fcf4ee3f248a7aeb41c19c:/src/env.sml

diff --git a/src/env.sml b/src/env.sml
index db92e6e..d9905dd 100644
--- a/src/env.sml
+++ b/src/env.sml
@@ -100,6 +100,10 @@ fun int (EInt n, _) = SOME n
 fun string (EString s, _) = SOME s
   | string _ = NONE
 
+fun bool (EVar "false", _) = SOME false
+  | bool (EVar "true", _) = SOME true
+  | bool _ = NONE
+
 fun mapFail f [] = SOME []
   | mapFail f (h :: t) =
     case f h of