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/gadt/gadt13.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/gadt/gadt13.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt13.stderr | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/testsuite/tests/gadt/gadt13.stderr b/testsuite/tests/gadt/gadt13.stderr index 44b100b059..57ee3fdc92 100644 --- a/testsuite/tests/gadt/gadt13.stderr +++ b/testsuite/tests/gadt/gadt13.stderr @@ -3,14 +3,15 @@ gadt13.hs:15:13: error: • Couldn't match expected type ‘r’ with actual type ‘String -> [Char]’ ‘r’ is untouchable - inside the constraints: r1 ~ Int + inside the constraints: t ~ Int bound by a pattern with constructor: I :: Int -> Term Int, in an equation for ‘shw’ at gadt13.hs:15:6-8 ‘r’ is a rigid type variable bound by - the inferred type of shw :: Term r1 -> r at gadt13.hs:15:1 + the inferred type of shw :: Term t -> r at gadt13.hs:15:1 Possible fix: add a type signature for ‘shw’ - • In the expression: ("I " ++) . shows t + • Possible cause: ‘(.)’ is applied to too many arguments + In the expression: ("I " ++) . shows t In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t • Relevant bindings include - shw :: Term r1 -> r (bound at gadt13.hs:15:1) + shw :: Term t -> r (bound at gadt13.hs:15:1) |