diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-04 18:10:21 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-10-04 18:10:21 -0400 |
| commit | bace26aadaafa4064e78f9ed088c1e2217221acc (patch) | |
| tree | 6e70248df2b40fbebd9c4fe2742044df0c32792c /testsuite/tests/polykinds | |
| parent | 85376570c5d34950b1bd8f6c575526e7ff789b84 (diff) | |
| download | haskell-bace26aadaafa4064e78f9ed088c1e2217221acc.tar.gz | |
Allow (unparenthesized) kind signatures
Summary: This allows for things like `[t :: MyKind]`, `(a :: k, b)`, and so on.
Test Plan: make TEST=T11622 && make TEST=T8708
Reviewers: RyanGlScott, bgamari, simonpj, goldfire, alanz
Reviewed By: RyanGlScott, simonpj
Subscribers: alanz, simonpj, rwbarton, mpickering, carter
GHC Trac Issues: #11622, #8708
Differential Revision: https://phabricator.haskell.org/D5173
Diffstat (limited to 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T14450.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T14580.stderr | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/polykinds/T14450.stderr b/testsuite/tests/polykinds/T14450.stderr index e8ff4aeae3..8a987b7a56 100644 --- a/testsuite/tests/polykinds/T14450.stderr +++ b/testsuite/tests/polykinds/T14450.stderr @@ -1,7 +1,7 @@ -T14450.hs:33:12: error: +T14450.hs:33:13: error: • Expected kind ‘k ~> k’, - but ‘(IddSym0 :: Type ~> Type)’ has kind ‘* ~> *’ + but ‘IddSym0 :: Type ~> Type’ has kind ‘* ~> *’ • In the first argument of ‘Dom’, namely ‘(IddSym0 :: Type ~> Type)’ In the type instance declaration for ‘Dom’ diff --git a/testsuite/tests/polykinds/T14580.stderr b/testsuite/tests/polykinds/T14580.stderr index babbb49cf8..8658a8484a 100644 --- a/testsuite/tests/polykinds/T14580.stderr +++ b/testsuite/tests/polykinds/T14580.stderr @@ -1,6 +1,6 @@ -T14580.hs:8:31: error: - • Expected kind ‘Cat a’, but ‘(iso :: cat a b)’ has kind ‘cat a b’ +T14580.hs:8:32: error: + • Expected kind ‘Cat a’, but ‘iso :: cat a b’ has kind ‘cat a b’ • In the first argument of ‘ISO’, namely ‘(iso :: cat a b)’ In the type ‘ISO (iso :: cat a b)’ In the type declaration for ‘<-->’ |