diff options
| author | mynguyen <mnguyen1@brynmawr.edu> | 2018-12-18 11:52:26 -0500 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2019-01-03 08:57:32 -0500 |
| commit | 17bd163566153babbf51adaff8397f948ae363ca (patch) | |
| tree | ef25e933481def276de4cdcad77eb4a34a76444b /testsuite/tests/indexed-types | |
| parent | 6e4e63764aaf558cf177c2a9c2da345b2a360ea6 (diff) | |
| download | haskell-17bd163566153babbf51adaff8397f948ae363ca.tar.gz | |
Visible kind application
Summary:
This patch implements visible kind application (GHC Proposal 15/#12045), as well as #15360 and #15362.
It also refactors unnamed wildcard handling, and requires that type equations in type families in Template Haskell be
written with full type on lhs. PartialTypeSignatures are on and warnings are off automatically with visible kind
application, just like in term-level.
There are a few remaining issues with this patch, as documented in
ticket #16082.
Includes a submodule update for Haddock.
Test Plan: Tests T12045a/b/c/TH1/TH2, T15362, T15592a
Reviewers: simonpj, goldfire, bgamari, alanz, RyanGlScott, Iceland_jack
Subscribers: ningning, Iceland_jack, RyanGlScott, int-index, rwbarton, mpickering, carter
GHC Trac Issues: `#12045`, `#15362`, `#15592`, `#15788`, `#15793`, `#15795`, `#15797`, `#15799`, `#15801`, `#15807`, `#15816`
Differential Revision: https://phabricator.haskell.org/D5229
Diffstat (limited to 'testsuite/tests/indexed-types')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr index e7065cf3b4..ca0e33c5ff 100644 --- a/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr +++ b/testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr @@ -57,18 +57,6 @@ ExplicitForAllFams4b.hs:23:17: error: • In the type instance declaration for ‘CT’ In the instance declaration for ‘C Int’ -ExplicitForAllFams4b.hs:23:20: error: - Conflicting family instance declarations: - CT [a] (a, a) = Float -- Defined at ExplicitForAllFams4b.hs:23:20 - CT _ _ = Maybe b -- Defined at ExplicitForAllFams4b.hs:24:20 - -ExplicitForAllFams4b.hs:24:3: error: - • Type indexes must match class instance head - Expected: CT Int _ - Actual: CT _ _ - • In the type instance declaration for ‘CT’ - In the instance declaration for ‘C Int’ - ExplicitForAllFams4b.hs:24:15: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance @@ -88,18 +76,6 @@ ExplicitForAllFams4b.hs:26:17: error: • In the data instance declaration for ‘CD’ In the instance declaration for ‘C Int’ -ExplicitForAllFams4b.hs:26:20: error: - Conflicting family instance declarations: - CD [a] (a, a) -- Defined at ExplicitForAllFams4b.hs:26:20 - CD _ _ -- Defined at ExplicitForAllFams4b.hs:27:20 - -ExplicitForAllFams4b.hs:27:3: error: - • Type indexes must match class instance head - Expected: CD Int _ - Actual: CD _ _ - • In the data instance declaration for ‘CD’ - In the instance declaration for ‘C Int’ - ExplicitForAllFams4b.hs:27:15: error: • Type variable ‘b’ is mentioned in the RHS, but not bound on the LHS of the family instance |