From cdb376d42aa748c23e47b9226298e85cc0429cf6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 9 Dec 2006 22:30:08 +0000 Subject: [PATCH] Fix type-checking of nested config functions --- src/tycheck.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.20.1