diff options
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/haskell/PGF/TypeCheck.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF/TypeCheck.hs b/src/runtime/haskell/PGF/TypeCheck.hs index ac9f5b792..237721aa6 100644 --- a/src/runtime/haskell/PGF/TypeCheck.hs +++ b/src/runtime/haskell/PGF/TypeCheck.hs @@ -548,6 +548,8 @@ eqValue fail suspend k v1 v2 = do return (VConst f vs) occurCheck i0 k xs (VClosure env e) = do env <- mapM (occurCheck i0 k xs) env return (VClosure env e) + occurCheck i0 k xs (VImplArg e) = do e <- occurCheck i0 k xs e + return (VImplArg e) ----------------------------------------------------------- @@ -587,7 +589,7 @@ generateForMetas prove e = do generateForForest :: (Scope -> TType -> TcM FId Expr) -> Expr -> TcM FId Expr generateForForest prove e = do - fillinVariables +-- fillinVariables refineExpr e where fillinVariables = do |