From 65aefea2d6660b8357ed52fbc7e1a70e12451298 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 18 Nov 2008 10:58:50 +0000 Subject: [PATCH] fixed a bug with type checking function types --- src/GF/Grammar/MMacros.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/GF/Grammar/MMacros.hs b/src/GF/Grammar/MMacros.hs index f2a0f2cb2..9436955a3 100644 --- a/src/GF/Grammar/MMacros.hs +++ b/src/GF/Grammar/MMacros.hs @@ -185,6 +185,7 @@ val2expP safe v = case v of VGen i x -> if safe then prtBad "unsafe val2exp" v else return $ Vr $ x --- in editing, no alpha conversions presentv + VType -> return typeType where substVal g e = mapPairsM (val2expP safe) g >>= return . (\s -> substTerm [] s e)