[commit: ghc] ghc-8.0: Fix T12177 (c7c4e71)

git at git.haskell.org git at git.haskell.org
Tue Aug 30 21:43:56 UTC 2016


Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/c7c4e71fe681e5befb42cf704f3776b14b2554d7/ghc

>---------------------------------------------------------------

commit c7c4e71fe681e5befb42cf704f3776b14b2554d7
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Tue Aug 30 14:48:49 2016 -0400

    Fix T12177


>---------------------------------------------------------------

c7c4e71fe681e5befb42cf704f3776b14b2554d7
 testsuite/tests/typecheck/should_fail/T12177.stderr | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/testsuite/tests/typecheck/should_fail/T12177.stderr b/testsuite/tests/typecheck/should_fail/T12177.stderr
index 48bf94d..8b17b9b 100644
--- a/testsuite/tests/typecheck/should_fail/T12177.stderr
+++ b/testsuite/tests/typecheck/should_fail/T12177.stderr
@@ -2,8 +2,7 @@
 T12177.hs:3:19: error:
     • Found hole: _ :: t
       Where: ‘t’ is a rigid type variable bound by
-               the inferred type of bar :: t2 -> t1 -> t
-               at T12177.hs:3:1-19
+               the inferred type of bar :: t2 -> t1 -> t at T12177.hs:3:1
     • In the expression: _
       In the expression: \ x -> _
       In the expression: \ x -> \ x -> _
@@ -15,7 +14,7 @@ T12177.hs:5:37: error:
     • Found hole: _ :: t
       Where: ‘t’ is a rigid type variable bound by
                the inferred type of baz :: t5 -> t4 -> t3 -> t2 -> t1 -> t
-               at T12177.hs:5:1-37
+               at T12177.hs:5:1
     • In the expression: _
       In the expression: \ z -> _
       In the expression: \ x -> \ z -> _
@@ -23,6 +22,4 @@ T12177.hs:5:37: error:
         z :: t1 (bound at T12177.hs:5:32)
         x :: t2 (bound at T12177.hs:5:26)
         y :: t4 (bound at T12177.hs:5:14)
-        baz :: t5 -> t4 -> t3 -> t2 -> t1 -> t
-          (bound at T12177.hs:5:1)
-          
\ No newline at end of file
+        baz :: t5 -> t4 -> t3 -> t2 -> t1 -> t (bound at T12177.hs:5:1)



More information about the ghc-commits mailing list