Commit 177134e9 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Wibbles to the last merge, to fix the build

parent 13602a46
...@@ -19,13 +19,13 @@ module TcHsType ( ...@@ -19,13 +19,13 @@ module TcHsType (
-- Type checking type and class decls -- Type checking type and class decls
kcTyClTyVars, tcTyClTyVars, kcTyClTyVars, tcTyClTyVars,
tcHsArgType, tcHsConArgType, tcDataKindSig, tcHsConArgType, tcDataKindSig,
tcClassSigType, tcClassSigType,
-- Kind-checking types -- Kind-checking types
-- No kind generalisation, no checkValidType -- No kind generalisation, no checkValidType
kcHsTyVarBndrs, tcHsTyVarBndrs, kcHsTyVarBndrs, tcHsTyVarBndrs,
tcHsLiftedType, tcHsLiftedType, tcHsOpenType,
tcLHsType, tcCheckLHsType, tcLHsType, tcCheckLHsType,
tcHsContext, tcInferApps, tcHsArgTys, tcHsContext, tcInferApps, tcHsArgTys,
......
...@@ -433,7 +433,7 @@ kcConDecl (ConDecl { con_name = name, con_qvars = ex_tvs ...@@ -433,7 +433,7 @@ kcConDecl (ConDecl { con_name = name, con_qvars = ex_tvs
= addErrCtxt (dataConCtxt name) $ = addErrCtxt (dataConCtxt name) $
kcHsTyVarBndrs False ex_tvs $ \ _ -> kcHsTyVarBndrs False ex_tvs $ \ _ ->
do { _ <- tcHsContext ex_ctxt do { _ <- tcHsContext ex_ctxt
; mapM_ (tcHsArgType . getBangType) (hsConDeclArgTys details) ; mapM_ (tcHsOpenType . getBangType) (hsConDeclArgTys details)
; _ <- tcConRes res ; _ <- tcConRes res
; return () } ; return () }
\end{code} \end{code}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment