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