msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

fixed a bug with type checking function types

Browse Source
This commit is contained in:
aarne
2008-11-18 10:58:50 +00:00
parent fae330f733
commit 65aefea2d6
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/GF/Grammar/MMacros.hs
View File

@@ -185,6 +185,7 @@ val2expP safe v = case v of
VGen i x -> if safe VGen i x -> if safe
then prtBad "unsafe val2exp" v then prtBad "unsafe val2exp" v
else return $ Vr $ x --- in editing, no alpha conversions presentv else return $ Vr $ x --- in editing, no alpha conversions presentv
VType -> return typeType
where where
substVal g e = mapPairsM (val2expP safe) g >>= return . (\s -> substTerm [] s e) substVal g e = mapPairsM (val2expP safe) g >>= return . (\s -> substTerm [] s e)