diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-11-28 11:33:37 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-12-07 14:40:35 +0000 |
| commit | fa29df02a1b0b926afb2525a258172dcbf0ea460 (patch) | |
| tree | 594244e6f84a99a36acfd962eeb62b4a35f42726 /testsuite/tests/th/T13123.hs | |
| parent | 5f332e1dab000e1f79c127d441f618280d14d2bd (diff) | |
| download | haskell-fa29df02a1b0b926afb2525a258172dcbf0ea460.tar.gz | |
Refactor ConDecl: Trac #14529
This patch refactors HsDecls.ConDecl. Specifically
* ConDeclGADT was horrible, with all the information hidden
inside con_res_ty. Now it's kept separate, as it should be.
* ConDeclH98: use [LHsTyVarBndr] instead of LHsQTyVars for the
existentials. There is no implicit binding here.
* Add a field con_forall to both ConDeclGADT and ConDeclH98
which says if there is an explicit user-written forall.
* Field renamings in ConDecl
con_cxt to con_mb_cxt
con_details to con_args
There is an accompanying submodule update to Haddock.
Also the following change turned out to remove a lot of clutter:
* add a smart constructor for HsAppsTy, namely mkHsAppsTy,
and use it consistently. This avoids a lot of painful pattern
matching for the common singleton case.
Two api-annotation tests (T10278, and T10399) are broken, hence marking
them as expect_broken(14529). Alan is going to fix them, probably by
changing the con_forall field to
con_forall :: Maybe SrcSpan
instead of Bool
Diffstat (limited to 'testsuite/tests/th/T13123.hs')
| -rw-r--r-- | testsuite/tests/th/T13123.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/th/T13123.hs b/testsuite/tests/th/T13123.hs index d7e1006b9e..dbc071c184 100644 --- a/testsuite/tests/th/T13123.hs +++ b/testsuite/tests/th/T13123.hs @@ -8,6 +8,7 @@ module T13123 where import GHC.Exts (Constraint) +{- $([d| idProxy :: forall proxy (a :: k). proxy a -> proxy a idProxy x = x |]) @@ -31,6 +32,7 @@ $([d| class Foo b where $([d| data GADT where MkGADT :: forall proxy (a :: k). proxy a -> GADT |]) +-} $([d| data Dec13 :: (* -> Constraint) -> * where MkDec13 :: c a => a -> Dec13 c |