From db2d9a323820ce793b92adc4cd067949cd598774 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 13 Mar 2010 20:12:00 +0000 Subject: [PATCH] cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope --- src/runtime/haskell/PGF/TypeCheck.hs | 6 +++--- 1 file 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)