diff options
| author | krasimir <krasimir@chalmers.se> | 2010-01-30 10:10:51 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-01-30 10:10:51 +0000 |
| commit | 8d03e48e46b613e5309bda4ac63a37a3efab1c34 (patch) | |
| tree | 2cb821e294e134ccc5895e6af972c4bf2f07eed3 /src/runtime | |
| parent | 3b7e39fa4ab2dcfc6ec9591be6476b4240baf671 (diff) | |
code cleanup in PGF.TypeCheck
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/haskell/PGF/TypeCheck.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF/TypeCheck.hs b/src/runtime/haskell/PGF/TypeCheck.hs index 4e91827aa..b64383aad 100644 --- a/src/runtime/haskell/PGF/TypeCheck.hs +++ b/src/runtime/haskell/PGF/TypeCheck.hs @@ -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 |