diff options
| author | krasimir <krasimir@chalmers.se> | 2010-03-13 20:12:00 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-03-13 20:12:00 +0000 |
| commit | db2d9a323820ce793b92adc4cd067949cd598774 (patch) | |
| tree | d611c18ecb5e4527c0544632c402a054d6e12024 | |
| parent | efd1b5f252963ef869da2f0d1179838202ad428c (diff) | |
cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope
| -rw-r--r-- | src/runtime/haskell/PGF/TypeCheck.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/runtime/haskell/PGF/TypeCheck.hs b/src/runtime/haskell/PGF/TypeCheck.hs index 85dbb3d3f..3996deef3 100644 --- a/src/runtime/haskell/PGF/TypeCheck.hs +++ b/src/runtime/haskell/PGF/TypeCheck.hs @@ -99,8 +99,8 @@ lookupFunType fun = TcM (\abstr metaid ms -> case Map.lookup fun (funs abstr) of 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 = TcM (\abstr metaid ms -> Ok (metaid+1) (IntMap.insert metaid (MGuarded e [] 0) ms) metaid) +newGuardedMeta :: Expr -> TcM MetaId +newGuardedMeta 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 @@ -283,7 +283,7 @@ tcExpr scope (EMeta _) tty = do return (EMeta i) tcExpr scope e0 tty = do (e0,tty0) <- infExpr scope e0 - i <- newGuardedMeta scope e0 + i <- newGuardedMeta e0 eqType scope (scopeSize scope) i tty tty0 return (EMeta i) |