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/indexed-types/should_fail/T2544.stderr | |
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/indexed-types/should_fail/T2544.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T2544.stderr | 38 |
1 files changed, 20 insertions, 18 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T2544.stderr b/testsuite/tests/indexed-types/should_fail/T2544.stderr index e60cdab2a5..a296a36910 100644 --- a/testsuite/tests/indexed-types/should_fail/T2544.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2544.stderr @@ -1,22 +1,24 @@ T2544.hs:17:18: error: - Couldn't match type ‘IxMap i0’ with ‘IxMap l’ - NB: ‘IxMap’ is a type function, and may not be injective - The type variable ‘i0’ is ambiguous - Expected type: IxMap l [Int] - Actual type: IxMap i0 [Int] - In the first argument of ‘BiApp’, namely ‘empty’ - In the expression: BiApp empty empty - Relevant bindings include - empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:17:4) + • Couldn't match type ‘IxMap i0’ with ‘IxMap l’ + NB: ‘IxMap’ is a type function, and may not be injective + The type variable ‘i0’ is ambiguous + Expected type: IxMap l [Int] + Actual type: IxMap i0 [Int] + • In the first argument of ‘BiApp’, namely ‘empty’ + In the expression: BiApp empty empty + In an equation for ‘empty’: empty = BiApp empty empty + • Relevant bindings include + empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:17:4) T2544.hs:17:24: error: - Couldn't match type ‘IxMap i1’ with ‘IxMap r’ - NB: ‘IxMap’ is a type function, and may not be injective - The type variable ‘i1’ is ambiguous - Expected type: IxMap r [Int] - Actual type: IxMap i1 [Int] - In the second argument of ‘BiApp’, namely ‘empty’ - In the expression: BiApp empty empty - Relevant bindings include - empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:17:4) + • Couldn't match type ‘IxMap i1’ with ‘IxMap r’ + NB: ‘IxMap’ is a type function, and may not be injective + The type variable ‘i1’ is ambiguous + Expected type: IxMap r [Int] + Actual type: IxMap i1 [Int] + • In the second argument of ‘BiApp’, namely ‘empty’ + In the expression: BiApp empty empty + In an equation for ‘empty’: empty = BiApp empty empty + • Relevant bindings include + empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:17:4) |