diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-06-24 18:47:39 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-06-24 18:48:31 -0400 |
| commit | 4bc90b32b2a334f23f8a7c2081df93082ff9ee89 (patch) | |
| tree | 149be3b60e3d52a4fb101ac1d095e21360c626b5 /testsuite | |
| parent | 02780d4d2dd7895a3c89f18d70ed18bec18f7506 (diff) | |
| download | haskell-4bc90b32b2a334f23f8a7c2081df93082ff9ee89.tar.gz | |
testsuite: Drop constraint in kind from T15862
We only started allowing constraints in kinds in
6cce36f83aec33d33545e0ef2135894d22dff5ca, which is not present in 8.8.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15862.hs | 5 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15862.stderr | 7 |
2 files changed, 0 insertions, 12 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15862.hs b/testsuite/tests/typecheck/should_fail/T15862.hs index c98b5939d1..6f8706560e 100644 --- a/testsuite/tests/typecheck/should_fail/T15862.hs +++ b/testsuite/tests/typecheck/should_fail/T15862.hs @@ -29,8 +29,3 @@ data Quux = MkQuux (# Bool | Int #) quux :: TypeRep MkQuux quux = typeRep -data Quuz :: (Type ~ Type) => Type where - MkQuuz :: Quuz - -quuz :: TypeRep MkQuuz -quuz = typeRep diff --git a/testsuite/tests/typecheck/should_fail/T15862.stderr b/testsuite/tests/typecheck/should_fail/T15862.stderr index 97fbfab166..22c3e12bdb 100644 --- a/testsuite/tests/typecheck/should_fail/T15862.stderr +++ b/testsuite/tests/typecheck/should_fail/T15862.stderr @@ -19,10 +19,3 @@ T15862.hs:30:8: error: Typeable ('MkQuux :: (# Bool | Int #) -> Quux) • In the expression: typeRep In an equation for ‘quux’: quux = typeRep - -T15862.hs:36:8: error: - • No instance for (Typeable 'MkQuuz) - arising from a use of ‘typeRep’ - GHC can't yet do polykinded Typeable ('MkQuuz :: Quuz) - • In the expression: typeRep - In an equation for ‘quuz’: quuz = typeRep |