blob: e5f36906f7a424a31341dd470881e71051d649bf (
plain)
1
2
3
4
5
6
7
|
T10828b.hs:9:2: error:
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
|