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 /libraries | |
| 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 'libraries')
| -rw-r--r-- | libraries/base/tests/T9681.stderr | 2 | ||||
| -rw-r--r-- | libraries/ghc-boot/GHC/LanguageExtensions.hs | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/libraries/base/tests/T9681.stderr b/libraries/base/tests/T9681.stderr index 7945ff7353..af6e7dc63a 100644 --- a/libraries/base/tests/T9681.stderr +++ b/libraries/base/tests/T9681.stderr @@ -1,5 +1,5 @@ -T9681.hs:3:9: +T9681.hs:3:7: error: No instance for (Num [Char]) arising from a use of ‘+’ In the expression: 1 + "\n" In an equation for ‘foo’: foo = 1 + "\n" diff --git a/libraries/ghc-boot/GHC/LanguageExtensions.hs b/libraries/ghc-boot/GHC/LanguageExtensions.hs index 39c1b11bf4..68455194e6 100644 --- a/libraries/ghc-boot/GHC/LanguageExtensions.hs +++ b/libraries/ghc-boot/GHC/LanguageExtensions.hs @@ -120,6 +120,7 @@ data Extension | PartialTypeSignatures | NamedWildCards | StaticPointers + | TypeApplications | Strict | StrictData | MonadFailDesugaring |