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/warnings | |
| 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/warnings')
| -rw-r--r-- | testsuite/tests/warnings/should_compile/PluralS.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/warnings/should_compile/T11077.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/warnings/should_compile/PluralS.stderr b/testsuite/tests/warnings/should_compile/PluralS.stderr index c013e7b73d..1c975abdb2 100644 --- a/testsuite/tests/warnings/should_compile/PluralS.stderr +++ b/testsuite/tests/warnings/should_compile/PluralS.stderr @@ -9,7 +9,7 @@ PluralS.hs:15:17: warning: PluralS.hs:17:29: warning: • Defaulting the following constraints to type ‘Integer’ (Num a0) arising from the literal ‘123’ at PluralS.hs:17:29-31 - (Show a0) arising from a use of ‘show’ at PluralS.hs:17:24-27 + (Show a0) arising from a use of ‘show’ at PluralS.hs:17:24-31 • In the first argument of ‘show’, namely ‘123’ In the expression: show 123 In an equation for ‘defaultingNumAndShow’: diff --git a/testsuite/tests/warnings/should_compile/T11077.stderr b/testsuite/tests/warnings/should_compile/T11077.stderr index b2cfa61546..84034f8c65 100644 --- a/testsuite/tests/warnings/should_compile/T11077.stderr +++ b/testsuite/tests/warnings/should_compile/T11077.stderr @@ -1,3 +1,3 @@ T11077.hs:3:1: warning: - Top-level binding with no type signature: foo :: forall r. r + Top-level binding with no type signature: foo :: forall a. a |