diff options
| -rw-r--r-- | src/Haddock/Backends/Html.hs | 3 | ||||
| -rw-r--r-- | src/Haddock/Convert.hs | 10 |
2 files changed, 6 insertions, 7 deletions
diff --git a/src/Haddock/Backends/Html.hs b/src/Haddock/Backends/Html.hs index 68d1da42..24a9b3d2 100644 --- a/src/Haddock/Backends/Html.hs +++ b/src/Haddock/Backends/Html.hs @@ -1517,8 +1517,9 @@ ppForAll Explicit ltvs lctxt = ppBang :: HsBang -> Html ppBang HsNoBang = empty ppBang HsStrict = toHtml "!" -ppBang HsUnbox = toHtml "!" -- unboxed args is an implementation detail, +ppBang HsUnpack = toHtml "!" -- unboxed args is an implementation detail, -- so we just show the strictness annotation +ppBang HsUnpackFailed = toHtml "!" -- unboxed args is an implementation detail, tupleParens :: Boxity -> [Html] -> Html diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs index 54bce1c8..d6559b7a 100644 --- a/src/Haddock/Convert.hs +++ b/src/Haddock/Convert.hs @@ -17,6 +17,7 @@ -- instance heads, which aren't TyThings, so just export everything. module Haddock.Convert where +import BasicTypes import HsSyn import TcType ( tcSplitSigmaTy ) import TypeRep @@ -30,7 +31,6 @@ import Var import Class import TyCon import DataCon -import BasicTypes import TysPrim ( alphaTyVars ) import TysWiredIn ( listTyConName ) import Bag ( emptyBag ) @@ -171,11 +171,9 @@ synifyDataCon use_gadt_syntax dc = noLoc $ linear_tys = zipWith (\ty strict -> let tySyn = synifyType WithinType ty in case strict of - MarkedStrict -> noLoc $ HsBangTy HsStrict tySyn - MarkedUnboxed -> noLoc $ HsBangTy HsUnbox tySyn - NotMarkedStrict -> - -- HsNoBang never appears, it's implied instead. - tySyn + -- HsNoBang never appears, it's implied instead. + HsNoBang -> tySyn + _ -> noLoc $ HsBangTy strict tySyn ) (dataConOrigArgTys dc) (dataConStrictMarks dc) field_tys = zipWith (\field synTy -> ConDeclField |