From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 9 Dec 2006 22:30:08 +0000 (+0000)
Subject: Fix type-checking of nested config functions
X-Git-Tag: release_2010-11-19~335
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/cdb376d42aa748c23e47b9226298e85cc0429cf6?hp=976657583f419a6a204400ea90f9758d15243acb

Fix type-checking of nested config functions
---

diff --git a/src/tycheck.sml b/src/tycheck.sml
index f1c90dc..9467b64 100644
--- 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)