diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-18 16:50:55 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-18 16:50:55 +0000 |
| commit | 205ac48ac3f96c938e6650c2a610e3e637af5570 (patch) | |
| tree | ffd2c344ead469deb51b4d53c47ab81fb5b9fc66 /src | |
| parent | 702b4aad3b7862c445a22a05de9fef6e3f44576c (diff) | |
typo in PGF.TypeCheck which spoiled the previous patch
Diffstat (limited to 'src')
| -rw-r--r-- | src/runtime/haskell/PGF/TypeCheck.hs | 2 |
1 files changed, 0 insertions, 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]) |