[commit: ghc] wip/type-app: Use a Flexi, not a ReturnTv, when checking seq. (ae0cbcc)

git at git.haskell.org git at git.haskell.org
Fri Aug 7 12:05:57 UTC 2015


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/type-app
Link       : http://ghc.haskell.org/trac/ghc/changeset/ae0cbcc78f797d11af5e728e05ae03b3a8b19cf2/ghc

>---------------------------------------------------------------

commit ae0cbcc78f797d11af5e728e05ae03b3a8b19cf2
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Jul 29 17:16:38 2015 -0400

    Use a Flexi, not a ReturnTv, when checking seq.


>---------------------------------------------------------------

ae0cbcc78f797d11af5e728e05ae03b3a8b19cf2
 compiler/typecheck/TcExpr.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcExpr.hs b/compiler/typecheck/TcExpr.hs
index 83919fe..5505bb0 100644
--- a/compiler/typecheck/TcExpr.hs
+++ b/compiler/typecheck/TcExpr.hs
@@ -1291,7 +1291,7 @@ tcSeq loc fun_name args res_ty
               -> do { ty_arg1 <- tcHsTypeApp hs_ty_arg1 liftedTypeKind
                     ; return (ty_arg1, args1) }
 
-            _ -> do { arg_ty1 <- newReturnTyVarTy liftedTypeKind
+            _ -> do { arg_ty1 <- newFlexiTyVarTy liftedTypeKind
                     ; return (arg_ty1, args) }
 
         ; (arg1, arg2) <- case args1 of



More information about the ghc-commits mailing list