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/module | |
| 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/module')
| -rw-r--r-- | testsuite/tests/module/mod121.stderr | 8 | ||||
| -rw-r--r-- | testsuite/tests/module/mod147.stderr | 6 | ||||
| -rw-r--r-- | testsuite/tests/module/mod160.stderr | 12 | ||||
| -rw-r--r-- | testsuite/tests/module/mod69.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/module/mod70.stderr | 4 |
5 files changed, 19 insertions, 15 deletions
diff --git a/testsuite/tests/module/mod121.stderr b/testsuite/tests/module/mod121.stderr index aa0a8cd4af..fda1dec212 100644 --- a/testsuite/tests/module/mod121.stderr +++ b/testsuite/tests/module/mod121.stderr @@ -1,4 +1,4 @@ -
-mod121.hs:5:5: error:
- Variable not in scope: m2 :: Int -> t
- Perhaps you meant ‘m1’ (imported from Mod121_A)
+ +mod121.hs:5:5: error: + • Variable not in scope: m2 :: Int -> t + • Perhaps you meant ‘m1’ (imported from Mod121_A) diff --git a/testsuite/tests/module/mod147.stderr b/testsuite/tests/module/mod147.stderr index 335dbd2211..39bf7d2dc7 100644 --- a/testsuite/tests/module/mod147.stderr +++ b/testsuite/tests/module/mod147.stderr @@ -1,3 +1,3 @@ -
-mod147.hs:6:5: error:
- Data constructor not in scope: D :: Integer -> t
+ +mod147.hs:6:5: error: + Data constructor not in scope: D :: Integer -> t diff --git a/testsuite/tests/module/mod160.stderr b/testsuite/tests/module/mod160.stderr index a4b8669de8..d853c67e6b 100644 --- a/testsuite/tests/module/mod160.stderr +++ b/testsuite/tests/module/mod160.stderr @@ -1,6 +1,6 @@ -
-mod160.hs:12:5: error:
- Variable not in scope: m3 :: Char -> t
- Perhaps you meant one of these:
- ‘m1’ (imported from Mod159_D), ‘m2’ (imported from Mod159_D)
-exit(1)
+ +mod160.hs:12:5: error: + • Variable not in scope: m3 :: Char -> t + • Perhaps you meant one of these: + ‘m1’ (imported from Mod159_D), ‘m2’ (imported from Mod159_D) +exit(1) diff --git a/testsuite/tests/module/mod69.stderr b/testsuite/tests/module/mod69.stderr index d7f92be69a..db7487485e 100644 --- a/testsuite/tests/module/mod69.stderr +++ b/testsuite/tests/module/mod69.stderr @@ -1,2 +1,4 @@ -mod69.hs:3:7: Pattern syntax in expression context: x@1 +mod69.hs:3:7: error: + Pattern syntax in expression context: x@1 + Did you mean to enable TypeApplications? diff --git a/testsuite/tests/module/mod70.stderr b/testsuite/tests/module/mod70.stderr index 110ff24afe..f0e3042d3d 100644 --- a/testsuite/tests/module/mod70.stderr +++ b/testsuite/tests/module/mod70.stderr @@ -1,2 +1,4 @@ -mod70.hs:3:8: Pattern syntax in expression context: ~1 +mod70.hs:3:8: error: + Pattern syntax in expression context: ~1 + Did you mean to enable TypeApplications? |