Leftover change to relevant-binding warnings (one I missed)
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 11 Sep 2013 09:01:55 +0000 (10:01 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 11 Sep 2013 09:01:55 +0000 (10:01 +0100)
testsuite/tests/indexed-types/should_fail/Overlap11.stderr

index 97627e7..4dc7407 100644 (file)
@@ -2,7 +2,7 @@
 Overlap11.hs:10:8:
     Couldn't match expected type ‛F a Int’ with actual type ‛Int’
     Relevant bindings include
-      g :: a -> F a Int (bound at Overlap11.hs:10:1)
       x :: a (bound at Overlap11.hs:10:3)
+      g :: a -> F a Int (bound at Overlap11.hs:10:1)
     In the expression: (5 :: Int)
     In an equation for ‛g’: g x = (5 :: Int)