Error messsage wibblification
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 4 Oct 2013 17:55:13 +0000 (18:55 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 4 Oct 2013 17:55:13 +0000 (18:55 +0100)
34 files changed:
testsuite/tests/ghci/scripts/T4015.stdout
testsuite/tests/ghci/scripts/T4087.stdout
testsuite/tests/ghci/scripts/T4175.stdout
testsuite/tests/ghci/scripts/T5417.stdout
testsuite/tests/ghci/scripts/T5820.stdout
testsuite/tests/ghci/scripts/T6027ghci.stdout
testsuite/tests/ghci/scripts/T7872.stdout
testsuite/tests/ghci/scripts/T7873.stdout
testsuite/tests/ghci/scripts/T7939.stdout
testsuite/tests/ghci/scripts/ghci019.stdout
testsuite/tests/ghci/scripts/ghci030.stdout
testsuite/tests/ghci/scripts/ghci031.stdout
testsuite/tests/ghci/scripts/ghci033.stdout
testsuite/tests/ghci/scripts/ghci042.stdout
testsuite/tests/ghci/scripts/ghci051.stdout
testsuite/tests/indexed-types/should_compile/T3017.stderr
testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr
testsuite/tests/indexed-types/should_fail/ClosedFam4.stderr
testsuite/tests/indexed-types/should_fail/Overlap4.stderr
testsuite/tests/module/mod110.stderr
testsuite/tests/module/mod143.stderr
testsuite/tests/module/mod18.stderr
testsuite/tests/module/mod19.stderr
testsuite/tests/module/mod21.stderr
testsuite/tests/module/mod38.stderr
testsuite/tests/rename/should_fail/T3265.stderr
testsuite/tests/rename/should_fail/rn_dup.stderr
testsuite/tests/rename/should_fail/rnfail011.stderr
testsuite/tests/rename/should_fail/rnfail012.stderr
testsuite/tests/rename/should_fail/rnfail055.stderr
testsuite/tests/roles/should_compile/Roles3.stderr
testsuite/tests/roles/should_fail/Roles12.stderr
testsuite/tests/typecheck/should_fail/T3468.stderr
testsuite/tests/typecheck/should_fail/tcfail173.stderr

index e850fb9..4ce312c 100644 (file)
@@ -8,7 +8,7 @@ data R
   | S {x :: Char}
   | T {y :: Int, z :: Float}
   | W
-       -- Defined at T4015.hs:3:6
+       -- Defined at T4015.hs:3:1
 data R = ... | S {...} | ...   -- Defined at T4015.hs:4:10
 data R = ... | T {...} | ...   -- Defined at T4015.hs:5:10
 data R = ... | W       -- Defined at T4015.hs:6:10
index e28eac1..ece136b 100644 (file)
@@ -1,3 +1,3 @@
 data Equal a b where
   Equal :: Equal a a
-       -- Defined at T4087.hs:5:6
+       -- Defined at T4087.hs:5:1
index 553d92a..a253cf2 100644 (file)
@@ -1,17 +1,17 @@
-type family A a b :: *         -- Defined at T4175.hs:4:13
+type family A a b :: *         -- Defined at T4175.hs:4:1
 type instance A (Maybe a) a -- Defined at T4175.hs:6:1
 type instance A Int Int -- Defined at T4175.hs:5:1
-data family B a        -- Defined at T4175.hs:8:13
+data family B a        -- Defined at T4175.hs:8:1
 data instance B () -- Defined at T4175.hs:9:15
 class C a where
   type family D a b :: *
-       -- Defined at T4175.hs:12:10
+       -- Defined at T4175.hs:12:5
 type D () () -- Defined at T4175.hs:18:5
 type D Int () -- Defined at T4175.hs:15:5
 type family E a :: * where
     E () = Bool
     E Int = String
-       -- Defined at T4175.hs:20:13
+       -- Defined at T4175.hs:20:1
 data () = ()   -- Defined in ‛GHC.Tuple’
 instance C () -- Defined at T4175.hs:17:10
 instance Bounded () -- Defined in ‛GHC.Enum’
index ec42e18..80bb298 100644 (file)
@@ -3,5 +3,5 @@ data instance C.F (B1 a) = B2 a
 data family D a
 class C.C1 a where
   data family C.F a
-       -- Defined at T5417a.hs:5:10
+       -- Defined at T5417a.hs:5:5
 data C.F (B1 a) -- Defined at T5417.hs:8:10
index 4102b1f..e0a97a0 100644 (file)
@@ -1,4 +1,4 @@
-data Foo = Foo         -- Defined at T5820.hs:2:6
+data Foo = Foo         -- Defined at T5820.hs:2:1
 instance Eq Foo -- Defined at T5820.hs:3:10
-data Foo = Foo         -- Defined at T5820.hs:2:6
+data Foo = Foo         -- Defined at T5820.hs:2:1
 instance Eq Foo -- Defined at T5820.hs:3:10
index 3b5a01c..2cc6934 100644 (file)
@@ -1 +1 @@
-data (?)       -- Defined at <interactive>:3:6
+data (?)       -- Defined at <interactive>:3:1
index a2f8913..81d9609 100644 (file)
@@ -1,2 +1,2 @@
-type T = forall a. a -> a      -- Defined at <interactive>:3:6
-data D = MkT (forall b. b -> b)        -- Defined at <interactive>:4:6
+type T = forall a. a -> a      -- Defined at <interactive>:3:1
+data D = MkT (forall b. b -> b)        -- Defined at <interactive>:4:1
index 785fbf0..0167fb2 100644 (file)
@@ -1,6 +1,6 @@
 data D1 where
   MkD1 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D1
-       -- Defined at <interactive>:3:6
+       -- Defined at <interactive>:3:1
 data D2 where
   MkD2 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D2
-       -- Defined at <interactive>:4:6
+       -- Defined at <interactive>:4:1
index 863eb2f..9a88b5c 100644 (file)
@@ -1,23 +1,23 @@
-class Foo (a :: k) where\r
-  type family Bar (a :: k) b :: *\r
-       -- Defined at T7939.hs:6:9\r
-Bar :: k -> * -> *\r
-type family F a :: *   -- Defined at T7939.hs:8:13\r
-type instance F Int -- Defined at T7939.hs:9:1\r
-F :: * -> *\r
-type family G a :: * where G Int = Bool\r
-       -- Defined at T7939.hs:11:13\r
-G :: * -> *\r
-type family H (a :: Bool) :: Bool where H 'False = 'True\r
-       -- Defined at T7939.hs:14:13\r
-H :: Bool -> Bool\r
-type family J (a :: [k]) :: Bool where\r
-    J '[] = 'False\r
-    J (h : t) = 'True\r
-       -- Defined at T7939.hs:17:13\r
-J :: [k] -> Bool\r
-type family K (a :: [k]) :: Maybe k where\r
-    K '[] = 'Nothing\r
-    K (h : t) = 'Just h\r
-       -- Defined at T7939.hs:21:13\r
-K :: [k] -> Maybe k\r
+class Foo (a :: k) where
+  type family Bar (a :: k) b :: *
+       -- Defined at T7939.hs:6:4
+Bar :: k -> * -> *
+type family F a :: *   -- Defined at T7939.hs:8:1
+type instance F Int -- Defined at T7939.hs:9:1
+F :: * -> *
+type family G a :: * where G Int = Bool
+       -- Defined at T7939.hs:11:1
+G :: * -> *
+type family H (a :: Bool) :: Bool where H 'False = 'True
+       -- Defined at T7939.hs:14:1
+H :: Bool -> Bool
+type family J (a :: [k]) :: Bool where
+    J '[] = 'False
+    J (h : t) = 'True
+       -- Defined at T7939.hs:17:1
+J :: [k] -> Bool
+type family K (a :: [k]) :: Maybe k where
+    K '[] = 'Nothing
+    K (h : t) = 'Just h
+       -- Defined at T7939.hs:21:1
+K :: [k] -> Maybe k
index f50279e..4f346e7 100644 (file)
@@ -1,2 +1,2 @@
-data Foo = Foo         -- Defined at ghci019.hs:8:6
+data Foo = Foo         -- Defined at ghci019.hs:8:1
 instance Prelude.Eq Foo -- Defined at ghci019.hs:9:10
index 24fa768..3ac8cc2 100644 (file)
@@ -1,6 +1,6 @@
 data D where
   C :: (Int -> a) -> Char -> D
-       -- Defined at ghci030.hs:8:6
+       -- Defined at ghci030.hs:8:1
 data D where
   C :: (Int -> a) -> Char -> D
        -- Defined at ghci030.hs:8:21
index 018dc4b..d90cc7a 100644 (file)
@@ -1 +1 @@
-data Eq a => D a = C a         -- Defined at ghci031.hs:7:14
+data Eq a => D a = C a         -- Defined at ghci031.hs:7:1
index 7c21dbe..e4bfebe 100644 (file)
@@ -1,2 +1,2 @@
 data Foo = Foo1 Int | Int `InfixCon` Bool
-       -- Defined at ghci033.hs:4:6
+       -- Defined at ghci033.hs:4:1
index c6717da..043f889 100644 (file)
@@ -4,4 +4,4 @@ a :: Integer    -- Defined at <interactive>:6:5
 3
 data R = B {a :: Int}  -- Defined at <interactive>:9:13
 data T = A {main::Interactive.a :: Int}
-       -- Defined at <interactive>:3:6
+       -- Defined at <interactive>:3:1
index 7ddd1c9..2501da4 100644 (file)
@@ -1,5 +1,5 @@
-data T = C | D         -- Defined at <interactive>:9:10
-type T' = main::Interactive.T  -- Defined at <interactive>:4:6
+data T = C | D         -- Defined at <interactive>:9:1
+type T' = main::Interactive.T  -- Defined at <interactive>:4:1
 data main::Interactive.T = A | ...
        -- Defined at <interactive>:3:10
 data main::Interactive.T = B | ...
index c77129c..02bc37e 100644 (file)
@@ -5,17 +5,17 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
   Coll :: * -> Constraint
   class Coll c
-      Roles: [nominal]
-      RecFlag NonRecursive
-      type family Elem c :: *
-      empty :: c insert :: Elem c -> c -> c
+    Roles: [nominal]
+    RecFlag NonRecursive
+    type family Elem c :: * (open)
+    empty :: c insert :: Elem c -> c -> c
   ListColl :: * -> *
   data ListColl a
-      No C type associated
-      Roles: [representational]
-      RecFlag NonRecursive, Promotable
-      = L :: forall a. [a] -> ListColl a Stricts: _
-      FamilyInstance: none
+    No C type associated
+    Roles: [representational]
+    RecFlag NonRecursive, Promotable
+    = L :: forall a. [a] -> ListColl a Stricts: _
+    FamilyInstance: none
 COERCION AXIOMS
   axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a
 INSTANCES
index 920e56d..dfbb7dc 100644 (file)
@@ -1,25 +1,24 @@
-\r
-ClosedFam3.hs-boot:5:13:\r
-    Type constructor ‛Foo’ has conflicting definitions in the module\r
-    and its hs-boot file\r
-    Main module: closed type family Foo a :: * where\r
-                     Foo Int = Bool\r
-                     Foo Double = Char\r
-    Boot file:   closed type family Foo a :: * where Foo Int = Bool\r
-\r
-ClosedFam3.hs-boot:8:13:\r
-    Type constructor ‛Bar’ has conflicting definitions in the module\r
-    and its hs-boot file\r
-    Main module: closed type family Bar a :: * where\r
-                     Bar Int = Bool\r
-                     Bar Double = Double\r
-    Boot file:   closed type family Bar a :: * where\r
-                     Bar Int = Bool\r
-                     Bar Double = Char\r
-\r
-ClosedFam3.hs-boot:12:13:\r
-    Type constructor ‛Baz’ has conflicting definitions in the module\r
-    and its hs-boot file\r
-    Main module: closed type family Baz a :: * where Baz Int = Bool\r
-    Boot file:   closed type family Baz (k::BOX) (a::k) :: * where\r
-                     Baz Int = Bool\r
+
+ClosedFam3.hs-boot:5:1:
+    Type constructor ‛Foo’ has conflicting definitions in the module
+    and its hs-boot file
+    Main module: type family Foo a :: * where
+                     Foo Int = Bool
+                     Foo Double = Char
+    Boot file:   type family Foo a :: * where Foo Int = Bool
+
+ClosedFam3.hs-boot:8:1:
+    Type constructor ‛Bar’ has conflicting definitions in the module
+    and its hs-boot file
+    Main module: type family Bar a :: * where
+                     Bar Int = Bool
+                     Bar Double = Double
+    Boot file:   type family Bar a :: * where
+                     Bar Int = Bool
+                     Bar Double = Char
+
+ClosedFam3.hs-boot:12:1:
+    Type constructor ‛Baz’ has conflicting definitions in the module
+    and its hs-boot file
+    Main module: type family Baz a :: * where Baz Int = Bool
+    Boot file:   type family Baz (a :: k) :: * where Baz Int = Bool
index 34f8c97..e70ec94 100644 (file)
@@ -2,4 +2,4 @@
 ClosedFam4.hs:5:1:
     You may omit the equations in a closed type family
     only in a .hs-boot file
-    In the family declaration for ‛Foo’
+    In the type family declaration for ‛Foo’
index fd545b6..329b1ee 100644 (file)
@@ -2,4 +2,4 @@
 Overlap4.hs:7:3:
     Number of parameters must match family declaration; expected 2
     In the equations for closed type family ‛F’
-    In the family declaration for ‛F’
+    In the type family declaration for ‛F’
index f394f56..f3e3ce9 100644 (file)
@@ -1,7 +1,7 @@
 
 mod110.hs:11:10:
     Ambiguous occurrence ‛Eq’
-    It could refer to either ‛M.Eq’, defined at mod110.hs:7:7
+    It could refer to either ‛M.Eq’, defined at mod110.hs:7:1
                           or ‛Prelude.Eq’,
                              imported from ‛Prelude’ at mod110.hs:4:1-14
                              (and originally defined in ‛GHC.Classes’)
index cdec14c..a229aba 100644 (file)
@@ -3,5 +3,5 @@ mod143.hs:2:21:
     Conflicting exports for ‛Foo’:
        ‛module Mod143_A’ exports ‛Mod143_A.Foo’
          imported from ‛Mod143_A’ at mod143.hs:4:1-15
-         (and originally defined at Mod143_A.hs:3:6-8)
-       ‛module M’ exports ‛M.Foo’ defined at mod143.hs:6:6
+         (and originally defined at Mod143_A.hs:3:1-14)
+       ‛module M’ exports ‛M.Foo’ defined at mod143.hs:6:1
index 1ef381f..922b862 100644 (file)
@@ -1,5 +1,5 @@
 
-mod18.hs:3:6:
+mod18.hs:3:1:
     Multiple declarations of ‛T’
-    Declared at: mod18.hs:2:6
-                 mod18.hs:3:6
+    Declared at: mod18.hs:2:1
+                 mod18.hs:3:1
index fd2f5f3..d0e7173 100644 (file)
@@ -1,8 +1,8 @@
 
-mod19.hs:3:7:
+mod19.hs:3:1:
     Multiple declarations of ‛C’
-    Declared at: mod19.hs:2:7
-                 mod19.hs:3:7
+    Declared at: mod19.hs:2:1
+                 mod19.hs:3:1
 
 mod19.hs:3:17:
     Multiple declarations of ‛m’
index 34620a6..e9cd1a7 100644 (file)
@@ -1,5 +1,5 @@
 
-mod21.hs:3:6:
+mod21.hs:3:1:
     Multiple declarations of ‛T’
-    Declared at: mod21.hs:2:6
-                 mod21.hs:3:6
+    Declared at: mod21.hs:2:1
+                 mod21.hs:3:1
index 7c5f277..c271e8d 100644 (file)
@@ -1,5 +1,5 @@
 
-mod38.hs:4:7:
+mod38.hs:4:1:
     Multiple declarations of ‛C’
-    Declared at: mod38.hs:3:6
-                 mod38.hs:4:7
+    Declared at: mod38.hs:3:1
+                 mod38.hs:4:1
index 185861a..8022424 100644 (file)
@@ -1,8 +1,8 @@
 
-T3265.hs:7:8:
+T3265.hs:7:1:
     Illegal declaration of a type or class operator ‛:+:’
       Use TypeOperators to declare operators in type and declarations
 
-T3265.hs:9:9:
+T3265.hs:9:1:
     Illegal declaration of a type or class operator ‛:*:’
       Use TypeOperators to declare operators in type and declarations
index 223985f..f0d101c 100644 (file)
@@ -11,10 +11,10 @@ rn_dup.hs:12:16:
                  rn_dup.hs:11:27
                  rn_dup.hs:12:16
 
-rn_dup.hs:17:8:
+rn_dup.hs:17:3:
     Multiple declarations of ‛CT’
-    Declared at: rn_dup.hs:15:8
-                 rn_dup.hs:17:8
+    Declared at: rn_dup.hs:15:3
+                 rn_dup.hs:17:3
 
 rn_dup.hs:18:3:
     Multiple declarations of ‛f’
index 544455a..352b4da 100644 (file)
@@ -1,5 +1,5 @@
 
-rnfail011.hs:6:6:
+rnfail011.hs:6:1:
     Multiple declarations of ‛A’
-    Declared at: rnfail011.hs:2:6
-                 rnfail011.hs:6:6
+    Declared at: rnfail011.hs:2:1
+                 rnfail011.hs:6:1
index 83b1e1d..0dd75d6 100644 (file)
@@ -1,5 +1,5 @@
 
-rnfail012.hs:8:7:
+rnfail012.hs:8:1:
     Multiple declarations of ‛A’
-    Declared at: rnfail012.hs:2:7
-                 rnfail012.hs:8:7
+    Declared at: rnfail012.hs:2:1
+                 rnfail012.hs:8:1
index a995c5d..adc491c 100644 (file)
@@ -11,19 +11,19 @@ RnFail055.hs-boot:4:1:
     Main module: f1 :: Int -> Float
     Boot file:   f1 :: Float -> Int
 
-RnFail055.hs-boot:6:6:
+RnFail055.hs-boot:6:1:
     Type constructor ‛S1’ has conflicting definitions in the module
     and its hs-boot file
     Main module: type S1 a b = (a, b)
     Boot file:   type S1 a b c = (a, b)
 
-RnFail055.hs-boot:8:6:
+RnFail055.hs-boot:8:1:
     Type constructor ‛S2’ has conflicting definitions in the module
     and its hs-boot file
     Main module: type S2 a b = forall a1. (a1, b)
     Boot file:   type S2 a b = forall b1. (a, b1)
 
-RnFail055.hs-boot:12:6:
+RnFail055.hs-boot:12:1:
     Type constructor ‛T1’ has conflicting definitions in the module
     and its hs-boot file
     Main module: data T1 a b
@@ -39,7 +39,7 @@ RnFail055.hs-boot:12:6:
                      = T1 :: forall a b. [a] -> [b] -> T1 a b Stricts: _ _
                      FamilyInstance: none
 
-RnFail055.hs-boot:14:16:
+RnFail055.hs-boot:14:1:
     Type constructor ‛T2’ has conflicting definitions in the module
     and its hs-boot file
     Main module: data Eq b => T2 a b
@@ -61,7 +61,7 @@ RnFail055.hs-boot:16:11:
 RnFail055.hs-boot:17:12:
     T3' is exported by the hs-boot file, but not exported by the module
 
-RnFail055.hs-boot:21:6:
+RnFail055.hs-boot:21:1:
     Type constructor ‛T5’ has conflicting definitions in the module
     and its hs-boot file
     Main module: data T5 a
@@ -77,7 +77,7 @@ RnFail055.hs-boot:21:6:
                      = T5 :: forall a. a -> T5 a Stricts: _
                      FamilyInstance: none
 
-RnFail055.hs-boot:23:6:
+RnFail055.hs-boot:23:1:
     Type constructor ‛T6’ has conflicting definitions in the module
     and its hs-boot file
     Main module: data T6
@@ -91,7 +91,7 @@ RnFail055.hs-boot:23:6:
                      = T6 :: Int -> T6 HasWrapper Stricts: !
                      FamilyInstance: none
 
-RnFail055.hs-boot:25:6:
+RnFail055.hs-boot:25:1:
     Type constructor ‛T7’ has conflicting definitions in the module
     and its hs-boot file
     Main module: data T7 a
@@ -110,7 +110,7 @@ RnFail055.hs-boot:25:6:
 RnFail055.hs-boot:27:22:
     RnFail055.m1 is exported by the hs-boot file, but not exported by the module
 
-RnFail055.hs-boot:28:7:
+RnFail055.hs-boot:28:1:
     Class ‛C2’ has conflicting definitions in the module
     and its hs-boot file
     Main module: class C2 a b
@@ -122,7 +122,7 @@ RnFail055.hs-boot:28:7:
                      RecFlag NonRecursive
                      m2 :: a -> b
 
-RnFail055.hs-boot:29:24:
+RnFail055.hs-boot:29:1:
     Class ‛C3’ has conflicting definitions in the module
     and its hs-boot file
     Main module: class (Eq a, Ord a) => C3 a
index 5a07417..b18a5b5 100644 (file)
@@ -2,27 +2,27 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
   C1 :: * -> Constraint
   class C1 a
-      Roles: [representational]
-      RecFlag NonRecursive
-      meth1 :: a -> a
+    Roles: [representational]
+    RecFlag NonRecursive
+    meth1 :: a -> a
   C2 :: * -> * -> Constraint
   class C2 a b
-      Roles: [nominal, nominal]
-      RecFlag NonRecursive
-      meth2 :: (~) * a b -> a -> b
+    Roles: [nominal, nominal]
+    RecFlag NonRecursive
+    meth2 :: (~) * a b -> a -> b
   C3 :: * -> * -> Constraint
   class C3 a b
-      Roles: [representational, nominal]
-      RecFlag NonRecursive
-      type family F3 b :: *
-      meth3 :: a -> F3 b -> F3 b
+    Roles: [representational, nominal]
+    RecFlag NonRecursive
+    type family F3 b :: * (open)
+    meth3 :: a -> F3 b -> F3 b
   C4 :: * -> * -> Constraint
   class C4 a b
-      Roles: [representational, nominal]
-      RecFlag NonRecursive
-      meth4 :: a -> F4 b -> F4 b
+    Roles: [representational, nominal]
+    RecFlag NonRecursive
+    meth4 :: a -> F4 b -> F4 b
   F4 :: * -> *
-  type family F4 a :: *
+  type family F4 a :: * (open)
   Syn1 :: * -> *
   type Syn1 a = F4 a
   Syn2 :: * -> *
index 42d6346..94f31f3 100644 (file)
@@ -1,15 +1,15 @@
 
-Roles12.hs:5:6:
+Roles12.hs:5:1:
     Type constructor ‛T’ has conflicting definitions in the module
     and its hs-boot file
     Main module: data T a
-                     No C type associated
-                     Roles: [phantom]
-                     RecFlag Recursive, Promotable
-                     =
-                     FamilyInstance: none
+                   No C type associated
+                   Roles: [phantom]
+                   RecFlag Recursive, Promotable
+                   =
+                   FamilyInstance: none
     Boot file:   abstract(False) T a
-                     No C type associated
-                     Roles: [representational]
-                     RecFlag NonRecursive, Not promotable
-                     FamilyInstance: none
+                   No C type associated
+                   Roles: [representational]
+                   RecFlag NonRecursive, Not promotable
+                   FamilyInstance: none
index fb6f43b..d9da3b4 100644 (file)
@@ -1,5 +1,5 @@
 
-T3468.hs-boot:3:6:
+T3468.hs-boot:3:1:
     Type constructor ‛Tool’ has conflicting definitions in the module
     and its hs-boot file
     Main module: data Tool d
index 2c87b91..f8dfd57 100644 (file)
@@ -1,4 +1,4 @@
 
-tcfail173.hs:5:12:
+tcfail173.hs:5:1:
     Illegal declaration of a type or class operator ‛<.>’
       Use TypeOperators to declare operators in type and declarations