From afce46b386aa22ae0959b8e999c6fb61be1cdbbb Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 18 Oct 2010 16:50:55 +0000 Subject: [PATCH] typo in PGF.TypeCheck which spoiled the previous patch --- src/runtime/haskell/PGF/TypeCheck.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/runtime/haskell/PGF/TypeCheck.hs b/src/runtime/haskell/PGF/TypeCheck.hs index c4da14926..9284d3569 100644 --- a/src/runtime/haskell/PGF/TypeCheck.hs +++ b/src/runtime/haskell/PGF/TypeCheck.hs @@ -548,7 +548,6 @@ generateForMetas prove e = do infExpr emptyScope e fillinVariables refineExpr e - return e where fillinVariables = do fvs <- TcM (\abstr s ms -> Ok s ms [(i,s,scope,tty,cs) | (i,MUnbound s scope tty cs) <- IntMap.toList ms]) @@ -563,7 +562,6 @@ generateForForest :: (Scope -> TType -> TcM FId Expr) -> Expr -> TcM FId Expr generateForForest prove e = do fillinVariables refineExpr e - return e where fillinVariables = do fvs <- TcM (\abstr s ms -> Ok s ms [(i,s,scope,tty,cs) | (i,MUnbound s scope tty cs) <- IntMap.toList ms])