fixed a bug with type checking function types

2008-11-18 10:58:50 +00:00
parent 7babe205e8
commit f1a68a3ca6
1 changed files with 1 additions and 0 deletions
--- 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)