diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T15743c.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T15743c.stderr | 15 |
2 files changed, 1 insertions, 16 deletions
diff --git a/testsuite/tests/dependent/should_fail/T15743c.hs b/testsuite/tests/dependent/should_fail/T15743c.hs index eb8f68349f..72f599f035 100644 --- a/testsuite/tests/dependent/should_fail/T15743c.hs +++ b/testsuite/tests/dependent/should_fail/T15743c.hs @@ -8,4 +8,4 @@ import Data.Proxy data SimilarKind :: forall (c :: k) (d :: k). Proxy c -> Proxy d -> Type data T k (c :: k) (a :: Proxy c) b (x :: SimilarKind a b) -data T2 k (c :: k) (a :: Proxy c) (b :: Proxy d) (x :: SimilarKind a b) + diff --git a/testsuite/tests/dependent/should_fail/T15743c.stderr b/testsuite/tests/dependent/should_fail/T15743c.stderr index 1e7a46c2ab..ab44593b7b 100644 --- a/testsuite/tests/dependent/should_fail/T15743c.stderr +++ b/testsuite/tests/dependent/should_fail/T15743c.stderr @@ -13,18 +13,3 @@ T15743c.hs:10:1: error: (b :: Proxy d) (x :: SimilarKind a b) • In the data type declaration for ‘T’ - -T15743c.hs:11:1: error: - • The kind of ‘T2’ is ill-scoped - Inferred kind: T2 :: forall (d :: k). - forall k (c :: k) (a :: Proxy c) (b :: Proxy d) -> - SimilarKind a b -> * - NB: Specified variables (namely: (d :: k)) always come first - Perhaps try this order instead: - k - (d :: k) - (c :: k) - (a :: Proxy c) - (b :: Proxy d) - (x :: SimilarKind a b) - • In the data type declaration for ‘T2’ |