Error message improvements
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 22 Nov 2013 16:40:36 +0000 (16:40 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 22 Nov 2013 16:42:57 +0000 (16:42 +0000)
testsuite/tests/annotations/should_fail/annfail01.stderr
testsuite/tests/annotations/should_fail/annfail02.stderr
testsuite/tests/annotations/should_fail/annfail03.stderr
testsuite/tests/annotations/should_fail/annfail11.stderr

index 160575c..6cafc25 100644 (file)
@@ -1,4 +1,8 @@
 
-annfail01.hs:4:1: Not in scope: type constructor or class ‛Foo’
+annfail01.hs:4:1:
+    Not in scope: type constructor or class ‛Foo’
+    In the annotation: {-# ANN type Foo (1 :: Int) #-}
 
-annfail01.hs:5:1: Not in scope: ‛f’
+annfail01.hs:5:1:
+    Not in scope: ‛f’
+    In the annotation: {-# ANN f (1 :: Int) #-}
index 21f7aff..84c9548 100644 (file)
@@ -1,4 +1,8 @@
 
-annfail02.hs:6:1: Not in scope: data constructor ‛Foo’
+annfail02.hs:6:1:
+    Not in scope: data constructor ‛Foo’
+    In the annotation: {-# ANN Foo (1 :: Int) #-}
 
-annfail02.hs:7:1: Not in scope: type constructor or class ‛Bar’
+annfail02.hs:7:1:
+    Not in scope: type constructor or class ‛Bar’
+    In the annotation: {-# ANN type Bar (2 :: Int) #-}
index 3993fe8..7e880d4 100644 (file)
@@ -1,7 +1,6 @@
 
-annfail03.hs:17:1:
+annfail03.hs:17:11:
     GHC stage restriction:
-      instance for ‛Data
-                      InModule’ is used in a top-level splice or annotation,
+      ‛InModule’ is used in a top-level splice or annotation,
       and must be imported, not defined locally
     In the annotation: {-# ANN f InModule #-}
index 39ff0e8..3fa446f 100644 (file)
@@ -1,4 +1,10 @@
 
-annfail11.hs:3:1: Not in scope: ‛length’
+annfail11.hs:3:1:
+    Not in scope: ‛length’
+    In the annotation:
+      {-# ANN length "Cannot annotate other modules yet" #-}
 
-annfail11.hs:4:1: Not in scope: type constructor or class ‛Integer’
+annfail11.hs:4:1:
+    Not in scope: type constructor or class ‛Integer’
+    In the annotation:
+      {-# ANN type Integer "Cannot annotate other modules yet" #-}