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.

1 files changed, 14 insertions, 14 deletions

diff --git a/testsuite/tests/ghci.debugger/scripts/hist001.stdout b/testsuite/tests/ghci.debugger/scripts/hist001.stdout
index 7ef5dc1e8e..c5b2787db5 100644
--- a/testsuite/tests/ghci.debugger/scripts/hist001.stdout
+++ b/testsuite/tests/ghci.debugger/scripts/hist001.stdout
@@ -9,25 +9,25 @@ _result :: [a] = _
 -6  : mymap (../Test3.hs:2:18-31)
 <end of history>
 Logged breakpoint at ../Test3.hs:2:22-31
-_result :: [t]
-f :: t1 -> t
-xs :: [t1]
-xs :: [t1] = []
-f :: t1 -> t = _
-_result :: [t] = _
+_result :: [a2]
+f :: t -> a2
+xs :: [t]
+xs :: [t] = []
+f :: t -> a2 = _
+_result :: [a2] = _
 Logged breakpoint at ../Test3.hs:2:18-20
-_result :: t
-f :: Integer -> t
+_result :: a2
+f :: Integer -> a2
 x :: Integer
-xs :: [t1] = []
+xs :: [t] = []
 x :: Integer = 2
-f :: Integer -> t = _
-_result :: t = _
+f :: Integer -> a2 = _
+_result :: a2 = _
 _result = 3
 Logged breakpoint at ../Test3.hs:2:18-31
-_result :: [t]
-f :: Integer -> t
+_result :: [a2]
+f :: Integer -> a2
 x :: Integer
 xs :: [Integer]
 Logged breakpoint at ../Test3.hs:2:18-20
-_result :: t
+_result :: a2