diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 11:21:06 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 11:21:06 -0500 |
| commit | 331f556886e611af3d2633d1cebb868574a2aa13 (patch) | |
| tree | cc38fae1d51227ca86677435aaee311c2e6bbbe0 /testsuite/tests/polykinds | |
| parent | 535dae66271af0ce4ab9c0a772614b700bc4c92a (diff) | |
| download | haskell-331f556886e611af3d2633d1cebb868574a2aa13.tar.gz | |
Revert "Implement BoxedRep proposal"
This was inadvertently merged.
This reverts commit 6c2eb2232b39ff4720fda0a4a009fb6afbc9dcea.
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T14555.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T14563.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T17963.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T18300.stderr | 4 |
4 files changed, 6 insertions, 4 deletions
diff --git a/testsuite/tests/polykinds/T14555.stderr b/testsuite/tests/polykinds/T14555.stderr index f85c1b44cc..3861872124 100644 --- a/testsuite/tests/polykinds/T14555.stderr +++ b/testsuite/tests/polykinds/T14555.stderr @@ -1,6 +1,6 @@ T14555.hs:12:34: error: - • Couldn't match kind ‘rep’ with ‘GHC.Types.LiftedRep’ + • Couldn't match kind ‘rep’ with ‘'GHC.Types.LiftedRep’ Expected kind ‘TYPE rep’, but ‘a -> b’ has kind ‘*’ • In the second argument of ‘Exp’, namely ‘(a -> b)’ In the type ‘Exp xs (a -> b)’ diff --git a/testsuite/tests/polykinds/T14563.stderr b/testsuite/tests/polykinds/T14563.stderr index e2dd07a6d6..2d81507659 100644 --- a/testsuite/tests/polykinds/T14563.stderr +++ b/testsuite/tests/polykinds/T14563.stderr @@ -1,6 +1,6 @@ T14563.hs:9:39: error: - • Couldn't match kind ‘rep''’ with ‘GHC.Types.LiftedRep’ + • Couldn't match kind ‘rep''’ with ‘'GHC.Types.LiftedRep’ Expected kind ‘TYPE rep -> TYPE rep''’, but ‘h’ has kind ‘TYPE rep -> *’ • In the second argument of ‘Lan’, namely ‘h’ diff --git a/testsuite/tests/polykinds/T17963.stderr b/testsuite/tests/polykinds/T17963.stderr index aa0e4d0d3e..e38d216faf 100644 --- a/testsuite/tests/polykinds/T17963.stderr +++ b/testsuite/tests/polykinds/T17963.stderr @@ -1,6 +1,6 @@ T17963.hs:15:23: error: - • Couldn't match kind ‘rep’ with ‘GHC.Types.LiftedRep’ + • Couldn't match kind ‘rep’ with ‘'LiftedRep’ When matching kinds k0 :: * ob :: TYPE rep diff --git a/testsuite/tests/polykinds/T18300.stderr b/testsuite/tests/polykinds/T18300.stderr index 3ddd175d55..53ea72b1b8 100644 --- a/testsuite/tests/polykinds/T18300.stderr +++ b/testsuite/tests/polykinds/T18300.stderr @@ -1,2 +1,4 @@ -T18300.hs:9:23: error: Not in scope: data constructor ‘LiftedRep’ +T18300.hs:13:1: error: + • Data instance has non-* return kind ‘TYPE (F Int)’ + • In the data instance declaration for ‘T’ |