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.

2 files changed, 16 insertions, 16 deletions

diff --git a/testsuite/tests/safeHaskell/ghci/p16.stderr b/testsuite/tests/safeHaskell/ghci/p16.stderr
index 893cf2d8ee..4b445166d2 100644
--- a/testsuite/tests/safeHaskell/ghci/p16.stderr
+++ b/testsuite/tests/safeHaskell/ghci/p16.stderr
@@ -3,13 +3,13 @@
     -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving
 
 <interactive>:15:29: error:
-    Can't make a derived instance of ‘Op T2’:
-      ‘Op’ is not a standard derivable class (Eq, Show, etc.)
-      Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
-    In the newtype declaration for ‘T2’
+    • Can't make a derived instance of ‘Op T2’:
+        ‘Op’ is not a standard derivable class (Eq, Show, etc.)
+        Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
+    • In the newtype declaration for ‘T2’
 
 <interactive>:18:9: error:
-    Data constructor not in scope: T2 :: T -> t
-    Perhaps you meant ‘T1’ (line 12)
+    • Data constructor not in scope: T2 :: T -> t
+    • Perhaps you meant ‘T1’ (line 12)
 
 <interactive>:21:4: error: Variable not in scope: y
diff --git a/testsuite/tests/safeHaskell/ghci/p6.stderr b/testsuite/tests/safeHaskell/ghci/p6.stderr
index 8cca54eb2f..74beb053ca 100644
--- a/testsuite/tests/safeHaskell/ghci/p6.stderr
+++ b/testsuite/tests/safeHaskell/ghci/p6.stderr
@@ -1,10 +1,10 @@
-

-<interactive>:11:1: error:

-    Unacceptable result type in foreign declaration:

-      Safe Haskell is on, all FFI imports must be in the IO monad

-    When checking declaration:

-      foreign import ccall safe "static sin" c_sin :: Double -> Double

-

-<interactive>:12:1: error:

-    Variable not in scope: c_sin :: Integer -> t

-    Perhaps you meant ‘c_sin'’ (line 7)

+
+<interactive>:11:1: error:
+    • Unacceptable result type in foreign declaration:
+        Safe Haskell is on, all FFI imports must be in the IO monad
+    • When checking declaration:
+        foreign import ccall safe "static sin" c_sin :: Double -> Double
+
+<interactive>:12:1: error:
+    • Variable not in scope: c_sin :: Integer -> t
+    • Perhaps you meant ‘c_sin'’ (line 7)