blob: 357c86c4585faa53fd32f06baea9e479c9a18bad (
plain)
1
2
3
4
5
6
7
|
T10828b.hs:9:2: error: [GHC-24104]
Cannot mix GADT constructors with Haskell 98 constructors
When splicing a TH declaration:
data T a :: *
= MkT a a
| MkC :: forall a . a ~ Int => {foo :: a, bar :: b} -> T Int
|