diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-12-22 16:28:50 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-12-22 16:35:39 +0000 |
| commit | 575a98e4d245c1e60526ed6d6711d96cea08e9d2 (patch) | |
| tree | 34b4945dd5648a47c43d345b787ad151877b7f0b /testsuite/tests/partial-sigs/should_compile/Splices.hs | |
| parent | 01b0461e923788e825392d55d625f70c36ca3c20 (diff) | |
| download | haskell-575a98e4d245c1e60526ed6d6711d96cea08e9d2.tar.gz | |
Refactor named wildcards (again)
Michal's work on #10982, #11098, refactored the handling of named
wildcards by making them more like ordinary type variables.
This patch takes the same idea to its logical conclusion, resulting
in a much tidier, tighter implementation.
Read Note [The wildcard story for types] in HsTypes.
Changes:
* Named wildcards are ordinary type variables, throughout
* HsType no longer has a data constructor for named wildcards
(was NamedWildCard in HsWildCardInfo). Named wildcards are
simply HsTyVars
* Similarly named wildcards disappear from Template Haskell
* I refactored RnTypes to avoid polluting LocalRdrEnv with something
as narrow as named wildcards. Instead the named wildcard set is
carried in RnTyKiEnv.
There is a submodule update for Haddock.
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/Splices.hs')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/Splices.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/Splices.hs b/testsuite/tests/partial-sigs/should_compile/Splices.hs index 9202c18995..c877248e88 100644 --- a/testsuite/tests/partial-sigs/should_compile/Splices.hs +++ b/testsuite/tests/partial-sigs/should_compile/Splices.hs @@ -1,5 +1,5 @@ -{-# LANGUAGE TemplateHaskell #-} -{-# LANGUAGE NamedWildCards #-} +{-# LANGUAGE TemplateHaskell, NamedWildCards #-} + module Splices where import Language.Haskell.TH |