Wibbles to the last merge, to fix the build
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 7 Jun 2012 13:02:59 +0000 (14:02 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 7 Jun 2012 13:02:59 +0000 (14:02 +0100)
compiler/typecheck/TcHsType.lhs
compiler/typecheck/TcTyClsDecls.lhs

index e98191d..8051847 100644 (file)
@@ -19,13 +19,13 @@ module TcHsType (
 
                 -- Type checking type and class decls
        kcTyClTyVars, tcTyClTyVars,
-        tcHsArgType, tcHsConArgType, tcDataKindSig, 
+        tcHsConArgType, tcDataKindSig, 
         tcClassSigType, 
 
                -- Kind-checking types
                 -- No kind generalisation, no checkValidType
        kcHsTyVarBndrs, tcHsTyVarBndrs, 
-        tcHsLiftedType, 
+        tcHsLiftedType, tcHsOpenType,
        tcLHsType, tcCheckLHsType, 
         tcHsContext, tcInferApps, tcHsArgTys,
 
index 1cef0f7..bb1370e 100644 (file)
@@ -433,7 +433,7 @@ kcConDecl (ConDecl { con_name = name, con_qvars = ex_tvs
   = addErrCtxt (dataConCtxt name) $
     kcHsTyVarBndrs False ex_tvs $ \ _ -> 
     do { _ <- tcHsContext ex_ctxt
-       ; mapM_ (tcHsArgType . getBangType) (hsConDeclArgTys details)
+       ; mapM_ (tcHsOpenType . getBangType) (hsConDeclArgTys details)
        ; _ <- tcConRes res
        ; return () }
 \end{code}