blob: 92792a361d8a390cd6e5aae21cb29aa18ae5a3fe (
plain)
1
2
3
4
5
6
7
8
9
|
TH_PromotedTuple.hs:(14,32)-(16,43): Splicing type
do ty <- [t| '(Int, False) |]
reportWarning (show ty)
return ty
======>
'(Int, 'False)
TH_PromotedTuple.hs:14:32: warning:
AppT (AppT (PromotedTupleT 2) (ConT GHC.Types.Int)) (PromotedT GHC.Types.False)
|