diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-02-10 09:38:09 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-02-17 13:17:31 -0500 |
| commit | a6152159c9f14fc9cf0e86caff532906abd49b73 (patch) | |
| tree | 511468a2dd7deee77aa063554f2624d028160980 /testsuite | |
| parent | 489e6ab5990f0f37624f14d6bf3f0025476513a1 (diff) | |
| download | haskell-a6152159c9f14fc9cf0e86caff532906abd49b73.tar.gz | |
Fix #11313.
Previously, we looked through synonyms when counting arguments,
but that's a bit silly.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T11313.hs | 9 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T11313.stderr | 6 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 1 |
3 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T11313.hs b/testsuite/tests/typecheck/should_fail/T11313.hs new file mode 100644 index 0000000000..86ac9582b8 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T11313.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE TypeApplications #-} + +module T11313 where + +import Data.Kind + +x = fmap @ (*) + +-- test error message output, which was quite silly before diff --git a/testsuite/tests/typecheck/should_fail/T11313.stderr b/testsuite/tests/typecheck/should_fail/T11313.stderr new file mode 100644 index 0000000000..7a681d17aa --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T11313.stderr @@ -0,0 +1,6 @@ + +T11313.hs:7:12: error: + • Expected kind ‘* -> *’, but ‘*’ has kind ‘*’ + • In the type ‘*’ + In the expression: fmap @* + In an equation for ‘x’: x = fmap @* diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index df71bf7086..cb0f9fb123 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -405,3 +405,4 @@ test('T11464', normal, compile_fail, ['']) test('T11473', expect_broken(11473), compile_fail, ['']) test('T11563', normal, compile_fail, ['']) test('T11541', normal, compile_fail, ['']) +test('T11313', normal, compile_fail, ['']) |