Use a Flexi, not a ReturnTv, when checking seq.
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 29 Jul 2015 21:16:38 +0000 (17:16 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 29 Jul 2015 21:16:38 +0000 (17:16 -0400)
compiler/typecheck/TcExpr.hs

index 83919fe..5505bb0 100644 (file)
@@ -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