blob: 06260a7beed92216fdc1c961b0fdeac0fc1ccb81 (
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)
|
