diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-24 14:33:19 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-24 14:37:39 -0500 |
| commit | 2db18b8135335da2da9918b722699df684097be9 (patch) | |
| tree | 660dd90916aa6568694bbe39cdab83c7af98c5d7 /testsuite/tests/typecheck/should_fail/T10971d.stderr | |
| parent | 48db13d279d592ed3044cbaf3513854bcb0d3dce (diff) | |
| download | haskell-2db18b8135335da2da9918b722699df684097be9.tar.gz | |
Visible type application
This re-working of the typechecker algorithm is based on
the paper "Visible type application", by Richard Eisenberg,
Stephanie Weirich, and Hamidhasan Ahmed, to be published at
ESOP'16.
This patch introduces -XTypeApplications, which allows users
to say, for example `id @Int`, which has type `Int -> Int`. See
the changes to the user manual for details.
This patch addresses tickets #10619, #5296, #10589.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T10971d.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T10971d.stderr | 25 |
1 files changed, 14 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T10971d.stderr b/testsuite/tests/typecheck/should_fail/T10971d.stderr index 244fff7098..c5ad886683 100644 --- a/testsuite/tests/typecheck/should_fail/T10971d.stderr +++ b/testsuite/tests/typecheck/should_fail/T10971d.stderr @@ -1,17 +1,20 @@ T10971d.hs:4:14: error: - Couldn't match expected type ‘[a0]’ - with actual type ‘Maybe Integer’ - In the first argument of ‘f’, namely ‘(Just 1)’ - In the second argument of ‘($)’, namely ‘f (Just 1)’ + • Couldn't match expected type ‘[a0]’ + with actual type ‘Maybe Integer’ + • In the first argument of ‘f’, namely ‘(Just 1)’ + In the second argument of ‘($)’, namely ‘f (Just 1)’ + In a stmt of a 'do' block: print $ f (Just 1) T10971d.hs:5:19: error: - Couldn't match expected type ‘[Integer]’ - with actual type ‘Maybe Integer’ - In the second argument of ‘g’, namely ‘(Just 5)’ - In the second argument of ‘($)’, namely ‘g (+ 1) (Just 5)’ + • Couldn't match expected type ‘[Integer]’ + with actual type ‘Maybe Integer’ + • In the second argument of ‘g’, namely ‘(Just 5)’ + In the second argument of ‘($)’, namely ‘g (+ 1) (Just 5)’ + In a stmt of a 'do' block: print $ g (+ 1) (Just 5) T10971d.hs:6:23: error: - Couldn't match expected type ‘[b0]’ with actual type ‘Maybe a1’ - In the second argument of ‘h’, namely ‘Nothing’ - In the second argument of ‘($)’, namely ‘h (const 5) Nothing’ + • Couldn't match expected type ‘[b0]’ with actual type ‘Maybe a1’ + • In the second argument of ‘h’, namely ‘Nothing’ + In the second argument of ‘($)’, namely ‘h (const 5) Nothing’ + In a stmt of a 'do' block: print $ h (const 5) Nothing |