Testsuite: accept output without Windows line endings (#11631)
authorThomas Miedema <thomasmiedema@gmail.com>
Tue, 23 Feb 2016 01:25:17 +0000 (02:25 +0100)
committerThomas Miedema <thomasmiedema@gmail.com>
Tue, 23 Feb 2016 11:27:59 +0000 (12:27 +0100)
68 files changed:
testsuite/tests/polykinds/T10516.stderr
testsuite/tests/polykinds/T6054.stderr
testsuite/tests/rename/should_fail/Misplaced.stderr
testsuite/tests/rename/should_fail/T2310.stderr
testsuite/tests/rename/should_fail/T3792.stderr
testsuite/tests/rename/should_fail/rnfail022.stderr
testsuite/tests/rename/should_fail/rnfail047.stderr
testsuite/tests/simplCore/should_compile/simpl020.stderr
testsuite/tests/th/T3600.stderr
testsuite/tests/typecheck/should_compile/T10632.stderr
testsuite/tests/typecheck/should_compile/T3696.stderr
testsuite/tests/typecheck/should_compile/T7050.stderr
testsuite/tests/typecheck/should_compile/T7220a.stderr
testsuite/tests/typecheck/should_compile/T7562.stderr
testsuite/tests/typecheck/should_compile/T9497a.stderr
testsuite/tests/typecheck/should_fail/AssocTyDef05.stderr
testsuite/tests/typecheck/should_fail/ContextStack2.stderr
testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr
testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr
testsuite/tests/typecheck/should_fail/IPFail.stderr
testsuite/tests/typecheck/should_fail/T10351.stderr
testsuite/tests/typecheck/should_fail/T1897a.stderr
testsuite/tests/typecheck/should_fail/T3592.stderr
testsuite/tests/typecheck/should_fail/T3966.stderr
testsuite/tests/typecheck/should_fail/T5051.stderr
testsuite/tests/typecheck/should_fail/T5236.stderr
testsuite/tests/typecheck/should_fail/T6022.stderr
testsuite/tests/typecheck/should_fail/T7279.stderr
testsuite/tests/typecheck/should_fail/T7697.stderr
testsuite/tests/typecheck/should_fail/T8034.stderr
testsuite/tests/typecheck/should_fail/T8392a.stderr
testsuite/tests/typecheck/should_fail/T9497d.stderr
testsuite/tests/typecheck/should_fail/fd-loop.stderr
testsuite/tests/typecheck/should_fail/tcfail019.stderr
testsuite/tests/typecheck/should_fail/tcfail058.stderr
testsuite/tests/typecheck/should_fail/tcfail063.stderr
testsuite/tests/typecheck/should_fail/tcfail067.stderr
testsuite/tests/typecheck/should_fail/tcfail080.stderr
testsuite/tests/typecheck/should_fail/tcfail097.stderr
testsuite/tests/typecheck/should_fail/tcfail098.stderr
testsuite/tests/typecheck/should_fail/tcfail100.stderr
testsuite/tests/typecheck/should_fail/tcfail101.stderr
testsuite/tests/typecheck/should_fail/tcfail102.stderr
testsuite/tests/typecheck/should_fail/tcfail106.stderr
testsuite/tests/typecheck/should_fail/tcfail107.stderr
testsuite/tests/typecheck/should_fail/tcfail108.stderr
testsuite/tests/typecheck/should_fail/tcfail110.stderr
testsuite/tests/typecheck/should_fail/tcfail116.stderr
testsuite/tests/typecheck/should_fail/tcfail125.stderr
testsuite/tests/typecheck/should_fail/tcfail129.stderr
testsuite/tests/typecheck/should_fail/tcfail134.stderr
testsuite/tests/typecheck/should_fail/tcfail135.stderr
testsuite/tests/typecheck/should_fail/tcfail142.stderr
testsuite/tests/typecheck/should_fail/tcfail150.stderr
testsuite/tests/typecheck/should_fail/tcfail154.stderr
testsuite/tests/typecheck/should_fail/tcfail155.stderr
testsuite/tests/typecheck/should_fail/tcfail157.stderr
testsuite/tests/typecheck/should_fail/tcfail158.stderr
testsuite/tests/typecheck/should_fail/tcfail167.stderr
testsuite/tests/typecheck/should_fail/tcfail171.stderr
testsuite/tests/typecheck/should_fail/tcfail186.stderr
testsuite/tests/typecheck/should_fail/tcfail187.stderr
testsuite/tests/typecheck/should_fail/tcfail209.stderr
testsuite/tests/typecheck/should_fail/tcfail209a.stderr
testsuite/tests/typecheck/should_fail/tcfail213.stderr
testsuite/tests/typecheck/should_fail/tcfail214.stderr
testsuite/tests/typecheck/should_fail/tcfail215.stderr
testsuite/tests/typecheck/should_fail/tcfail222.stderr

index a6fa524..30c4f09 100644 (file)
@@ -1,4 +1,5 @@
-\r
-T10516.hs:8:6: error:\r
-    The type synonym ‘App’ should have 2 arguments, but has been given 1\r
-    In the type signature: f :: f a -> X (App f) a\r
+
+T10516.hs:8:6: error:
+    • The type synonym ‘App’ should have 2 arguments, but has been given 1
+    • In the type signature:
+        f :: f a -> X (App f) a
index 645db89..c8b39b0 100644 (file)
@@ -1,9 +1,9 @@
-\r
-T6054.hs:7:14:\r
-    No instance for (Bar '() a0)\r
-      arising from an expression type signature\r
-    In the first argument of ‘print’, namely\r
-      ‘(Proxy :: Bar () a => Proxy a)’\r
-    In the expression: print (Proxy :: Bar () a => Proxy a)\r
-    In an equation for ‘foo’:\r
-        foo = print (Proxy :: Bar () a => Proxy a)\r
+
+T6054.hs:7:14: error:
+    • No instance for (Bar '() a0)
+        arising from an expression type signature
+    • In the first argument of ‘print’, namely
+        ‘(Proxy :: Bar () a => Proxy a)’
+      In the expression: print (Proxy :: Bar () a => Proxy a)
+      In an equation for ‘foo’:
+          foo = print (Proxy :: Bar () a => Proxy a)
index e51865a..67d845d 100644 (file)
@@ -1,4 +1,4 @@
-\r
-Misplaced.hs:4:1:\r
-    Misplaced SPECIALISE instance pragma:\r
-    {-# SPECIALIZE instance Eq (T Int) #-}\r
+
+Misplaced.hs:4:1: error:
+    Misplaced SPECIALISE instance pragma:
+    {-# SPECIALIZE instance Eq (T Int) #-}
index 5e9e6ba..1ac633f 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T2310.hs:5:41: error:\r
-    Variable not in scope: co\r
-    Perhaps you meant one of these:\r
-      ‘c’ (line 5), ‘cos’ (imported from Prelude)\r
+
+T2310.hs:5:41: error:
+    • Variable not in scope: co
+    • Perhaps you meant one of these:
+        ‘c’ (line 5), ‘cos’ (imported from Prelude)
index 892fb11..964ea2e 100644 (file)
@@ -1,2 +1,3 @@
-\r
-T3792.hs:3:17: Illegal qualified name in import item: Prelude.map\r
+
+T3792.hs:3:17: error:
+    Illegal qualified name in import item: Prelude.map
index 8ca03df..c27e613 100644 (file)
@@ -1,4 +1,4 @@
-\r
-rnfail022.hs:8:5: error:\r
-    Variable not in scope: intersperse\r
-    Perhaps you meant ‘L.intersperse’ (imported from Data.List)\r
+
+rnfail022.hs:8:5: error:
+    • Variable not in scope: intersperse
+    • Perhaps you meant ‘L.intersperse’ (imported from Data.List)
index f62870e..8f7304a 100644 (file)
@@ -1,3 +1,3 @@
-\r
-RnFail047_A.hs-boot:5:1:\r
-    ‘RnFail047_A.y’ is exported by the hs-boot file, but not exported by the module\r
+
+RnFail047_A.hs-boot:5:1: error:
+    ‘RnFail047_A.y’ is exported by the hs-boot file, but not exported by the module
index fbf8da1..b21a412 100644 (file)
@@ -1,5 +1,5 @@
-\r
-Simpl020_A.hs:26:10: Warning:\r
-    No explicit implementation for\r
-      ‘toGUIObject’ and ‘cset’\r
-    In the instance declaration for ‘GUIObject ()’\r
+
+Simpl020_A.hs:26:10: warning:
+    • No explicit implementation for
+        ‘toGUIObject’ and ‘cset’
+    • In the instance declaration for ‘GUIObject ()’
index 615be3b..4f63ef1 100644 (file)
@@ -1,4 +1,2 @@
-T3600.hs:5:3-6: Splicing declarations\r
-    test\r
-  ======>\r
-    myFunction = (testFun1 [], testFun2 [], testFun2 "x")\r
+T3600.hs:5:3-6: Splicing declarations
+    test ======> myFunction = (testFun1 [], testFun2 [], testFun2 "x")
index 5a6809d..8e72f42 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T10632.hs:3:1: warning:\r
-    Redundant constraint: ?file1::String\r
-    In the type signature for:\r
-         f :: (?file1::String) => IO ()\r
+
+T10632.hs:3:1: warning:
+    • Redundant constraint: ?file1::String
+    • In the type signature for:
+           f :: (?file1::String) => IO ()
index 1784e53..06229b8 100644 (file)
@@ -1,3 +1,3 @@
-\r
-T3696.hs:9:1:\r
-    Warning: Top-level binding with no type signature: def :: Int\r
+
+T3696.hs:9:1: warning:
+    Top-level binding with no type signature: def :: Int
index 8a2f9f9..e115954 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T7050.hs:3:14: warning:\r
-    Ignoring unusable UNPACK pragma on the first argument of ‘Foo’\r
-    In the definition of data constructor ‘Foo’\r
-    In the data type declaration for ‘Foo’\r
+
+T7050.hs:3:14: warning:
+    • Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
+    • In the definition of data constructor ‘Foo’
+      In the data type declaration for ‘Foo’
index b728a1e..6e25e7a 100644 (file)
@@ -1,14 +1,15 @@
-\r
-T7220a.hs:17:6: error:\r
-    Could not deduce (C a b)\r
-    from the context: (C a0 b, TF b ~ Y)\r
-      bound by the type signature for:\r
-                 f :: (C a0 b, TF b ~ Y) => b\r
-      at T7220a.hs:17:6-44\r
-    Possible fix:\r
-      add (C a b) to the context of\r
-        the type signature for:\r
-          f :: (C a0 b, TF b ~ Y) => b\r
-    In the ambiguity check for ‘f’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the type signature: f :: (forall b. (C a b, TF b ~ Y) => b) -> X\r
+
+T7220a.hs:17:6: error:
+    • Could not deduce (C a b)
+      from the context: (C a0 b, TF b ~ Y)
+        bound by the type signature for:
+                   f :: (C a0 b, TF b ~ Y) => b
+        at T7220a.hs:17:6-44
+      Possible fix:
+        add (C a b) to the context of
+          the type signature for:
+            f :: (C a0 b, TF b ~ Y) => b
+    • In the ambiguity check for ‘f’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        f :: (forall b. (C a b, TF b ~ Y) => b) -> X
index 448327f..9c1b846 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T7562.hs:3:14: warning:\r
-    UNPACK pragma lacks '!' on the first argument of ‘Pair2’\r
-    In the definition of data constructor ‘Pair2’\r
-    In the data type declaration for ‘Pair2’\r
+
+T7562.hs:3:14: warning:
+    • UNPACK pragma lacks '!' on the first argument of ‘Pair2’
+    • In the definition of data constructor ‘Pair2’
+      In the data type declaration for ‘Pair2’
index 3982616..ca22451 100644 (file)
@@ -1,7 +1,7 @@
-\r
-T9497a.hs:2:8: warning:\r
-    Found hole: _main :: IO ()\r
-    Or perhaps ‘_main’ is mis-spelled, or not in scope\r
-    In the expression: _main\r
-    In an equation for ‘main’: main = _main\r
-    Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)\r
+
+T9497a.hs:2:8: warning:
+    • Found hole: _main :: IO ()
+      Or perhaps ‘_main’ is mis-spelled, or not in scope
+    • In the expression: _main
+      In an equation for ‘main’: main = _main
+    • Relevant bindings include main :: IO () (bound at T9497a.hs:2:1)
index 660d081..07812dc 100644 (file)
@@ -1,5 +1,5 @@
-\r
-AssocTyDef05.hs:6:5:\r
-    Number of parameters must match family declaration; expected 1\r
-    In the default type instance declaration for ‘Typ’\r
-    In the class declaration for ‘Cls’\r
+
+AssocTyDef05.hs:6:5: error:
+    • Number of parameters must match family declaration; expected 1
+    • In the default type instance declaration for ‘Typ’
+      In the class declaration for ‘Cls’
index 4c92698..f76d1f4 100644 (file)
@@ -1,12 +1,13 @@
-\r
-ContextStack2.hs:8:6: error:\r
-    Reduction stack overflow; size = 11\r
-    When simplifying the following type:\r
-      TF (TF (TF (TF (TF a))))\r
-      ~ (TF (TF (TF (TF (TF (TF a))))), TF (TF (TF (TF (TF (TF Int))))))\r
-    Use -freduction-depth=0 to disable this check\r
-    (any upper bound you could choose might fail unpredictably with\r
-     minor updates to GHC, so disabling the check is recommended if\r
-     you're sure that type checking should terminate)\r
-    In the ambiguity check for ‘t’\r
-    In the type signature: t :: (a ~ TF (a, Int)) => Int\r
+
+ContextStack2.hs:8:6: error:
+    • Reduction stack overflow; size = 11
+      When simplifying the following type:
+        TF (TF (TF (TF (TF a))))
+        ~ (TF (TF (TF (TF (TF (TF a))))), TF (TF (TF (TF (TF (TF Int))))))
+      Use -freduction-depth=0 to disable this check
+      (any upper bound you could choose might fail unpredictably with
+       minor updates to GHC, so disabling the check is recommended if
+       you're sure that type checking should terminate)
+    • In the ambiguity check for ‘t’
+      In the type signature:
+        t :: (a ~ TF (a, Int)) => Int
index a2cab99..5d137aa 100644 (file)
@@ -1,18 +1,19 @@
-\r
-FDsFromGivens.hs:9:7: error:\r
-    Couldn't match type ‘[a]’ with ‘Bool’\r
-      arising from a functional dependency between constraints:\r
-        ‘C Char Bool’\r
-          arising from the type signature for:\r
-                         g1 :: (C Char [a], C Char Bool) => a -> ()\r
-          at FDsFromGivens.hs:9:7-42\r
-        ‘C Char [a]’\r
-          arising from the type signature for:\r
-                         g1 :: (C Char [a], C Char Bool) => a -> ()\r
-          at FDsFromGivens.hs:9:7-42\r
-    Inaccessible code in\r
-      the type signature for:\r
-        g1 :: (C Char [a], C Char Bool) => a -> ()\r
-    In the ambiguity check for ‘g1’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the type signature: g1 :: (C Char [a], C Char Bool) => a -> ()\r
+
+FDsFromGivens.hs:9:7: error:
+    • Couldn't match type ‘[a]’ with ‘Bool’
+        arising from a functional dependency between constraints:
+          ‘C Char Bool’
+            arising from the type signature for:
+                           g1 :: (C Char [a], C Char Bool) => a -> ()
+            at FDsFromGivens.hs:9:7-42
+          ‘C Char [a]’
+            arising from the type signature for:
+                           g1 :: (C Char [a], C Char Bool) => a -> ()
+            at FDsFromGivens.hs:9:7-42
+      Inaccessible code in
+        the type signature for:
+          g1 :: (C Char [a], C Char Bool) => a -> ()
+    • In the ambiguity check for ‘g1’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        g1 :: (C Char [a], C Char Bool) => a -> ()
index b9a2629..f30ceec 100644 (file)
@@ -1,13 +1,13 @@
-\r
-FailDueToGivenOverlapping.hs:27:9: error:\r
-    Overlapping instances for E [t0] arising from a use of ‘eop’\r
-    Matching givens (or their superclasses):\r
-      E [Int]\r
-        bound by the type signature for:\r
-                   bar :: E [Int] => () -> ()\r
-        at FailDueToGivenOverlapping.hs:26:1-26\r
-    Matching instances:\r
-      instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10\r
-    (The choice depends on the instantiation of ‘t0’)\r
-    In the expression: eop [undefined]\r
-    In an equation for ‘bar’: bar _ = eop [undefined]\r
+
+FailDueToGivenOverlapping.hs:27:9: error:
+    • Overlapping instances for E [t0] arising from a use of ‘eop’
+      Matching givens (or their superclasses):
+        E [Int]
+          bound by the type signature for:
+                     bar :: E [Int] => () -> ()
+          at FailDueToGivenOverlapping.hs:26:1-26
+      Matching instances:
+        instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10
+      (The choice depends on the instantiation of ‘t0’)
+    • In the expression: eop [undefined]
+      In an equation for ‘bar’: bar _ = eop [undefined]
index 59aac31..72c11b0 100644 (file)
@@ -1,10 +1,10 @@
-\r
-IPFail.hs:6:18: error:\r
-    Could not deduce (Num Bool) arising from the literal ‘5’\r
-    from the context: ?x::Int\r
-      bound by the type signature for:\r
-                 f0 :: (?x::Int) => () -> Bool\r
-      at IPFail.hs:5:1-31\r
-    In the expression: 5\r
-    In the expression: let ?x = 5 in ?x\r
-    In an equation for ‘f0’: f0 () = let ?x = 5 in ?x\r
+
+IPFail.hs:6:18: error:
+    • Could not deduce (Num Bool) arising from the literal ‘5’
+      from the context: ?x::Int
+        bound by the type signature for:
+                   f0 :: (?x::Int) => () -> Bool
+        at IPFail.hs:5:1-31
+    • In the expression: 5
+      In the expression: let ?x = 5 in ?x
+      In an equation for ‘f0’: f0 () = let ?x = 5 in ?x
index 4a9e38e..b6a16d3 100644 (file)
@@ -1,6 +1,6 @@
-\r
-T10351.hs:6:1: error:\r
-    Non type-variable argument in the constraint: C [t]\r
-    (Use FlexibleContexts to permit this)\r
-    When checking the inferred type\r
-      f :: forall t. C [t] => t -> ()\r
+
+T10351.hs:6:1: error:
+    • Non type-variable argument in the constraint: C [t]
+      (Use FlexibleContexts to permit this)
+    • When checking the inferred type
+        f :: forall t. C [t] => t -> ()
index 101caab..e188a55 100644 (file)
@@ -1,12 +1,12 @@
-\r
-T1897a.hs:9:1: error:\r
-    Could not deduce (Wob a0 b)\r
-    from the context: Wob a b\r
-      bound by the inferred type for ‘foo’:\r
-                 Wob a b => b -> [b]\r
-      at T1897a.hs:9:1-24\r
-    The type variable ‘a0’ is ambiguous\r
-    In the ambiguity check for the inferred type for ‘foo’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    When checking the inferred type\r
-      foo :: forall a b. Wob a b => b -> [b]\r
+
+T1897a.hs:9:1: error:
+    • Could not deduce (Wob a0 b)
+      from the context: Wob a b
+        bound by the inferred type for ‘foo’:
+                   Wob a b => b -> [b]
+        at T1897a.hs:9:1-24
+      The type variable ‘a0’ is ambiguous
+    • In the ambiguity check for the inferred type for ‘foo’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the inferred type
+        foo :: forall a b. Wob a b => b -> [b]
index e55b693..7fe7f6d 100644 (file)
@@ -1,16 +1,18 @@
-\r
-T3592.hs:8:5:\r
-    No instance for (Show a) arising from a use of ‘show’\r
-    Possible fix:\r
-      add (Show a) to the context of\r
-        the type signature for: f :: T a -> String\r
-    In the expression: show\r
-    In an equation for ‘f’: f = show\r
-\r
-T3592.hs:11:7:\r
-    No instance for (Show a) arising from a use of ‘show’\r
-    Possible fix:\r
-      add (Show a) to the context of\r
-        the type signature for: g :: T a -> String\r
-    In the expression: show x\r
-    In an equation for ‘g’: g x = show x\r
+
+T3592.hs:8:5: error:
+    • No instance for (Show a) arising from a use of ‘show’
+      Possible fix:
+        add (Show a) to the context of
+          the type signature for:
+            f :: T a -> String
+    • In the expression: show
+      In an equation for ‘f’: f = show
+
+T3592.hs:11:7: error:
+    • No instance for (Show a) arising from a use of ‘show’
+      Possible fix:
+        add (Show a) to the context of
+          the type signature for:
+            g :: T a -> String
+    • In the expression: show x
+      In an equation for ‘g’: g x = show x
index a76ede1..f795746 100644 (file)
@@ -1,8 +1,8 @@
-\r
-T3966.hs:5:16: warning:\r
-    Ignoring unusable UNPACK pragma on the first argument of ‘Foo’\r
-    In the definition of data constructor ‘Foo’\r
-    In the data type declaration for ‘Foo’\r
-\r
-<no location info>: error: \r
-Failing due to -Werror.\r
+
+T3966.hs:5:16: warning:
+    • Ignoring unusable UNPACK pragma on the first argument of ‘Foo’
+    • In the definition of data constructor ‘Foo’
+      In the data type declaration for ‘Foo’
+
+<no location info>: error: 
+Failing due to -Werror.
index c436ab0..2ad01e8 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T5051.hs:8:30: Warning:\r
-    No explicit implementation for\r
-      either ‘==’ or ‘/=’\r
-    In the instance declaration for ‘Eq [T]’\r
+
+T5051.hs:8:30: warning:
+    • No explicit implementation for
+        either ‘==’ or ‘/=’
+    • In the instance declaration for ‘Eq [T]’
index 825218c..4a21aba 100644 (file)
@@ -1,14 +1,15 @@
-\r
-T5236.hs:13:9: error:\r
-    Couldn't match type ‘B’ with ‘A’\r
-      arising from a functional dependency between:\r
-        constraint ‘Id A B’\r
-          arising from the type signature for:\r
-                         loop :: Id A B => Bool\r
-        instance ‘Id B B’ at T5236.hs:11:10-15\r
-    Inaccessible code in\r
-      the type signature for:\r
-        loop :: Id A B => Bool\r
-    In the ambiguity check for ‘loop’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the type signature: loop :: Id A B => Bool\r
+
+T5236.hs:13:9: error:
+    • Couldn't match type ‘B’ with ‘A’
+        arising from a functional dependency between:
+          constraint ‘Id A B’
+            arising from the type signature for:
+                           loop :: Id A B => Bool
+          instance ‘Id B B’ at T5236.hs:11:10-15
+      Inaccessible code in
+        the type signature for:
+          loop :: Id A B => Bool
+    • In the ambiguity check for ‘loop’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        loop :: Id A B => Bool
index 61d44b2..e690095 100644 (file)
@@ -1,6 +1,6 @@
-\r
-T6022.hs:3:1: error:\r
-    Non type-variable argument in the constraint: Eq ([a] -> a)\r
-    (Use FlexibleContexts to permit this)\r
-    When checking the inferred type\r
-      f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool\r
+
+T6022.hs:3:1: error:
+    • Non type-variable argument in the constraint: Eq ([a] -> a)
+      (Use FlexibleContexts to permit this)
+    • When checking the inferred type
+        f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool
index ca30f48..1825bca 100644 (file)
@@ -1,10 +1,11 @@
-\r
-T7279.hs:6:10: error:\r
-    Could not deduce (Show b0)\r
-    from the context: (Eq a, Show b)\r
-      bound by an instance declaration: (Eq a, Show b) => Eq (T a)\r
-      at T7279.hs:6:10-35\r
-    The type variable ‘b0’ is ambiguous\r
-    In the ambiguity check for an instance declaration\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the instance declaration for ‘Eq (T a)’\r
+
+T7279.hs:6:10: error:
+    • Could not deduce (Show b0)
+      from the context: (Eq a, Show b)
+        bound by an instance declaration:
+                   (Eq a, Show b) => Eq (T a)
+        at T7279.hs:6:10-35
+      The type variable ‘b0’ is ambiguous
+    • In the ambiguity check for an instance declaration
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the instance declaration for ‘Eq (T a)’
index 47d8336..b4ac7a9 100644 (file)
@@ -1,4 +1,5 @@
-\r
-T7697.hs:3:6: error:\r
-    Expected a constraint, but ‘Int’ has kind ‘*’\r
-    In the type signature: f :: Int => Int\r
+
+T7697.hs:3:6: error:
+    • Expected a constraint, but ‘Int’ has kind ‘*’
+    • In the type signature:
+        f :: Int => Int
index 77a6029..1a2b1f7 100644 (file)
@@ -1,11 +1,11 @@
-\r
-T8034.hs:6:3: error:\r
-    Couldn't match type ‘F a0’ with ‘F a’\r
-    NB: ‘F’ is a type function, and may not be injective\r
-    The type variable ‘a0’ is ambiguous\r
-    Expected type: F a -> F a\r
-      Actual type: F a0 -> F a0\r
-    In the ambiguity check for ‘foo’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    When checking the class method: foo :: forall a. C a => F a -> F a\r
-    In the class declaration for ‘C’\r
+
+T8034.hs:6:3: error:
+    • Couldn't match type ‘F a0’ with ‘F a’
+      NB: ‘F’ is a type function, and may not be injective
+      The type variable ‘a0’ is ambiguous
+      Expected type: F a -> F a
+        Actual type: F a0 -> F a0
+    • In the ambiguity check for ‘foo’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the class method: foo :: forall a. C a => F a -> F a
+      In the class declaration for ‘C’
index 6795d9b..ba2c5e4 100644 (file)
@@ -1,8 +1,9 @@
-\r
-T8392a.hs:6:8: error:\r
-    Couldn't match type ‘Int’ with ‘Bool’\r
-    Inaccessible code in\r
-      the type signature for:\r
-        foo :: (Int ~ Bool) => a -> a\r
-    In the ambiguity check for ‘foo’\r
-    In the type signature: foo :: (Int ~ Bool) => a -> a\r
+
+T8392a.hs:6:8: error:
+    • Couldn't match type ‘Int’ with ‘Bool’
+      Inaccessible code in
+        the type signature for:
+          foo :: (Int ~ Bool) => a -> a
+    • In the ambiguity check for ‘foo’
+      In the type signature:
+        foo :: (Int ~ Bool) => a -> a
index 1e99f97..46121be 100644 (file)
@@ -1,7 +1,7 @@
-\r
-T9497d.hs:2:8: error:\r
-    Found hole: _main :: IO ()\r
-    Or perhaps ‘_main’ is mis-spelled, or not in scope\r
-    In the expression: _main\r
-    In an equation for ‘main’: main = _main\r
-    Relevant bindings include main :: IO () (bound at T9497d.hs:2:1)\r
+
+T9497d.hs:2:8: error:
+    • Found hole: _main :: IO ()
+      Or perhaps ‘_main’ is mis-spelled, or not in scope
+    • In the expression: _main
+      In an equation for ‘main’: main = _main
+    • Relevant bindings include main :: IO () (bound at T9497d.hs:2:1)
index 44a0618..f0f11f5 100644 (file)
@@ -1,12 +1,12 @@
-\r
-fd-loop.hs:12:10: error:\r
-    Variable ‘b’ occurs more often\r
-      in the constraint ‘C a b’ than in the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the instance declaration for ‘Eq (T a)’\r
-\r
-fd-loop.hs:12:10: error:\r
-    Variable ‘b’ occurs more often\r
-      in the constraint ‘Eq b’ than in the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the instance declaration for ‘Eq (T a)’\r
+
+fd-loop.hs:12:10: error:
+    • Variable ‘b’ occurs more often
+        in the constraint ‘C a b’ than in the instance head
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘Eq (T a)’
+
+fd-loop.hs:12:10: error:
+    • Variable ‘b’ occurs more often
+        in the constraint ‘Eq b’ than in the instance head
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘Eq (T a)’
index 2e3b7f1..6839c7b 100644 (file)
@@ -1,10 +1,10 @@
-\r
-tcfail019.hs:18:10:\r
-    No instance for (B [a])\r
-      arising from the superclasses of an instance declaration\r
-    In the instance declaration for ‘D [a]’\r
-\r
-tcfail019.hs:18:10:\r
-    No instance for (C [a])\r
-      arising from the superclasses of an instance declaration\r
-    In the instance declaration for ‘D [a]’\r
+
+tcfail019.hs:18:10: error:
+    • No instance for (B [a])
+        arising from the superclasses of an instance declaration
+    • In the instance declaration for ‘D [a]’
+
+tcfail019.hs:18:10: error:
+    • No instance for (C [a])
+        arising from the superclasses of an instance declaration
+    • In the instance declaration for ‘D [a]’
index 6fcd4ea..478aa7f 100644 (file)
@@ -1,5 +1,6 @@
-\r
-tcfail058.hs:6:7: error:\r
-    Expecting one more argument to ‘Array a’\r
-    Expected a constraint, but ‘Array a’ has kind ‘* -> *’\r
-    In the type signature: f :: (Array a) => a -> b\r
+
+tcfail058.hs:6:7: error:
+    • Expecting one more argument to ‘Array a’
+      Expected a constraint, but ‘Array a’ has kind ‘* -> *’
+    • In the type signature:
+        f :: (Array a) => a -> b
index d4185fe..935390e 100644 (file)
@@ -1,5 +1,6 @@
-\r
-tcfail063.hs:6:9: error:\r
-    Expecting one more argument to ‘Num’\r
-    Expected a constraint, but ‘Num’ has kind ‘* -> Constraint’\r
-    In the type signature: moby :: Num => Int -> a -> Int\r
+
+tcfail063.hs:6:9: error:
+    • Expecting one more argument to ‘Num’
+      Expected a constraint, but ‘Num’ has kind ‘* -> Constraint’
+    • In the type signature:
+        moby :: Num => Int -> a -> Int
index 0095d75..df7e024 100644 (file)
@@ -1,79 +1,80 @@
-\r
-tcfail067.hs:1:14: warning:\r
-    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.\r
-\r
-tcfail067.hs:12:16: error:\r
-    No instance for (Ord a) arising from a use of ‘SubRange’\r
-    Possible fix:\r
-      add (Ord a) to the context of\r
-        the type signature for:\r
-          subRangeValue :: SubRange a -> a\r
-    In the pattern: SubRange (lower, upper) value\r
-    In an equation for ‘subRangeValue’:\r
-        subRangeValue (SubRange (lower, upper) value) = value\r
-\r
-tcfail067.hs:15:11: error:\r
-    No instance for (Ord a) arising from a use of ‘SubRange’\r
-    Possible fix:\r
-      add (Ord a) to the context of\r
-        the type signature for:\r
-          subRange :: SubRange a -> (a, a)\r
-    In the pattern: SubRange r value\r
-    In an equation for ‘subRange’: subRange (SubRange r value) = r\r
-\r
-tcfail067.hs:46:12: error:\r
-    Could not deduce (Ord a) arising from a use of ‘SubRange’\r
-    from the context: Show a\r
-      bound by the type signature for:\r
-                 showRange :: Show a => SubRange a -> String\r
-      at tcfail067.hs:45:1-43\r
-    Possible fix:\r
-      add (Ord a) to the context of\r
-        the type signature for:\r
-          showRange :: Show a => SubRange a -> String\r
-    In the pattern: SubRange (lower, upper) value\r
-    In an equation for ‘showRange’:\r
-        showRange (SubRange (lower, upper) value)\r
-          = show value ++ " :" ++ show lower ++ ".." ++ show upper\r
-\r
-tcfail067.hs:61:12: error:\r
-    Could not deduce (Ord a) arising from a use of ‘numSubRangeNegate’\r
-    from the context: Num a\r
-      bound by the instance declaration at tcfail067.hs:60:10-34\r
-    Possible fix:\r
-      add (Ord a) to the context of the instance declaration\r
-    In the expression: numSubRangeNegate\r
-    In an equation for ‘negate’: negate = numSubRangeNegate\r
-    In the instance declaration for ‘Num (SubRange a)’\r
-\r
-tcfail067.hs:65:19: error:\r
-    Could not deduce (Ord a) arising from a use of ‘SubRange’\r
-    from the context: Num a\r
-      bound by the instance declaration at tcfail067.hs:60:10-34\r
-    Possible fix:\r
-      add (Ord a) to the context of the instance declaration\r
-    In the expression:\r
-      SubRange (fromInteger a, fromInteger a) (fromInteger a)\r
-    In an equation for ‘fromInteger’:\r
-        fromInteger a\r
-          = SubRange (fromInteger a, fromInteger a) (fromInteger a)\r
-    In the instance declaration for ‘Num (SubRange a)’\r
-\r
-tcfail067.hs:74:5: error:\r
-    Could not deduce (Ord a) arising from a use of ‘SubRange’\r
-    from the context: Num a\r
-      bound by the type signature for:\r
-                 numSubRangeBinOp :: Num a =>\r
-                                     (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a\r
-      at tcfail067.hs:(71,1)-(72,58)\r
-    Possible fix:\r
-      add (Ord a) to the context of\r
-        the type signature for:\r
-          numSubRangeBinOp :: Num a =>\r
-                              (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a\r
-    In the expression: SubRange (result, result) result\r
-    In an equation for ‘numSubRangeBinOp’:\r
-        numSubRangeBinOp op a b\r
-          = SubRange (result, result) result\r
-          where\r
-              result = (subRangeValue a) `op` (subRangeValue b)\r
+
+tcfail067.hs:1:14: warning:
+    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+
+tcfail067.hs:12:16: error:
+    • No instance for (Ord a) arising from a use of ‘SubRange’
+      Possible fix:
+        add (Ord a) to the context of
+          the type signature for:
+            subRangeValue :: SubRange a -> a
+    • In the pattern: SubRange (lower, upper) value
+      In an equation for ‘subRangeValue’:
+          subRangeValue (SubRange (lower, upper) value) = value
+
+tcfail067.hs:15:11: error:
+    • No instance for (Ord a) arising from a use of ‘SubRange’
+      Possible fix:
+        add (Ord a) to the context of
+          the type signature for:
+            subRange :: SubRange a -> (a, a)
+    • In the pattern: SubRange r value
+      In an equation for ‘subRange’: subRange (SubRange r value) = r
+
+tcfail067.hs:46:12: error:
+    • Could not deduce (Ord a) arising from a use of ‘SubRange’
+      from the context: Show a
+        bound by the type signature for:
+                   showRange :: Show a => SubRange a -> String
+        at tcfail067.hs:45:1-43
+      Possible fix:
+        add (Ord a) to the context of
+          the type signature for:
+            showRange :: Show a => SubRange a -> String
+    • In the pattern: SubRange (lower, upper) value
+      In an equation for ‘showRange’:
+          showRange (SubRange (lower, upper) value)
+            = show value ++ " :" ++ show lower ++ ".." ++ show upper
+
+tcfail067.hs:61:12: error:
+    • Could not deduce (Ord a)
+        arising from a use of ‘numSubRangeNegate’
+      from the context: Num a
+        bound by the instance declaration at tcfail067.hs:60:10-34
+      Possible fix:
+        add (Ord a) to the context of the instance declaration
+    • In the expression: numSubRangeNegate
+      In an equation for ‘negate’: negate = numSubRangeNegate
+      In the instance declaration for ‘Num (SubRange a)’
+
+tcfail067.hs:65:19: error:
+    • Could not deduce (Ord a) arising from a use of ‘SubRange’
+      from the context: Num a
+        bound by the instance declaration at tcfail067.hs:60:10-34
+      Possible fix:
+        add (Ord a) to the context of the instance declaration
+    • In the expression:
+        SubRange (fromInteger a, fromInteger a) (fromInteger a)
+      In an equation for ‘fromInteger’:
+          fromInteger a
+            = SubRange (fromInteger a, fromInteger a) (fromInteger a)
+      In the instance declaration for ‘Num (SubRange a)’
+
+tcfail067.hs:74:5: error:
+    • Could not deduce (Ord a) arising from a use of ‘SubRange’
+      from the context: Num a
+        bound by the type signature for:
+                   numSubRangeBinOp :: Num a =>
+                                       (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
+        at tcfail067.hs:(71,1)-(72,58)
+      Possible fix:
+        add (Ord a) to the context of
+          the type signature for:
+            numSubRangeBinOp :: Num a =>
+                                (a -> a -> a) -> SubRange a -> SubRange a -> SubRange a
+    • In the expression: SubRange (result, result) result
+      In an equation for ‘numSubRangeBinOp’:
+          numSubRangeBinOp op a b
+            = SubRange (result, result) result
+            where
+                result = (subRangeValue a) `op` (subRangeValue b)
index 21ca3aa..68e1202 100644 (file)
@@ -1,12 +1,12 @@
-\r
-tcfail080.hs:27:1: error:\r
-    Could not deduce (Collection c0 a)\r
-    from the context: Collection c a\r
-      bound by the inferred type for ‘q’:\r
-                 Collection c a => a -> Bool\r
-      at tcfail080.hs:27:1-27\r
-    The type variable ‘c0’ is ambiguous\r
-    In the ambiguity check for the inferred type for ‘q’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    When checking the inferred type\r
-      q :: forall (c :: * -> *) a. Collection c a => a -> Bool\r
+
+tcfail080.hs:27:1: error:
+    • Could not deduce (Collection c0 a)
+      from the context: Collection c a
+        bound by the inferred type for ‘q’:
+                   Collection c a => a -> Bool
+        at tcfail080.hs:27:1-27
+      The type variable ‘c0’ is ambiguous
+    • In the ambiguity check for the inferred type for ‘q’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the inferred type
+        q :: forall (c :: * -> *) a. Collection c a => a -> Bool
index 9fbd7c4..f5940ed 100644 (file)
@@ -1,11 +1,12 @@
-\r
-tcfail097.hs:5:6: error:\r
-    Could not deduce (Eq a0)\r
-    from the context: Eq a\r
-      bound by the type signature for:\r
-                 f :: Eq a => Int -> Int\r
-      at tcfail097.hs:5:6-23\r
-    The type variable ‘a0’ is ambiguous\r
-    In the ambiguity check for ‘f’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the type signature: f :: Eq a => Int -> Int\r
+
+tcfail097.hs:5:6: error:
+    • Could not deduce (Eq a0)
+      from the context: Eq a
+        bound by the type signature for:
+                   f :: Eq a => Int -> Int
+        at tcfail097.hs:5:6-23
+      The type variable ‘a0’ is ambiguous
+    • In the ambiguity check for ‘f’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        f :: Eq a => Int -> Int
index 0b2baf0..bc59975 100644 (file)
@@ -1,10 +1,11 @@
-\r
-tcfail098.hs:12:10: error:\r
-    Could not deduce (Bar a0)\r
-    from the context: Bar a\r
-      bound by an instance declaration: Bar a => Bar Bool\r
-      at tcfail098.hs:12:10-26\r
-    The type variable ‘a0’ is ambiguous\r
-    In the ambiguity check for an instance declaration\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the instance declaration for ‘Bar Bool’\r
+
+tcfail098.hs:12:10: error:
+    • Could not deduce (Bar a0)
+      from the context: Bar a
+        bound by an instance declaration:
+                   Bar a => Bar Bool
+        at tcfail098.hs:12:10-26
+      The type variable ‘a0’ is ambiguous
+    • In the ambiguity check for an instance declaration
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the instance declaration for ‘Bar Bool’
index 6ed4a47..7408754 100644 (file)
@@ -1,4 +1,4 @@
-\r
-tcfail100.hs:7:1: error:\r
-    The type synonym ‘A’ should have 1 argument, but has been given none\r
-    In the type synonym declaration for ‘B’\r
+
+tcfail100.hs:7:1: error:
+    • The type synonym ‘A’ should have 1 argument, but has been given none
+    • In the type synonym declaration for ‘B’
index 7c10f4a..f012dca 100644 (file)
@@ -1,4 +1,5 @@
-\r
-tcfail101.hs:9:6: error:\r
-    The type synonym ‘A’ should have 1 argument, but has been given none\r
-    In the type signature: f :: T A\r
+
+tcfail101.hs:9:6: error:
+    • The type synonym ‘A’ should have 1 argument, but has been given none
+    • In the type signature:
+        f :: T A
index 1f034ed..7cf8b4f 100644 (file)
@@ -1,13 +1,13 @@
-\r
-tcfail102.hs:1:14: warning:\r
-    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.\r
-\r
-tcfail102.hs:9:15: error:\r
-    Could not deduce (Integral (Ratio a)) arising from a use of ‘p’\r
-    from the context: Integral a\r
-      bound by the type signature for:\r
-                 f :: Integral a => P (Ratio a) -> P (Ratio a)\r
-      at tcfail102.hs:8:1-45\r
-    In the ‘p’ field of a record\r
-    In the expression: x {p = p x}\r
-    In an equation for ‘f’: f x = x {p = p x}\r
+
+tcfail102.hs:1:14: warning:
+    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+
+tcfail102.hs:9:15: error:
+    • Could not deduce (Integral (Ratio a)) arising from a use of ‘p’
+      from the context: Integral a
+        bound by the type signature for:
+                   f :: Integral a => P (Ratio a) -> P (Ratio a)
+        at tcfail102.hs:8:1-45
+    • In the ‘p’ field of a record
+      In the expression: x {p = p x}
+      In an equation for ‘f’: f x = x {p = p x}
index 235a781..4354386 100644 (file)
@@ -1,10 +1,10 @@
-\r
-tcfail106.hs:11:10:\r
-    No instance for (S Int)\r
-      arising from the superclasses of an instance declaration\r
-    In the instance declaration for ‘C Int’\r
-\r
-tcfail106.hs:14:10:\r
-    No instance for (S Int)\r
-      arising from the superclasses of an instance declaration\r
-    In the instance declaration for ‘D Int’\r
+
+tcfail106.hs:11:10: error:
+    • No instance for (S Int)
+        arising from the superclasses of an instance declaration
+    • In the instance declaration for ‘C Int’
+
+tcfail106.hs:14:10: error:
+    • No instance for (S Int)
+        arising from the superclasses of an instance declaration
+    • In the instance declaration for ‘D Int’
index 68b8262..2c53e0b 100644 (file)
@@ -1,5 +1,5 @@
-\r
-tcfail107.hs:13:9: error:\r
-    The type synonym ‘Const’ should have 2 arguments, but has been given 1\r
-    In the type signature:\r
-      test :: Thing (Const Int) -> Thing (Const Int)\r
+
+tcfail107.hs:13:9: error:
+    • The type synonym ‘Const’ should have 2 arguments, but has been given 1
+    • In the type signature:
+        test :: Thing (Const Int) -> Thing (Const Int)
index da76658..ce07df6 100644 (file)
@@ -1,6 +1,6 @@
-\r
-tcfail108.hs:7:10: error:\r
-    Variable ‘f’ occurs more often\r
-      in the constraint ‘Eq (f (Rec f))’ than in the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the instance declaration for ‘Eq (Rec f)’\r
+
+tcfail108.hs:7:10: error:
+    • Variable ‘f’ occurs more often
+        in the constraint ‘Eq (f (Rec f))’ than in the instance head
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘Eq (Rec f)’
index a9b070e..cb76cb1 100644 (file)
@@ -1,5 +1,6 @@
-\r
-tcfail110.hs:8:30: error:\r
-    Expecting one more argument to ‘Foo a’\r
-    Expected a type, but ‘Foo a’ has kind ‘* -> *’\r
-    In the type signature: bar :: String -> (forall a. Foo a) -> IO ()\r
+
+tcfail110.hs:8:30: error:
+    • Expecting one more argument to ‘Foo a’
+      Expected a type, but ‘Foo a’ has kind ‘* -> *’
+    • In the type signature:
+        bar :: String -> (forall a. Foo a) -> IO ()
index 723e6db..48976d1 100644 (file)
@@ -1,12 +1,12 @@
-\r
-tcfail116.hs:6:5: error:\r
-    Could not deduce (Foo a0)\r
-    from the context: Foo a\r
-      bound by the type signature for:\r
-                 bug :: Foo a => ()\r
-      at tcfail116.hs:6:5-13\r
-    The type variable ‘a0’ is ambiguous\r
-    In the ambiguity check for ‘bug’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    When checking the class method: bug :: forall a. Foo a => ()\r
-    In the class declaration for ‘Foo’\r
+
+tcfail116.hs:6:5: error:
+    • Could not deduce (Foo a0)
+      from the context: Foo a
+        bound by the type signature for:
+                   bug :: Foo a => ()
+        at tcfail116.hs:6:5-13
+      The type variable ‘a0’ is ambiguous
+    • In the ambiguity check for ‘bug’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the class method: bug :: forall a. Foo a => ()
+      In the class declaration for ‘Foo’
index 5d31a29..7946e88 100644 (file)
@@ -1,11 +1,12 @@
-\r
-tcfail125.hs:1:14: Warning:\r
-    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.\r
-\r
-tcfail125.hs:11:4:\r
-    No instance for (Show a) arising from a use of ‘LiftObs’\r
-    Possible fix:\r
-      add (Show a) to the context of\r
-        the type signature for: f :: Obs a -> String\r
-    In the pattern: LiftObs _ _\r
-    In an equation for ‘f’: f (LiftObs _ _) = "yes"\r
+
+tcfail125.hs:1:14: warning:
+    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+
+tcfail125.hs:11:4: error:
+    • No instance for (Show a) arising from a use of ‘LiftObs’
+      Possible fix:
+        add (Show a) to the context of
+          the type signature for:
+            f :: Obs a -> String
+    • In the pattern: LiftObs _ _
+      In an equation for ‘f’: f (LiftObs _ _) = "yes"
index 331ce03..3454552 100644 (file)
@@ -1,12 +1,12 @@
-\r
-tcfail129.hs:12:21: error:\r
-    The type synonym ‘Foo’ should have 1 argument, but has been given none\r
-    In an expression type signature: Bar Foo\r
-    In the expression: undefined :: Bar Foo\r
-    In an equation for ‘blah’: blah = undefined :: Bar Foo\r
-\r
-tcfail129.hs:17:22: error:\r
-    The type synonym ‘Foo1’ should have 1 argument, but has been given none\r
-    In an expression type signature: Bar1 Foo1\r
-    In the expression: undefined :: Bar1 Foo1\r
-    In an equation for ‘blah1’: blah1 = undefined :: Bar1 Foo1\r
+
+tcfail129.hs:12:21: error:
+    • The type synonym ‘Foo’ should have 1 argument, but has been given none
+    • In an expression type signature: Bar Foo
+      In the expression: undefined :: Bar Foo
+      In an equation for ‘blah’: blah = undefined :: Bar Foo
+
+tcfail129.hs:17:22: error:
+    • The type synonym ‘Foo1’ should have 1 argument, but has been given none
+    • In an expression type signature: Bar1 Foo1
+      In the expression: undefined :: Bar1 Foo1
+      In an equation for ‘blah1’: blah1 = undefined :: Bar1 Foo1
index 4ade82b..8e1170c 100644 (file)
@@ -1,6 +1,7 @@
-\r
-tcfail134.hs:5:33: error:\r
-    Expecting one more argument to ‘XML’\r
-    Expected a type, but ‘XML’ has kind ‘* -> Constraint’\r
-    In the type signature: toXML :: a -> XML\r
-    In the class declaration for ‘XML’\r
+
+tcfail134.hs:5:33: error:
+    • Expecting one more argument to ‘XML’
+      Expected a type, but ‘XML’ has kind ‘* -> Constraint’
+    • In the type signature:
+        toXML :: a -> XML
+      In the class declaration for ‘XML’
index bf95334..50186b6 100644 (file)
@@ -1,6 +1,7 @@
-\r
-tcfail135.hs:6:23: error:\r
-    Expecting one more argument to ‘f’\r
-    Expected a type, but ‘f’ has kind ‘k0 -> *’\r
-    In the type signature: baa :: f a -> f\r
-    In the class declaration for ‘Foo’\r
+
+tcfail135.hs:6:23: error:
+    • Expecting one more argument to ‘f’
+      Expected a type, but ‘f’ has kind ‘k0 -> *’
+    • In the type signature:
+        baa :: f a -> f
+      In the class declaration for ‘Foo’
index 1c854ac..3f52ef5 100644 (file)
@@ -1,12 +1,12 @@
-\r
-tcfail142.hs:18:8: error:\r
-    Could not deduce (Bar a0 r)\r
-    from the context: Bar a r\r
-      bound by the type signature for:\r
-                 bar :: Bar a r => r -> ()\r
-      at tcfail142.hs:18:8-25\r
-    The type variable ‘a0’ is ambiguous\r
-    In the ambiguity check for ‘bar’\r
-    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
-    In the type signature:\r
-      bar :: Bar a r => r -> ()\r
+
+tcfail142.hs:18:8: error:
+    • Could not deduce (Bar a0 r)
+      from the context: Bar a r
+        bound by the type signature for:
+                   bar :: Bar a r => r -> ()
+        at tcfail142.hs:18:8-25
+      The type variable ‘a0’ is ambiguous
+    • In the ambiguity check for ‘bar’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      In the type signature:
+        bar :: Bar a r => r -> ()
index c91d404..9d63f63 100644 (file)
@@ -1,8 +1,8 @@
-\r
-tcfail150.hs:6:3:\r
-    Constraint ‘Eq a’ in the type of ‘op’\r
-      constrains only the class type variables\r
-    Use ConstrainedClassMethods to allow it\r
-    When checking the class method:\r
-      op :: forall a. (Foo a, Eq a) => a -> a\r
-    In the class declaration for ‘Foo’\r
+
+tcfail150.hs:6:3: error:
+    • Constraint ‘Eq a’ in the type of ‘op’
+        constrains only the class type variables
+      Use ConstrainedClassMethods to allow it
+    • When checking the class method:
+        op :: forall a. (Foo a, Eq a) => a -> a
+      In the class declaration for ‘Foo’
index 903f61b..0b42e0d 100644 (file)
@@ -1,6 +1,6 @@
-\r
-tcfail154.hs:12:10: error:\r
-    Variable ‘a’ occurs more often\r
-      in the constraint ‘C a a’ than in the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the instance declaration for ‘Eq (T a)’\r
+
+tcfail154.hs:12:10: error:
+    • Variable ‘a’ occurs more often
+        in the constraint ‘C a a’ than in the instance head
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘Eq (T a)’
index 5716f77..868daaf 100644 (file)
@@ -1,6 +1,6 @@
-\r
-tcfail155.hs:8:6: error:\r
-    Data constructor ‘P’ returns type ‘L2’\r
-      instead of an instance of its parent type ‘T a’\r
-    In the definition of data constructor ‘P’\r
-    In the data type declaration for ‘T’\r
+
+tcfail155.hs:8:6: error:
+    • Data constructor ‘P’ returns type ‘L2’
+        instead of an instance of its parent type ‘T a’
+    • In the definition of data constructor ‘P’
+      In the data type declaration for ‘T’
index 113e0cc..edc0506 100644 (file)
@@ -1,12 +1,12 @@
-\r
-tcfail157.hs:27:10: error:\r
-    Variable ‘b’ occurs more often\r
-      in the constraint ‘E m a b’ than in the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the instance declaration for ‘Foo m (a -> ())’\r
-\r
-tcfail157.hs:27:10: error:\r
-    Variable ‘b’ occurs more often\r
-      in the constraint ‘Foo m b’ than in the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the instance declaration for ‘Foo m (a -> ())’\r
+
+tcfail157.hs:27:10: error:
+    • Variable ‘b’ occurs more often
+        in the constraint ‘E m a b’ than in the instance head
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘Foo m (a -> ())’
+
+tcfail157.hs:27:10: error:
+    • Variable ‘b’ occurs more often
+        in the constraint ‘Foo m b’ than in the instance head
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘Foo m (a -> ())’
index 4110f87..12f8a4e 100644 (file)
@@ -1,5 +1,6 @@
-\r
-tcfail158.hs:14:19: error:\r
-    Expecting one more argument to ‘Val v’\r
-    Expected a type, but ‘Val v’ has kind ‘* -> *’\r
-    In the type signature: bar :: forall v. Val v\r
+
+tcfail158.hs:14:19: error:
+    • Expecting one more argument to ‘Val v’
+      Expected a type, but ‘Val v’ has kind ‘* -> *’
+    • In the type signature:
+        bar :: forall v. Val v
index e274c5d..3700a76 100644 (file)
@@ -1,8 +1,8 @@
-\r
-tcfail167.hs:14:14:\r
-    Couldn't match type ‘Char’ with ‘Float’\r
-    Inaccessible code in\r
-      a pattern with constructor: C2 :: T Float,\r
-      in an equation for ‘inaccessible’\r
-    In the pattern: C2\r
-    In an equation for ‘inaccessible’: inaccessible C2 = ' '\r
+
+tcfail167.hs:14:14: error:
+    • Couldn't match type ‘Char’ with ‘Float’
+      Inaccessible code in
+        a pattern with constructor: C2 :: T Float,
+        in an equation for ‘inaccessible’
+    • In the pattern: C2
+      In an equation for ‘inaccessible’: inaccessible C2 = ' '
index 9c7a786..4c1068b 100644 (file)
@@ -1,8 +1,9 @@
-\r
-tcfail171.hs:9:10:\r
-    No instance for (PrintfType b) arising from a use of ‘printf’\r
-    Possible fix:\r
-      add (PrintfType b) to the context of\r
-        the type signature for: phex :: a -> b\r
-    In the expression: printf "0x%x" x\r
-    In an equation for ‘phex’: phex x = printf "0x%x" x\r
+
+tcfail171.hs:9:10: error:
+    • No instance for (PrintfType b) arising from a use of ‘printf’
+      Possible fix:
+        add (PrintfType b) to the context of
+          the type signature for:
+            phex :: a -> b
+    • In the expression: printf "0x%x" x
+      In an equation for ‘phex’: phex x = printf "0x%x" x
index bf74d81..9b38bca 100644 (file)
@@ -1,8 +1,8 @@
-\r
-tcfail186.hs:7:9:\r
-    Couldn't match type ‘[Char]’ with ‘Int’\r
-    Expected type: PhantomSyn a0\r
-      Actual type: [Char]\r
-    In the first argument of ‘f’, namely ‘"hoo"’\r
-    In the expression: f "hoo"\r
-    In an equation for ‘foo’: foo = f "hoo"\r
+
+tcfail186.hs:7:9: error:
+    • Couldn't match type ‘[Char]’ with ‘Int’
+      Expected type: PhantomSyn a0
+        Actual type: [Char]
+    • In the first argument of ‘f’, namely ‘"hoo"’
+      In the expression: f "hoo"
+      In an equation for ‘foo’: foo = f "hoo"
index 9dec6ba..904b795 100644 (file)
@@ -1,5 +1,5 @@
-\r
-tcfail187.hs:7:6: error:\r
-    The constructor ‘:::’ should have no arguments, but has been given 2\r
-    In the pattern: x ::: y\r
-    In an equation for ‘foo’: foo (x ::: y) = ()\r
+
+tcfail187.hs:7:6: error:
+    • The constructor ‘:::’ should have no arguments, but has been given 2
+    • In the pattern: x ::: y
+      In an equation for ‘foo’: foo (x ::: y) = ()
index f4384d9..1d2f315 100644 (file)
@@ -1,5 +1,5 @@
-\r
-tcfail209.hs:3:1: error:\r
-    Illegal constraint synonym of kind: ‘* -> Constraint’\r
-      (Use ConstraintKinds to permit this)\r
-    In the type synonym declaration for ‘Showish’\r
+
+tcfail209.hs:3:1: error:
+    • Illegal constraint synonym of kind: ‘* -> Constraint’
+        (Use ConstraintKinds to permit this)
+    • In the type synonym declaration for ‘Showish’
index d3da3df..1ccd64f 100644 (file)
@@ -1,5 +1,6 @@
-\r
-tcfail209a.hs:3:6: error:\r
-    Illegal tuple constraint: (Show a, Num a)\r
-      (Use ConstraintKinds to permit this)\r
-    In the type signature: g :: ((Show a, Num a), Eq a) => a -> a\r
+
+tcfail209a.hs:3:6: error:
+    • Illegal tuple constraint: (Show a, Num a)
+        (Use ConstraintKinds to permit this)
+    • In the type signature:
+        g :: ((Show a, Num a), Eq a) => a -> a
index a29b758..d9648bf 100644 (file)
@@ -1,7 +1,7 @@
-\r
-tcfail213.hs:8:1: error:\r
-    Illegal constraint ‘F a’ in a superclass context\r
-      (Use UndecidableInstances to permit this)\r
-    In the context: F a\r
-    While checking the super-classes of class ‘C’\r
-    In the class declaration for ‘C’\r
+
+tcfail213.hs:8:1: error:
+    • Illegal constraint ‘F a’ in a superclass context
+        (Use UndecidableInstances to permit this)
+    • In the context: F a
+      While checking the super-classes of class ‘C’
+      In the class declaration for ‘C’
index a2741b8..c6a4387 100644 (file)
@@ -1,5 +1,5 @@
-\r
-tcfail214.hs:9:10: error:\r
-    The constraint ‘F a’ is no smaller than the instance head\r
-    (Use UndecidableInstances to permit this)\r
-    In the instance declaration for ‘C [a]’\r
+
+tcfail214.hs:9:10: error:
+    • The constraint ‘F a’ is no smaller than the instance head
+      (Use UndecidableInstances to permit this)
+    • In the instance declaration for ‘C [a]’
index df27691..d05abd5 100644 (file)
@@ -1,4 +1,5 @@
-\r
-tcfail215.hs:8:15: error:\r
-    Expecting a lifted type, but ‘Int#’ is unlifted\r
-    In the type signature: foo :: (?x :: Int#) => Int\r
+
+tcfail215.hs:8:15: error:
+    • Expecting a lifted type, but ‘Int#’ is unlifted
+    • In the type signature:
+        foo :: (?x :: Int#) => Int
index 1293b78..c600ee3 100644 (file)
@@ -1,4 +1,4 @@
-[1 of 1] Compiling ShouldFail[sig of Data.STRef] ( tcfail222.hsig, nothing )\r
-\r
-<no location info>:\r
-    ‘newSTRef’ is exported by the hsig file, but not exported by the module\r
+[1 of 1] Compiling ShouldFail[sig of Data.STRef] ( tcfail222.hsig, nothing )
+
+<no location info>: error:
+    ‘newSTRef’ is exported by the hsig file, but not exported by the module