HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9766575
)
Fix type-checking of nested config functions
author
Adam Chlipala
<adamc@hcoop.net>
Sat, 9 Dec 2006 22:30:08 +0000
(22:30 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sat, 9 Dec 2006 22:30:08 +0000
(22:30 +0000)
src/tycheck.sml
patch
|
blob
|
blame
|
history
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)