diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-04-13 12:10:29 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-04-13 23:40:31 +0100 |
| commit | 341aeeaf9edd88080a40e9c8a1167f37dadb71f8 (patch) | |
| tree | b20a3f1f7db7108d4bcc69ab62d525afbee801ac /testsuite/tests/dependent/should_fail/T15743c.hs | |
| parent | 690d0225d297a8c5c423ec4e63ee709df9d96d47 (diff) | |
| download | haskell-wip/T23252.tar.gz | |
Stop if type constructors have kind errorswip/T23252
Otherwise we get knock-on errors, such as #23252.
This makes GHC fail a bit sooner, and I have not attempted to add
recovery code, to add a fake TyCon place of the erroneous one,
in an attempt to get more type errors in one pass. We could
do that (perhaps) if there was a call for it.
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T15743c.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T15743c.hs | 2 |
1 files changed, 1 insertions, 1 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) + |