From 2db18b8135335da2da9918b722699df684097be9 Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Thu, 24 Dec 2015 14:33:19 -0500 Subject: 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. --- .../tests/ghci.debugger/scripts/hist001.stdout | 28 +++++++++++----------- 1 file changed, 14 insertions(+), 14 deletions(-) (limited to 'testsuite/tests/ghci.debugger/scripts/hist001.stdout') 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) 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 -- cgit v1.2.1