Keep track of promotion ticks in HsOpTy
This patch adds a PromotionFlag
field to HsOpTy
, which is used
in pretty-printing and when determining whether to emit warnings
with -fwarn-unticked-promoted-constructors
.
This allows us to correctly report tick-related warnings for things like:
type A = Int : '[]
type B = [Int, Bool]