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/T2688.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/T2688.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T2688.stderr | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T2688.stderr b/testsuite/tests/typecheck/should_fail/T2688.stderr index 1915c41812..2b2ca0d22a 100644 --- a/testsuite/tests/typecheck/should_fail/T2688.stderr +++ b/testsuite/tests/typecheck/should_fail/T2688.stderr @@ -1,13 +1,13 @@ -T2688.hs:8:22: - Couldn't match expected type ‘v’ with actual type ‘s’ +T2688.hs:8:14: error: + • Couldn't match expected type ‘v’ with actual type ‘s’ ‘s’ is a rigid type variable bound by - the class declaration for ‘VectorSpace’ at T2688.hs:5:21 + the class declaration for ‘VectorSpace’ at T2688.hs:5:21 ‘v’ is a rigid type variable bound by - the class declaration for ‘VectorSpace’ at T2688.hs:5:19 - In the second argument of ‘(/)’, namely ‘s’ - In the second argument of ‘(*^)’, namely ‘(1 / s)’ - Relevant bindings include - s :: s (bound at T2688.hs:8:10) - v :: v (bound at T2688.hs:8:5) - (^/) :: v -> s -> v (bound at T2688.hs:8:5) + the class declaration for ‘VectorSpace’ at T2688.hs:5:19 + • In the expression: v *^ (1 / s) + In an equation for ‘^/’: v ^/ s = v *^ (1 / s) + • Relevant bindings include + s :: s (bound at T2688.hs:8:10) + v :: v (bound at T2688.hs:8:5) + (^/) :: v -> s -> v (bound at T2688.hs:8:5) |