diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-11-11 10:49:22 +0100 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-12-21 20:47:16 +0100 |
| commit | eeecb8647585ad9eea0554b2f97a3645d2c59f88 (patch) | |
| tree | d2294dd80400f495deab260e4e810b7dcbefb096 /testsuite/tests/th/T10828b.stderr | |
| parent | a61e717fcff9108337b1d35783ea3afbf591d3c6 (diff) | |
| download | haskell-eeecb8647585ad9eea0554b2f97a3645d2c59f88.tar.gz | |
Add proper GADTs support to Template Haskell
Until now GADTs were supported in Template Haskell by encoding them using
normal data types. This patch adds proper support for representing GADTs
in TH.
Test Plan: T10828
Reviewers: goldfire, austin, bgamari
Subscribers: thomie, mpickering
Differential Revision: https://phabricator.haskell.org/D1465
GHC Trac Issues: #10828
Diffstat (limited to 'testsuite/tests/th/T10828b.stderr')
| -rw-r--r-- | testsuite/tests/th/T10828b.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/th/T10828b.stderr b/testsuite/tests/th/T10828b.stderr new file mode 100644 index 0000000000..bbc57dd3ab --- /dev/null +++ b/testsuite/tests/th/T10828b.stderr @@ -0,0 +1,7 @@ + +T10828b.hs:9:4: + 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 |