Error message wibbles when adding overloaded lists
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 14 Feb 2013 14:46:13 +0000 (14:46 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 14 Feb 2013 14:46:13 +0000 (14:46 +0000)
18 files changed:
testsuite/tests/codeGen/should_run/cgrun064.hs
testsuite/tests/codeGen/should_run/cgrun068.hs
testsuite/tests/codeGen/should_run/cgrun070.hs
testsuite/tests/driver/T4437.hs
testsuite/tests/driver/werror.stderr
testsuite/tests/ghci.debugger/scripts/break003.stderr
testsuite/tests/ghci.debugger/scripts/break003.stdout
testsuite/tests/ghci.debugger/scripts/break005.stdout
testsuite/tests/ghci.debugger/scripts/break006.stderr
testsuite/tests/ghci.debugger/scripts/break006.stdout
testsuite/tests/ghci.debugger/scripts/break027.stdout
testsuite/tests/ghci.debugger/scripts/hist001.stdout
testsuite/tests/rename/should_fail/T5892a.stderr
testsuite/tests/th/TH_exn1.stderr
testsuite/tests/typecheck/should_fail/T2534.stderr
testsuite/tests/typecheck/should_fail/T5858.stderr
testsuite/tests/typecheck/should_fail/tcfail001.stderr
testsuite/tests/typecheck/should_fail/tcfail012.stderr

index aa037e8..24544c4 100644 (file)
@@ -5,7 +5,7 @@
 
 module Main ( main ) where
 
-import GHC.Exts
+import GHC.Exts hiding (IsList(..))
 import GHC.Prim
 import GHC.ST
 
index 9d9a0f9..69a8b27 100644 (file)
@@ -33,7 +33,7 @@ import Control.Exception (assert)
 import Control.Monad
 import Control.Monad.Trans.State.Strict
 import Control.Monad.Trans.Class
-import GHC.Exts
+import GHC.Exts hiding (IsList(..))
 import GHC.ST hiding (liftST)
 import Prelude hiding (length, read)
 import qualified Prelude as P
index 1f6b562..3187af6 100644 (file)
@@ -6,7 +6,7 @@
 module Main ( main ) where
 
 import GHC.Word
-import GHC.Exts
+import GHC.Exts hiding (IsList(..))
 import GHC.Prim
 import GHC.ST
 
index 23be89b..617484c 100644 (file)
@@ -37,6 +37,7 @@ expectedGhcOnlyExtensions = [
                              "AlternativeLayoutRuleTransitional",
                              "ExplicitNamespaces",
                              "TypeHoles",
+                             "OverloadedLists",
                              "EmptyCase",
                              "AutoDeriveTypeable"]
 
index c8e7894..4bad5e6 100644 (file)
@@ -1,10 +1,10 @@
 
-werror.hs:6:1:
-    Warning: Top-level binding with no type signature: main :: IO ()
+werror.hs:6:1: Warning:
+    Top-level binding with no type signature: main :: IO ()
 
-werror.hs:7:13:
-    Warning: This binding for `main' shadows the existing binding
-               defined at werror.hs:6:1
+werror.hs:7:13: Warning:
+    This binding for `main' shadows the existing binding
+      defined at werror.hs:6:1
 
 werror.hs:7:13: Warning: Defined but not used: `main'
 
@@ -12,17 +12,17 @@ werror.hs:8:1: Warning: Tab character
 
 werror.hs:10:1: Warning: Defined but not used: `f'
 
-werror.hs:10:1:
-    Warning: Top-level binding with no type signature:
-               f :: forall t a. [t] -> [a]
+werror.hs:10:1: Warning:
+    Top-level binding with no type signature:
+      f :: forall t t1. [t] -> [t1]
 
-werror.hs:10:1:
-    Warning: Pattern match(es) are overlapped
-             In an equation for `f': f [] = ...
+werror.hs:10:1: Warning:
+    Pattern match(es) are overlapped
+    In an equation for `f': f [] = ...
 
-werror.hs:10:1:
-    Warning: Pattern match(es) are non-exhaustive
-             In an equation for `f': Patterns not matched: _ : _
+werror.hs:10:1: Warning:
+    Pattern match(es) are non-exhaustive
+    In an equation for `f': Patterns not matched: _ : _
 
 <no location info>: 
 Failing due to -Werror.
index 03dc88b..fc7bb33 100644 (file)
@@ -1,4 +1,4 @@
 
 <interactive>:5:1:
-    No instance for (Show (t -> a)) arising from a use of `print'
+    No instance for (Show (t -> t1)) arising from a use of `print'
     In a stmt of an interactive GHCi command: print it
index ed41883..a48f74c 100644 (file)
@@ -1,6 +1,6 @@
 Breakpoint 0 activated at ../Test3.hs:2:18-31
 Stopped at ../Test3.hs:2:18-31
-_result :: [a] = _
-f :: t -> a = _
+_result :: [t1] = _
+f :: t -> t1 = _
 x :: t = _
 xs :: [t] = [_]
index 82fc681..65eeb56 100644 (file)
@@ -1,5 +1,5 @@
 Stopped at ../QSort.hs:(4,1)-(6,55)
-_result :: [a] = _
+_result :: [t] = _
 Stopped at ../QSort.hs:5:16-51
 _result :: [Integer] = _
 a :: Integer = 1
index 45f6f83..9543d67 100644 (file)
@@ -1,9 +1,9 @@
 
 <interactive>:6:1:
-    No instance for (Show a) arising from a use of `print'
-    Cannot resolve unknown runtime type `a'
+    No instance for (Show t1) arising from a use of `print'
+    Cannot resolve unknown runtime type `t1'
     Use :print or :force to determine these types
-    Relevant bindings include it :: a (bound at <interactive>:6:1)
+    Relevant bindings include it :: t1 (bound at <interactive>:6:1)
     Note: there are several potential instances:
       instance Show Double -- Defined in `GHC.Float'
       instance Show Float -- Defined in `GHC.Float'
     In a stmt of an interactive GHCi command: print it
 
 <interactive>:8:1:
-    No instance for (Show a) arising from a use of `print'
-    Cannot resolve unknown runtime type `a'
+    No instance for (Show t1) arising from a use of `print'
+    Cannot resolve unknown runtime type `t1'
     Use :print or :force to determine these types
-    Relevant bindings include it :: a (bound at <interactive>:8:1)
+    Relevant bindings include it :: t1 (bound at <interactive>:8:1)
     Note: there are several potential instances:
       instance Show Double -- Defined in `GHC.Float'
       instance Show Float -- Defined in `GHC.Float'
index b78f4f3..7e5edbf 100644 (file)
@@ -1,15 +1,15 @@
 Stopped at ../Test3.hs:(1,1)-(2,31)
-_result :: [a] = _
+_result :: [t1] = _
 Stopped at ../Test3.hs:2:18-31
-_result :: [a] = _
-f :: Integer -> a = _
+_result :: [t1] = _
+f :: Integer -> t1 = _
 x :: Integer = 1
 xs :: [Integer] = [2,3]
 xs :: [Integer] = [2,3]
 x :: Integer = 1
-f :: Integer -> a = _
-_result :: [a] = _
-y = (_t1::a)
+f :: Integer -> t1 = _
+_result :: [t1] = _
+y = (_t1::t1)
 y = 2
 xs :: [Integer] = [2,3]
 x :: Integer = 1
index fdacda8..bac674b 100644 (file)
@@ -1,6 +1,6 @@
 Breakpoint 0 activated at ../QSort.hs:(4,1)-(6,55)
 Stopped at ../QSort.hs:(4,1)-(6,55)
-_result :: [a] = _
+_result :: [t] = _
 Stopped at ../QSort.hs:5:16-51
 _result :: [Integer] = _
 a :: Integer = 3
index 74cb483..0b58b8f 100644 (file)
@@ -12,20 +12,20 @@ _result :: [a] = _
 -9  : mymap (../Test3.hs:(1,1)-(2,31))
 <end of history>
 Logged breakpoint at ../Test3.hs:(1,1)-(2,31)
-_result :: [a]
-_result :: [a] = _
+_result :: [t1]
+_result :: [t1] = _
 Logged breakpoint at ../Test3.hs:2:22-31
-_result :: [a]
-f :: t -> a
+_result :: [t1]
+f :: t -> t1
 xs :: [t]
 xs :: [t] = []
-f :: t -> a = _
-_result :: [a] = _
+f :: t -> t1 = _
+_result :: [t1] = _
 *** Ignoring breakpoint
 _result = []
 Logged breakpoint at ../Test3.hs:2:18-20
-_result :: a
-f :: Integer -> a
+_result :: t1
+f :: Integer -> t1
 x :: Integer
 Logged breakpoint at ../Test3.hs:2:22-31
-_result :: [a]
+_result :: [t1]
index 9eecad6..1047599 100644 (file)
@@ -1,10 +1,10 @@
-\r
-T5892a.hs:12:8: Warning:\r
-    Fields of `Version' not initialised: Data.Version.versionTags\r
-    In the expression: Version {..}\r
-    In the expression: let versionBranch = [] in Version {..}\r
-    In an equation for `foo':\r
-        foo (Version {..}) = let versionBranch = [] in Version {..}\r
-\r
-<no location info>: \r
-Failing due to -Werror.\r
+
+T5892a.hs:12:8: Warning:
+    Fields of `Version' not initialised: Data.Version.versionTags
+    In the expression: Version {..}
+    In the expression: let versionBranch = [] in Version {..}
+    In an equation for `foo':
+        foo (Version {..}) = let versionBranch = ... in Version {..}
+
+<no location info>: 
+Failing due to -Werror.
index f544485..6354861 100644 (file)
@@ -3,4 +3,4 @@ TH_exn1.hs:1:1:
     Exception when trying to run compile-time code:
       TH_exn1.hs:(9,4)-(10,23): Non-exhaustive patterns in case
 
-      Code: case reverse "no" of { [] -> return (GHC.Types.[]) }
+    Code: case reverse "no" of { [] -> return [] }
index 8943b97..02ad782 100644 (file)
@@ -1,6 +1,6 @@
 
 T2534.hs:3:19:
-    Couldn't match expected type `a -> a -> b' with actual type `[a0]'
+    Couldn't match expected type `a -> a -> b' with actual type `[t0]'
     Relevant bindings include
       foo :: a -> a -> b (bound at T2534.hs:3:1)
     In the second argument of `foldr', namely `[]'
index 0ecd766..437b5ba 100644 (file)
@@ -1,10 +1,10 @@
-\r
-T5858.hs:11:7:\r
-    No instance for (InferOverloaded ([a0], [a1]))\r
-      arising from a use of `infer'\r
-    The type variables `a0', `a1' are ambiguous\r
-    Note: there is a potential instance available:\r
-      instance t1 ~ String => InferOverloaded (t1, t1)\r
-        -- Defined at T5858.hs:8:10\r
-    In the expression: infer ([], [])\r
-    In an equation for `foo': foo = infer ([], [])\r
+
+T5858.hs:11:7:
+    No instance for (InferOverloaded ([t0], [t1]))
+      arising from a use of `infer'
+    The type variables `t0', `t1' are ambiguous
+    Note: there is a potential instance available:
+      instance t1 ~ String => InferOverloaded (t1, t1)
+        -- Defined at T5858.hs:8:10
+    In the expression: infer ([], [])
+    In an equation for `foo': foo = infer ([], [])
index 85b6788..8734ee3 100644 (file)
@@ -1,6 +1,6 @@
 
 tcfail001.hs:9:2:
-    Couldn't match expected type `[t0] -> [a0]' with actual type `[a]'
+    Couldn't match expected type `[t0] -> [t1]' with actual type `[a]'
     Relevant bindings include op :: [a] (bound at tcfail001.hs:9:2)
     The equation(s) for `op' have one argument,
     but its type `[a]' has none
index 7fe9b18..7d99a18 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail012.hs:3:8:
-    Couldn't match expected type `Bool' with actual type `[a0]'
+    Couldn't match expected type `Bool' with actual type `[t0]'
     In the expression: []
     In a pattern binding: True = []