Skip to content

Keep track of promotion ticks in HsOpTy

sheaf requested to merge sheaf/ghc:T19984 into master

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]
Edited by sheaf

Merge request reports