Changes in error messages when fixing Trac #8649
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 9 Jan 2014 17:59:51 +0000 (17:59 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 9 Jan 2014 18:00:33 +0000 (18:00 +0000)
Mostly improvements, happily

testsuite/tests/ghci/scripts/ghci040.stdout
testsuite/tests/ghci/scripts/ghci042.stdout
testsuite/tests/ghci/scripts/ghci051.stderr
testsuite/tests/ghci/scripts/ghci051.stdout
testsuite/tests/ghci/scripts/ghci052.stderr
testsuite/tests/ghci/scripts/ghci053.stderr
testsuite/tests/module/mod180.stderr
testsuite/tests/th/T8625.stdout
testsuite/tests/typecheck/should_fail/tcfail182.stderr

index 6ea7879..b440ef4 100644 (file)
@@ -1,2 +1 @@
-data main::Interactive.T = A | ...
-       -- Defined at <interactive>:3:10
+data Ghci1.T = A | ...         -- Defined at <interactive>:3:10
index 043f889..2a75ecb 100644 (file)
@@ -3,5 +3,4 @@ data T = A {a :: Int}   -- Defined at <interactive>:3:13
 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:1
+data T = A {Ghci1.a :: Int}    -- Defined at <interactive>:3:1
index aec3647..363eeb1 100644 (file)
@@ -1,6 +1,9 @@
 
 <interactive>:7:9:
-    Couldn't match type ‛T’ with ‛main::Interactive.T’
+    Couldn't match type ‛T’
+                  with ‛Ghci1.T’
+    NB: ‛T’ is defined at <interactive>:6:1-16
+        ‛Ghci1.T’ is defined at <interactive>:3:1-14
     Expected type: T'
       Actual type: T
     In the expression: C :: T'
index 2501da4..f69b0e2 100644 (file)
@@ -1,11 +1,9 @@
 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 | ...
-       -- Defined at <interactive>:6:12
+type T' = Ghci1.T      -- Defined at <interactive>:4:1
+data Ghci1.T = A | ...         -- Defined at <interactive>:3:10
+data Ghci4.T = B | ...         -- Defined at <interactive>:6:12
 data T = C | ...       -- Defined at <interactive>:9:14
 data T = ... | D       -- Defined at <interactive>:9:18
 b :: T'        -- Defined at <interactive>:5:5
-c :: main::Interactive.T       -- Defined at <interactive>:8:5
+c :: Ghci4.T   -- Defined at <interactive>:8:5
 d :: T         -- Defined at <interactive>:10:5
index 35977bf..a653ea0 100644 (file)
@@ -1,32 +1,32 @@
 
 <interactive>:9:4:
-    Couldn't match expected type ‛main::Interactive.Planet’
+    Couldn't match expected type ‛Ghci1.Planet’
                 with actual type ‛Planet’
-    NB: ‛main::Interactive.Planet’ is defined in ‛:Interactive’
-        ‛Planet’ is defined in ‛:Interactive’
+    NB: ‛Ghci1.Planet’ is defined at <interactive>:5:1-37
+        ‛Planet’ is defined at <interactive>:8:1-36
     In the first argument of ‛pn’, namely ‛Mercury’
     In the expression: pn Mercury
 
 <interactive>:10:4:
-    Couldn't match expected type ‛main::Interactive.Planet’
+    Couldn't match expected type ‛Ghci1.Planet’
                 with actual type ‛Planet’
-    NB: ‛main::Interactive.Planet’ is defined in ‛:Interactive’
-        ‛Planet’ is defined in ‛:Interactive’
+    NB: ‛Ghci1.Planet’ is defined at <interactive>:5:1-37
+        ‛Planet’ is defined at <interactive>:8:1-36
     In the first argument of ‛pn’, namely ‛Venus’
     In the expression: pn Venus
 
 <interactive>:11:4:
-    Couldn't match expected type ‛main::Interactive.Planet’
+    Couldn't match expected type ‛Ghci1.Planet’
                 with actual type ‛Planet’
-    NB: ‛main::Interactive.Planet’ is defined in ‛:Interactive’
-        ‛Planet’ is defined in ‛:Interactive’
+    NB: ‛Ghci1.Planet’ is defined at <interactive>:5:1-37
+        ‛Planet’ is defined at <interactive>:8:1-36
     In the first argument of ‛pn’, namely ‛Mars’
     In the expression: pn Mars
 
 <interactive>:13:44:
     Couldn't match expected type ‛Planet’
-                with actual type ‛main::Interactive.Planet’
-    NB: ‛Planet’ is defined in ‛:Interactive’
-        ‛main::Interactive.Planet’ is defined in ‛:Interactive’
+                with actual type ‛Ghci1.Planet’
+    NB: ‛Planet’ is defined at <interactive>:8:1-36
+        ‛Ghci1.Planet’ is defined at <interactive>:5:1-37
     In the pattern: Earth
     In an equation for ‛pn’: pn Earth = "E"
index abb4009..6ea0592 100644 (file)
@@ -1,16 +1,16 @@
 
 <interactive>:10:12:
-    Couldn't match expected type ‛main::Interactive.Planet’
+    Couldn't match expected type ‛Ghci1.Planet’
                 with actual type ‛Planet’
-    NB: ‛main::Interactive.Planet’ is defined in ‛:Interactive’
-        ‛Planet’ is defined in ‛:Interactive’
+    NB: ‛Ghci1.Planet’ is defined at <interactive>:5:1-49
+        ‛Planet’ is defined at <interactive>:8:1-41
     In the second argument of ‛(==)’, namely ‛Mercury’
     In the expression: mercury == Mercury
 
 <interactive>:12:10:
     Couldn't match expected type ‛Planet’
-                with actual type ‛main::Interactive.Planet’
-    NB: ‛Planet’ is defined in ‛:Interactive’
-        ‛main::Interactive.Planet’ is defined in ‛:Interactive’
+                with actual type ‛Ghci1.Planet’
+    NB: ‛Planet’ is defined at <interactive>:8:1-41
+        ‛Ghci1.Planet’ is defined at <interactive>:5:1-49
     In the second argument of ‛(==)’, namely ‛Earth’
     In the expression: Venus == Earth
index dd582e6..af6826d 100644 (file)
@@ -2,7 +2,7 @@
 mod180.hs:8:5:
     Couldn't match expected type ‛T’
                 with actual type ‛main:Mod180_A.T’
-    NB: ‛T’ is defined in ‛Mod180_B’
-        ‛main:Mod180_A.T’ is defined in ‛Mod180_A’
+    NB: ‛T’ is defined at Mod180_B.hs:3:1-10
+        ‛main:Mod180_A.T’ is defined at Mod180_A.hs:3:1-10
     In the expression: x
     In an equation for ‛z’: z = x
index a845a1e..e6ce48b 100644 (file)
@@ -1,2 +1,2 @@
-[InstanceD [EqualP (VarT y_0) (AppT (AppT ArrowT (VarT t_1)) (VarT t_1))] (AppT (ConT :Interactive.Member) (ConT GHC.Types.Bool)) []]\r
-[SigD f_2 (ForallT [PlainTV y_3,PlainTV t_4] [EqualP (VarT y_3) (AppT (AppT ArrowT (VarT t_4)) (VarT t_4))] (AppT (AppT ArrowT (VarT y_3)) (VarT t_4))),FunD f_2 [Clause [VarP x_5] (NormalB (VarE x_5)) []]]\r
+[InstanceD [EqualP (VarT y_0) (AppT (AppT ArrowT (VarT t_1)) (VarT t_1))] (AppT (ConT Ghci1.Member) (ConT GHC.Types.Bool)) []]
+[SigD f_2 (ForallT [PlainTV y_3,PlainTV t_4] [EqualP (VarT y_3) (AppT (AppT ArrowT (VarT t_4)) (VarT t_4))] (AppT (AppT ArrowT (VarT y_3)) (VarT t_4))),FunD f_2 [Clause [VarP x_5] (NormalB (VarE x_5)) []]]
index 1360b70..ad01d39 100644 (file)
@@ -3,7 +3,7 @@ tcfail182.hs:9:3:
     Couldn't match expected type ‛Prelude.Maybe a’
                 with actual type ‛Maybe t0’
     NB: ‛Prelude.Maybe’ is defined in ‛Data.Maybe’ in package ‛base’
-        ‛Maybe’ is defined in ‛Foo’
+        ‛Maybe’ is defined at tcfail182.hs:6:1-18
     Relevant bindings include
       f :: Prelude.Maybe a -> Int (bound at tcfail182.hs:9:1)
     In the pattern: Foo