HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Start of Apache
[hcoop/domtool2.git]
/
src
/
env.sml
diff --git
a/src/env.sml
b/src/env.sml
index
db92e6e
..
d9905dd
100644
(file)
--- 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 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
fun mapFail f [] = SOME []
| mapFail f (h :: t) =
case f h of