Commit 850710ab authored by Ömer Sinan Ağacan's avatar Ömer Sinan Ağacan
Browse files

TcTyClsDecls: Add a type annotation

parent 62155a60
...@@ -2146,6 +2146,7 @@ checkValidDataCon dflags existential_ok tc con ...@@ -2146,6 +2146,7 @@ checkValidDataCon dflags existential_ok tc con
where where
ctxt = ConArgCtxt (dataConName con) ctxt = ConArgCtxt (dataConName con)
check_bang :: HsSrcBang -> HsImplBang -> Int -> TcM ()
check_bang (HsSrcBang _ _ SrcLazy) _ n check_bang (HsSrcBang _ _ SrcLazy) _ n
| not (xopt LangExt.StrictData dflags) | not (xopt LangExt.StrictData dflags)
= addErrTc = addErrTc
......
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