Fix type-checking of nested config functions

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 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)
            in
                case t' of
                    (TAction _, _) => (TNested (p, t'), loc)