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/driver/werror.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/driver/werror.stderr')
-rw-r--r-- | testsuite/tests/driver/werror.stderr | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/driver/werror.stderr b/testsuite/tests/driver/werror.stderr index ce6dba6347..a20dc5e689 100644 --- a/testsuite/tests/driver/werror.stderr +++ b/testsuite/tests/driver/werror.stderr @@ -1,30 +1,30 @@ -werror.hs:6:1: Warning: +werror.hs:6:1: warning: Top-level binding with no type signature: main :: IO () -werror.hs:7:13: Warning: +werror.hs:7:13: warning: This binding for ‘main’ shadows the existing binding defined at werror.hs:6:1 -werror.hs:7:13: Warning: Defined but not used: ‘main’ +werror.hs:7:13: warning: Defined but not used: ‘main’ -werror.hs:8:1: Warning: +werror.hs:8:1: warning: Tab character found here. Please use spaces instead. -werror.hs:10:1: Warning: Defined but not used: ‘f’ +werror.hs:10:1: warning: Defined but not used: ‘f’ -werror.hs:10:1: Warning: +werror.hs:10:1: warning: Top-level binding with no type signature: - f :: forall r r1. [r] -> [r1] + f :: forall t t1. [t] -> [t1] -werror.hs:10:1: Warning: +werror.hs:10:1: warning: Pattern match(es) are redundant In an equation for ‘f’: f [] = ... -werror.hs:10:1: Warning: +werror.hs:10:1: warning: Pattern match(es) are non-exhaustive In an equation for ‘f’: Patterns not matched: (_:_) -<no location info>: +<no location info>: error: Failing due to -Werror. |