diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-11-18 10:58:50 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-11-18 10:58:50 +0000 |
| commit | f1a68a3ca6330e4155bc2c7b0049d7d8e3c4188d (patch) | |
| tree | a57f75acbbf453204116d15008e01dce81dcd32d /src/GF | |
| parent | 7babe205e8f1c77afdc9a3c7cb7e859298999b42 (diff) | |
fixed a bug with type checking function types
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Grammar/MMacros.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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) |