GitHub/gf-core
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-10-19 14:23:11 -06:00
Code Issues Packages Projects Releases Wiki Activity

code cleanup in PGF.TypeCheck

Browse Source
This commit is contained in:
krasimir committed 2010-01-30 10:10:51 +00:00
1 parent 3b7e39fa4a
commit 8d03e48e46
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
src/runtime/haskell/PGF/TypeCheck.hs
+1 -1
View File
@@ -99,7 +99,7 @@ newMeta :: Scope -> TcM MetaId
newMeta scope = TcM (\abstr metaid ms -> Ok (metaid+1) (IntMap.insert metaid (MUnbound scope []) ms) metaid)
newGuardedMeta :: Scope -> Expr -> TcM MetaId
newGuardedMeta scope e = getFuns >>= \funs -> TcM (\abstr metaid ms -> Ok (metaid+1) (IntMap.insert metaid (MGuarded e [] 0) ms) metaid)
newGuardedMeta scope e = TcM (\abstr metaid ms -> Ok (metaid+1) (IntMap.insert metaid (MGuarded e [] 0) ms) metaid)
getMeta :: MetaId -> TcM MetaValue
getMeta i = TcM (\abstr metaid ms -> Ok metaid ms $! case IntMap.lookup i ms of