aboutsummaryrefslogtreecommitdiff
path: root/src/Haddock/Convert.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Haddock/Convert.hs')
-rw-r--r--src/Haddock/Convert.hs8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs
index ac071660..1b2df768 100644
--- a/src/Haddock/Convert.hs
+++ b/src/Haddock/Convert.hs
@@ -22,6 +22,7 @@ import TcType ( tcSplitSigmaTy )
import TypeRep
#if __GLASGOW_HASKELL__ == 612
import Type ( splitKindFunTys )
+import BasicTypes
#else
import Coercion ( splitKindFunTys )
#endif
@@ -170,10 +171,17 @@ synifyDataCon use_gadt_syntax dc = noLoc $
linear_tys = zipWith (\ty bang ->
let tySyn = synifyType WithinType ty
in case bang of
+#if __GLASGOW_HASKELL__ >= 613
HsUnpackFailed -> noLoc $ HsBangTy HsStrict tySyn
HsNoBang -> tySyn
-- HsNoBang never appears, it's implied instead.
_ -> noLoc $ HsBangTy bang tySyn
+#else
+ MarkedStrict -> noLoc $ HsBangTy HsStrict tySyn
+ MarkedUnboxed -> noLoc $ HsBangTy HsUnbox tySyn
+ NotMarkedStrict -> tySyn
+ -- HsNoBang never appears, it's implied instead.
+#endif
)
(dataConOrigArgTys dc) (dataConStrictMarks dc)