HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix type-checking of nested config functions
[hcoop/domtool2.git]
/
src
/
tycheck.sml
diff --git
a/src/tycheck.sml
b/src/tycheck.sml
index
f1c90dc
..
9467b64
100644
(file)
--- a/
src/tycheck.sml
+++ b/
src/tycheck.sml
@@
-431,7
+431,7
@@
fun checkExp G (eAll as (e, loc)) =
val p' = checkPred G p
val G' = bindVal G (x, (TAction (p, SM.empty, SM.empty), loc), NONE)
- val t' =
checkExp G' e
+ val t' =
whnorm (checkExp G' e)
in
case t' of
(TAction _, _) => (TNested (p, t'), loc)