Testsuite stuff from previous commit
authorRichard Eisenberg <eir@cis.upenn.edu>
Sun, 28 Jun 2015 20:55:09 +0000 (16:55 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Sun, 28 Jun 2015 20:55:09 +0000 (16:55 -0400)
114 files changed:
compiler/typecheck/TcBinds.hs
testsuite/tests/gadt/gadt-escape1.stderr
testsuite/tests/gadt/gadt13.stderr
testsuite/tests/gadt/gadt7.stderr
testsuite/tests/ghc-api/annotations/T10280.stderr
testsuite/tests/ghc-api/annotations/T10357.stderr
testsuite/tests/ghci.debugger/scripts/break012.stdout
testsuite/tests/ghci.debugger/scripts/print003.stdout
testsuite/tests/ghci.debugger/scripts/print006.stdout
testsuite/tests/ghci.debugger/scripts/print008.stdout
testsuite/tests/ghci.debugger/scripts/print010.stdout
testsuite/tests/ghci.debugger/scripts/print012.stdout
testsuite/tests/ghci.debugger/scripts/print019.stdout
testsuite/tests/ghci.debugger/scripts/print034.stdout
testsuite/tests/ghci/prog009/ghci.prog009.stdout
testsuite/tests/ghci/scripts/Defer02.stderr
testsuite/tests/ghci/scripts/T10122.stdout
testsuite/tests/ghci/scripts/T10321.stdout
testsuite/tests/ghci/scripts/T2766.stdout
testsuite/tests/ghci/scripts/T7587.stdout
testsuite/tests/ghci/scripts/T7627.stdout
testsuite/tests/ghci/scripts/T7688.stdout
testsuite/tests/ghci/scripts/T7730.stdout
testsuite/tests/ghci/scripts/T7939.stdout
testsuite/tests/ghci/scripts/T8776.stdout
testsuite/tests/ghci/scripts/T8959.stdout
testsuite/tests/ghci/scripts/T8959b.stderr
testsuite/tests/ghci/scripts/T9658.stdout
testsuite/tests/ghci/scripts/ghci001.stdout
testsuite/tests/ghci/scripts/ghci013.stdout
testsuite/tests/ghci/scripts/ghci023.stdout
testsuite/tests/ghci/scripts/ghci036.stdout
testsuite/tests/ghci/scripts/ghci038.stdout
testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr
testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr
testsuite/tests/indexed-types/should_fail/T1897b.stderr
testsuite/tests/indexed-types/should_fail/T2693.stderr
testsuite/tests/indexed-types/should_fail/T7354.stderr
testsuite/tests/indexed-types/should_fail/T7354a.stderr
testsuite/tests/indexed-types/should_fail/T8518.stderr
testsuite/tests/indexed-types/should_fail/T9171.stderr
testsuite/tests/module/mod121.stderr
testsuite/tests/module/mod147.stderr
testsuite/tests/module/mod160.stderr
testsuite/tests/module/mod71.stderr
testsuite/tests/module/mod72.stderr
testsuite/tests/module/mod87.stderr
testsuite/tests/module/mod97.stderr
testsuite/tests/parser/should_fail/T7848.stderr
testsuite/tests/parser/should_fail/readFail003.stderr
testsuite/tests/partial-sigs/should_compile/T10403.stderr
testsuite/tests/partial-sigs/should_compile/T10438.stderr
testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr
testsuite/tests/partial-sigs/should_fail/Defaulting1MROff.stderr
testsuite/tests/partial-sigs/should_fail/TidyClash.stderr
testsuite/tests/partial-sigs/should_fail/Trac10045.stderr
testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.stderr
testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.stderr
testsuite/tests/partial-sigs/should_run/GHCiWildcardKind.stdout
testsuite/tests/patsyn/should_run/ghci.stdout
testsuite/tests/polykinds/T6068.stdout
testsuite/tests/polykinds/T7438.stderr
testsuite/tests/polykinds/T7594.stderr
testsuite/tests/rename/should_fail/T2993.stderr
testsuite/tests/rename/should_fail/T7937.stderr
testsuite/tests/rename/should_fail/mc13.stderr
testsuite/tests/rename/should_fail/mc14.stderr
testsuite/tests/roles/should_compile/Roles1.stderr
testsuite/tests/safeHaskell/ghci/p16.stderr
testsuite/tests/safeHaskell/ghci/p4.stderr
testsuite/tests/safeHaskell/ghci/p6.stderr
testsuite/tests/typecheck/should_compile/T10072.stderr
testsuite/tests/typecheck/should_compile/holes.stderr
testsuite/tests/typecheck/should_compile/holes3.stderr
testsuite/tests/typecheck/should_compile/tc141.stderr
testsuite/tests/typecheck/should_compile/tc168.stderr
testsuite/tests/typecheck/should_compile/tc211.stderr
testsuite/tests/typecheck/should_fail/FDsFromGivens2.stderr
testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr
testsuite/tests/typecheck/should_fail/T10351.stderr
testsuite/tests/typecheck/should_fail/T1897a.stderr
testsuite/tests/typecheck/should_fail/T2534.stderr
testsuite/tests/typecheck/should_fail/T5853.stderr
testsuite/tests/typecheck/should_fail/T6022.stderr
testsuite/tests/typecheck/should_fail/T7264.stderr
testsuite/tests/typecheck/should_fail/T7453.stderr
testsuite/tests/typecheck/should_fail/T7734.stderr
testsuite/tests/typecheck/should_fail/T7857.stderr
testsuite/tests/typecheck/should_fail/T7869.stderr
testsuite/tests/typecheck/should_fail/T8142.stderr
testsuite/tests/typecheck/should_fail/T8262.stderr
testsuite/tests/typecheck/should_fail/T8883.stderr
testsuite/tests/typecheck/should_fail/T9109.stderr
testsuite/tests/typecheck/should_fail/mc22.stderr
testsuite/tests/typecheck/should_fail/mc23.stderr
testsuite/tests/typecheck/should_fail/mc24.stderr
testsuite/tests/typecheck/should_fail/mc25.stderr
testsuite/tests/typecheck/should_fail/tcfail002.stderr
testsuite/tests/typecheck/should_fail/tcfail004.stderr
testsuite/tests/typecheck/should_fail/tcfail005.stderr
testsuite/tests/typecheck/should_fail/tcfail013.stderr
testsuite/tests/typecheck/should_fail/tcfail016.stderr
testsuite/tests/typecheck/should_fail/tcfail032.stderr
testsuite/tests/typecheck/should_fail/tcfail033.stderr
testsuite/tests/typecheck/should_fail/tcfail049.stderr
testsuite/tests/typecheck/should_fail/tcfail050.stderr
testsuite/tests/typecheck/should_fail/tcfail080.stderr
testsuite/tests/typecheck/should_fail/tcfail099.stderr
testsuite/tests/typecheck/should_fail/tcfail122.stderr
testsuite/tests/typecheck/should_fail/tcfail140.stderr
testsuite/tests/typecheck/should_fail/tcfail174.stderr
testsuite/tests/typecheck/should_fail/tcfail178.stderr
testsuite/tests/typecheck/should_fail/tcfail181.stderr
testsuite/tests/typecheck/should_fail/tcfail198.stderr

index 5e4200d..03178b1 100644 (file)
@@ -33,14 +33,14 @@ import ConLike
 import Inst( deeplyInstantiate )
 import FamInstEnv( normaliseType )
 import FamInst( tcGetFamInstEnvs )
-import Type( pprSigmaTypeExtraCts )
+import Type( pprSigmaTypeExtraCts, tidyOpenTypes )
 import TyCon
 import TcType
 import TysPrim
 import Id
 import Var
 import VarSet
-import VarEnv( TidyEnv )
+import VarEnv( TidyEnv, emptyTidyEnv )
 import Module
 import Name
 import NameSet
@@ -745,9 +745,11 @@ completeTheta inferred_theta
     mk_msg inferred_diff suppress_hint
        = vcat [ hang ((text "Found hole") <+> quotes (char '_'))
                    2 (text "with inferred constraints:")
-                      <+> pprTheta inferred_diff
+                      <+> pprTheta tidy_diff
               , if suppress_hint then empty else pts_hint
               , typeSigCtxt sig ]
+      where
+        (_, tidy_diff) = tidyOpenTypes emptyTidyEnv inferred_diff
 
 {-
 Note [Partial type signatures and generalisation]
index a8df3a5..359fae7 100644 (file)
@@ -1,17 +1,17 @@
 
-gadt-escape1.hs:19:58:
-    Couldn't match type ‘t’ with ‘ExpGADT Int’
-      ‘t’ is untouchable
-        inside the constraints: t1 ~ Int
+gadt-escape1.hs:19:58: error:
+    Couldn't match type ‘t0’ with ‘ExpGADT Int’
+      ‘t0’ is untouchable
+        inside the constraints: t ~ Int
         bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int,
                  in a case alternative
         at gadt-escape1.hs:19:43-50
-      ‘t’ is a rigid type variable bound by
-          the inferred type of weird1 :: t at gadt-escape1.hs:19:1
+    ‘t0’ is a rigid type variable bound by
+         the inferred type of weird1 :: t0 at gadt-escape1.hs:19:1
     Possible fix: add a type signature for ‘weird1’
-    Expected type: t
-      Actual type: ExpGADT t1
+    Expected type: t0
+      Actual type: ExpGADT t
     Relevant bindings include
-      weird1 :: t (bound at gadt-escape1.hs:19:1)
+      weird1 :: t0 (bound at gadt-escape1.hs:19:1)
     In the expression: a
     In a case alternative: Hidden (ExpInt _) a -> a
index db3fb99..f35b089 100644 (file)
@@ -1,16 +1,16 @@
 
-gadt13.hs:15:13:
-    Couldn't match expected type ‘t’
+gadt13.hs:15:13: error:
+    Couldn't match expected type ‘t0
                 with actual type ‘String -> [Char]’
-      ‘t’ is untouchable
+      ‘t0’ is untouchable
         inside the constraints: t1 ~ Int
         bound by a pattern with constructor: I :: Int -> Term Int,
                  in an equation for ‘shw’
         at gadt13.hs:15:6-8
-      ‘t’ is a rigid type variable bound by
-          the inferred type of shw :: Term t1 -> t at gadt13.hs:15:1
+    ‘t0’ is a rigid type variable bound by
+         the inferred type of shw :: Term t1 -> t0 at gadt13.hs:15:1
     Possible fix: add a type signature for ‘shw’
     Relevant bindings include
-      shw :: Term t1 -> t (bound at gadt13.hs:15:1)
+      shw :: Term t1 -> t0 (bound at gadt13.hs:15:1)
     In the expression: ("I " ++) . shows t
     In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t
index 89c05c5..86fbb10 100644 (file)
@@ -1,19 +1,19 @@
 
-gadt7.hs:16:38:
-    Couldn't match expected type ‘t’ with actual type ‘r
-      ‘r’ is untouchable
+gadt7.hs:16:38: error:
+    Couldn't match expected type ‘t0’ with actual type ‘r0
+      ‘r0’ is untouchable
         inside the constraints: t1 ~ Int
         bound by a pattern with constructor: K :: T Int,
                  in a case alternative
         at gadt7.hs:16:33
-      ‘r’ is a rigid type variable bound by
-          the inferred type of i1b :: T t1 -> r -> t at gadt7.hs:16:1
-      ‘t’ is a rigid type variable bound by
-          the inferred type of i1b :: T t1 -> r -> t at gadt7.hs:16:1
+    ‘r0’ is a rigid type variable bound by
+         the inferred type of i1b :: T t1 -> r0 -> t0 at gadt7.hs:16:1
+    ‘t0’ is a rigid type variable bound by
+         the inferred type of i1b :: T t1 -> r0 -> t0 at gadt7.hs:16:1
     Possible fix: add a type signature for ‘i1b’
     Relevant bindings include
-      y1 :: r (bound at gadt7.hs:16:16)
-      y :: r (bound at gadt7.hs:16:7)
-      i1b :: T t1 -> r -> t (bound at gadt7.hs:16:1)
+      y1 :: r0 (bound at gadt7.hs:16:16)
+      y :: r0 (bound at gadt7.hs:16:7)
+      i1b :: T t1 -> r0 -> t0 (bound at gadt7.hs:16:1)
     In the expression: y1
     In a case alternative: K -> y1
index f2a2a56..c7a7e2d 100644 (file)
@@ -1,8 +1,8 @@
-\r
-Test10280.hs:4:8: error:\r
-    Variable not in scope:\r
-      atomicModifyIORef :: t0 -> (a0 -> (b0, ())) -> t\r
-\r
-Test10280.hs:4:26: error: Variable not in scope: ciTokens\r
-\r
-Test10280.hs:4:44: error: Variable not in scope: f :: a0 -> b0\r
+
+Test10280.hs:4:8: error:
+    Variable not in scope:
+      atomicModifyIORef :: t0 -> (a0 -> (b0, ())) -> t1
+
+Test10280.hs:4:26: error: Variable not in scope: ciTokens
+
+Test10280.hs:4:44: error: Variable not in scope: f :: a0 -> b0
index b394ffa..35de4b1 100644 (file)
@@ -1,37 +1,37 @@
-\r
-Test10357.hs:4:13: error: Variable not in scope: one\r
-\r
-Test10357.hs:4:19: error: Variable not in scope: x\r
-\r
-Test10357.hs:5:7: error:\r
-    Variable not in scope: multPoly :: t3 -> t4 -> t\r
-\r
-Test10357.hs:6:10: error:\r
-    Variable not in scope: poly :: t0 -> [Double] -> t3\r
-\r
-Test10357.hs:6:15: error:\r
-    Data constructor not in scope: LE\r
-    Perhaps you meant ‘LT’ (imported from Prelude)\r
-\r
-Test10357.hs:7:10: error:\r
-    Variable not in scope: addPoly :: t5 -> t6 -> t4\r
-\r
-Test10357.hs:7:19: error:\r
-    Variable not in scope: poly :: t1 -> [Double] -> t7\r
-\r
-Test10357.hs:7:24: error:\r
-    Data constructor not in scope: LE\r
-    Perhaps you meant ‘LT’ (imported from Prelude)\r
-\r
-Test10357.hs:7:43: error:\r
-    Variable not in scope: multPoly :: t7 -> t -> t5\r
-\r
-Test10357.hs:8:19: error:\r
-    Variable not in scope: poly :: t2 -> [Double] -> t8\r
-\r
-Test10357.hs:8:24: error:\r
-    Data constructor not in scope: LE\r
-    Perhaps you meant ‘LT’ (imported from Prelude)\r
-\r
-Test10357.hs:8:43: error:\r
-    Variable not in scope: multPoly :: t8 -> t -> t6\r
+
+Test10357.hs:4:13: error: Variable not in scope: one
+
+Test10357.hs:4:19: error: Variable not in scope: x
+
+Test10357.hs:5:7: error:
+    Variable not in scope: multPoly :: t3 -> t4 -> t9
+
+Test10357.hs:6:10: error:
+    Variable not in scope: poly :: t0 -> [Double] -> t3
+
+Test10357.hs:6:15: error:
+    Data constructor not in scope: LE
+    Perhaps you meant ‘LT’ (imported from Prelude)
+
+Test10357.hs:7:10: error:
+    Variable not in scope: addPoly :: t5 -> t6 -> t4
+
+Test10357.hs:7:19: error:
+    Variable not in scope: poly :: t1 -> [Double] -> t7
+
+Test10357.hs:7:24: error:
+    Data constructor not in scope: LE
+    Perhaps you meant ‘LT’ (imported from Prelude)
+
+Test10357.hs:7:43: error:
+    Variable not in scope: multPoly :: t7 -> t9 -> t5
+
+Test10357.hs:8:19: error:
+    Variable not in scope: poly :: t2 -> [Double] -> t8
+
+Test10357.hs:8:24: error:
+    Data constructor not in scope: LE
+    Perhaps you meant ‘LT’ (imported from Prelude)
+
+Test10357.hs:8:43: error:
+    Variable not in scope: multPoly :: t8 -> t9 -> t6
index 70fa0f3..fbc829c 100644 (file)
@@ -7,7 +7,7 @@ b :: a2 -> a2 = _
 c :: () = _
 d :: a -> a -> a = _
 a :: t
-b :: a2 -> a2
+b :: a20 -> a20
 c :: ()
 d :: a -> a -> a
 a = (_t1::t)
index 74f18d2..8057bc0 100644 (file)
@@ -1,13 +1,13 @@
-t = O (_t1::a)
+t = O (_t1::a0)
 t :: Opaque = O _
-_t1 :: a = _
+_t1 :: a0 = _
 ()
-t = O ((_t2::a1) : (_t3::[a1]))
+t = O ((_t2::a0) : (_t3::[a1]))
 t :: Opaque = O (_ : _)
 _t1 :: [a] = _ : _
 it :: () = ()
 _t3 :: [a1] = _
-_t2 :: a1 = _
+_t2 :: a0 = _
 ()
 t = O (Just [1,1] : (_t4::[Maybe [Integer]]))
 ()
index 1cf7de8..758b1d2 100644 (file)
@@ -1,8 +1,8 @@
-t = O (_t1::a)
+t = O (_t1::a0)
 ()
-t = O ((_t2::a1) : (_t3::[a1]))
+t = O ((_t2::a0) : (_t3::[a1]))
 ()
-t = O ((_t4::a2) : (_t5::a2) : (_t6::[a2]))
+t = O ((_t4::a0) : (_t5::a2) : (_t6::[a2]))
 ()
 t = O ((_t7::Maybe [Integer]) : Just [2,2] :
        (_t8::[Maybe [Integer]]))
index 08bdbf7..70d1c69 100644 (file)
@@ -1,7 +1,7 @@
-t = O (_t1::a)
-_t1 :: a
+t = O (_t1::a0)
+_t1 :: a0
 ()
-t = O ((_t2::a1) : (_t3::[a1]))
+t = O ((_t2::a0) : (_t3::[a1]))
 ()
 t = O (Just [1,1] : (_t4::[Maybe [Integer]]))
 _t4 :: [Maybe [Integer]]
index b390d25..a5e34a4 100644 (file)
@@ -1,6 +1,6 @@
-o = O (_t1::a)
+o = O (_t1::a0)
 ()
-o = O ((_t2::a1) : (_t3::[a1]))
+o = O ((_t2::a0) : (_t3::[a1]))
 ()
 3
 o = O [0,(_t4::Integer),(_t5::Integer),(_t6::Integer)]
index 905ac76..e77bb39 100644 (file)
@@ -1,6 +1,6 @@
-o = O (_t1::a)
+o = O (_t1::a0)
 ()
 _t1 :: SafeList Integer NonEmpty
-o = O (Cons 3 (_t4::SafeList Integer y))
+o = O (Cons 3 (_t4::SafeList Integer y0))
 ()
-o = O (Cons 3 (Cons 6 (_t9::SafeList Integer y)))
+o = O (Cons 3 (Cons 6 (_t9::SafeList Integer y0)))
index 5d83c8c..f497209 100644 (file)
@@ -1,4 +1,4 @@
-o = O (_t1::a)
+o = O (_t1::a0)
 ()
 _t1 :: SafeList Bool NonEmpty
 o = O (One False (_t4::SafeList Bool Empty))
index 74d4c49..f5c5f8d 100644 (file)
@@ -1,8 +1,8 @@
-nub :: Eq a => [a] -> [a]\r
-"tan"\r
-nub :: Eq a => [a] -> [a]\r
-"tan"\r
-nub :: Eq a => [a] -> [a]\r
-A                ( A.hs, interpreted )\r
-nub :: Eq a => [a] -> [a]\r
-"tan"\r
+nub :: Eq a0 => [a0] -> [a0]
+"tan"
+nub :: Eq a0 => [a0] -> [a0]
+"tan"
+nub :: Eq a0 => [a0] -> [a0]
+A                ( A.hs, interpreted )
+nub :: Eq a0 => [a0] -> [a0]
+"tan"
index b5b3373..8fc6ca5 100644 (file)
@@ -32,9 +32,9 @@
     In an equation for ‘d’: d = 1
 
 ../../typecheck/should_run/Defer01.hs:31:5: warning:
-    Couldn't match expected type ‘Char -> t’ with actual type ‘Char’
+    Couldn't match expected type ‘Char -> t0’ with actual type ‘Char’
     Relevant bindings include
-      f :: t (bound at ../../typecheck/should_run/Defer01.hs:31:1)
+      f :: t0 (bound at ../../typecheck/should_run/Defer01.hs:31:1)
     The function ‘e’ is applied to one argument,
     but its type ‘Char’ has none
     In the expression: e 'q'
     In the expression: (x, 'c')
 
 ../../typecheck/should_run/Defer01.hs:39:17: warning:
-    Couldn't match expected type ‘Bool’ with actual type ‘T a’
+    Couldn't match expected type ‘Bool’ with actual type ‘T a2
     Relevant bindings include
-      a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3)
-      i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1)
+      a :: a2 (bound at ../../typecheck/should_run/Defer01.hs:39:3)
+      i :: a2 -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1)
     In the first argument of ‘not’, namely ‘(K a)’
     In the expression: (not (K a))
 
     In an equation for ‘d’: d = 1
 (deferred type error)
 *** Exception: ../../typecheck/should_run/Defer01.hs:31:5: error:
-    Couldn't match expected type ‘Char -> t’ with actual type ‘Char’
+    Couldn't match expected type ‘Char -> t0’ with actual type ‘Char’
     Relevant bindings include
-      f :: t (bound at ../../typecheck/should_run/Defer01.hs:31:1)
+      f :: t0 (bound at ../../typecheck/should_run/Defer01.hs:31:1)
     The function ‘e’ is applied to one argument,
     but its type ‘Char’ has none
     In the expression: e 'q'
     In the expression: (x, 'c')
 (deferred type error)
 *** Exception: ../../typecheck/should_run/Defer01.hs:39:17: error:
-    Couldn't match expected type ‘Bool’ with actual type ‘T a’
+    Couldn't match expected type ‘Bool’ with actual type ‘T a2
     Relevant bindings include
-      a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3)
-      i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1)
+      a :: a2 (bound at ../../typecheck/should_run/Defer01.hs:39:3)
+      i :: a2 -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1)
     In the first argument of ‘not’, namely ‘(K a)’
     In the expression: (not (K a))
 (deferred type error)
index c79a871..1bce96f 100644 (file)
@@ -1,2 +1,2 @@
-T :: (k -> *) -> k -> *
-T :: forall (k :: BOX). (k -> *) -> k -> *
+T :: (k0 -> *) -> k0 -> *
+T :: forall (k0 :: BOX). (k0 -> *) -> k0 -> *
index d74ca95..39701d8 100644 (file)
@@ -1 +1 @@
-3 :> 4 :> 5 :> Nil :: Num a => Vec 3 a
+3 :> 4 :> 5 :> Nil :: Num a0 => Vec 3 a0
index 5bcbd9e..9b3d564 100644 (file)
@@ -1,3 +1,3 @@
 first :: Arrow to => b `to` c -> (b, d) `to` (c, d)
-  :: Arrow to => to b c -> to (b, d) (c, d)
-first :: b~>c -> (b, d)~>(c, d) :: b ~> c -> (b, d) ~> (c, d)
+  :: Arrow to0 => to0 b0 c0 -> to0 (b0, d0) (c0, d0)
+first :: b~>c -> (b, d)~>(c, d) :: b0 ~> c0 -> (b0, d0) ~> (c0, d0)
index 158672c..ceadd98 100644 (file)
@@ -27,7 +27,7 @@ instance (Monoid a, Monoid b) => Monoid (a, b)
   -- Defined in ‘GHC.Base’
 data (#,#) (a :: OpenKind) (b :: OpenKind) = (#,#) a b
        -- Defined in ‘GHC.Prim’
-(,) :: a -> b -> (a, b)
-(#,#) :: a -> b -> (# a, b #)
-(  ,  ) :: a -> b -> (a, b)
-(#  ,  #) :: a -> b -> (# a, b #)
+(,) :: a0 -> b0 -> (a0, b0)
+(#,#) :: a0 -> b0 -> (# a0, b0 #)
+(  ,  ) :: a0 -> b0 -> (a0, b0)
+(#  ,  #) :: a0 -> b0 -> (# a0, b0 #)
index e3a08c1..744272c 100644 (file)
@@ -1,8 +1,8 @@
 type role A phantom phantom
-data A (x :: k) (y :: k1)
+data A (x :: k0) (y :: k1)
        -- Defined at <interactive>:3:1
-A :: k -> k1 -> *
+A :: k0 -> k1 -> *
 type role T phantom
-data T (a :: k) where
-  MkT :: forall (k :: BOX) (a :: k) a1. a1 -> T a
+data T (a :: k0) where
+  MkT :: forall (k0 :: BOX) (a :: k0) a1. a1 -> T a
        -- Defined at <interactive>:7:1
index feb890c..1aae472 100644 (file)
@@ -1,7 +1,7 @@
-class Foo (a :: k) where
-  type family Bar (a :: k) b :: *
+class Foo (a :: k0) where
+  type family Bar (a :: k0) b :: *
        -- Defined at T7939.hs:6:4
-Bar :: k -> * -> *
+Bar :: k0 -> * -> *
 type family F a :: *   -- Defined at T7939.hs:8:1
 type instance F Int = Bool     -- Defined at T7939.hs:9:1
 F :: * -> *
@@ -13,13 +13,13 @@ 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
+type family J (a :: [k0]) :: Bool where
     J k '[] = 'False
   forall (k :: BOX) (h :: k) (t :: [k]). J k (h : t) = 'True
        -- Defined at T7939.hs:17:1
-J :: [k] -> Bool
-type family K (a :: [k]) :: Maybe k where
+J :: [k0] -> Bool
+type family K (a :: [k0]) :: Maybe k0 where
     K k '[] = 'Nothing
   forall (k :: BOX) (h :: k) (t :: [k]). K k (h : t) = 'Just h
        -- Defined at T7939.hs:21:1
-K :: [k] -> Maybe k
+K :: [k0] -> Maybe k0
index 7f8d57e..f6c7a27 100644 (file)
@@ -1 +1 @@
-pattern P :: (Num t, Eq t1) => A t t1  -- Defined at T8776.hs:6:1
+pattern P :: (Num t0, Eq t1) => A t0 t1        -- Defined at T8776.hs:6:1
index 4631732..b02742f 100644 (file)
@@ -1,6 +1,6 @@
-lookup :: Eq a => a -> [(a, b)] -> Maybe b
-undefined :: (forall a. a -> a) -> a :: (forall a1. a1 -> a1) -> a
-lookup ∷ Eq a ⇒ a → [(a, b)] → Maybe b
-undefined :: (forall a. a -> a) -> a ∷ (∀ a1. a1 → a1) → a
-lookup :: Eq a => a -> [(a, b)] -> Maybe b
-undefined :: (forall a. a -> a) -> a :: (forall a1. a1 -> a1) -> a
+lookup :: Eq a0 => a0 -> [(a0, b0)] -> Maybe b0
+undefined :: (forall a. a -> a) -> a :: (forall a. a -> a) -> a0
+lookup ∷ Eq a0 ⇒ a0 → [(a0, b0)] → Maybe b0
+undefined :: (forall a. a -> a) -> a ∷ (∀ a. a → a) → a0
+lookup :: Eq a0 => a0 -> [(a0, b0)] -> Maybe b0
+undefined :: (forall a. a -> a) -> a :: (forall a. a -> a) -> a0
index 4f1ac7a..50323a7 100644 (file)
@@ -1,16 +1,16 @@
 
-T8959b.hs:5:7:
+T8959b.hs:5:7: error:
     Couldn't match expected type ‘Int → Int’ with actual type ‘()’
     In the expression: ()
     In an equation for ‘foo’: foo = ()
 
-T8959b.hs:8:7:
+T8959b.hs:8:7: error:
     Couldn't match expected type ‘()’ with actual type ‘t0 → m0 t0’
     In the expression: proc x -> do { return ↢ x }
     In an equation for ‘bar’: bar = proc x -> do { return ↢ x }
 
-T8959b.hs:10:7:
-    Couldn't match expected type ‘(∀ a2. a2 → a2) → a1
+T8959b.hs:10:7: error:
+    Couldn't match expected type ‘(∀ a1. a1 → a1) → a
                 with actual type ‘()’
     In the expression: () ∷ (∀ a. a -> a) -> a
     In an equation for ‘baz’: baz = () ∷ (∀ a. a -> a) -> a
index fdde69c..574a4eb 100644 (file)
@@ -1 +1 @@
-op :: (a :-: b) => a -> b
+op :: (a0 :-: b0) => a0 -> b0
index b0a2458..dfc2067 100644 (file)
@@ -1,2 +1,2 @@
-(+) :: Num a => a -> a -> a\r
-enumFromTo :: Enum a => a -> a -> [a]\r
+(+) :: Num a0 => a0 -> a0 -> a0
+enumFromTo :: Enum a0 => a0 -> a0 -> [a0]
index 5daf16e..f2953e0 100644 (file)
@@ -1 +1 @@
-f :: Monad m => (m a, t) -> m b\r
+f :: Monad m0 => (m0 a0, t0) -> m0 b0
index 61a859a..fc3002d 100644 (file)
@@ -15,4 +15,4 @@ maybeToList :: Maybe a -> [a]
 data Maybe a = Nothing | Just a
 -- via readFile
 (True,False)
-id :: a -> a
+id :: a0 -> a0
index db76944..ac84cce 100644 (file)
@@ -1,3 +1,3 @@
-nub :: Eq a => [a] -> [a]
-L.nub :: Eq a => [a] -> [a]
-L.nub :: Eq a => [a] -> [a]
+nub :: Eq a0 => [a0] -> [a0]
+L.nub :: Eq a0 => [a0] -> [a0]
+L.nub :: Eq a0 => [a0] -> [a0]
index bd13690..d92f122 100644 (file)
@@ -1,23 +1,23 @@
 import Prelude -- implicit
 import Prelude
 == map in scope due to explicit 'import Prelude'
-map :: (a -> b) -> [a] -> [b]
+map :: (a0 -> b0) -> [a0] -> [b0]
 import Prelude
 == still in scope, 'import Prelude ()' is subsumed by 'import Prelude'
-map :: (a -> b) -> [a] -> [b]
+map :: (a0 -> b0) -> [a0] -> [b0]
 import Prelude -- implicit
 == still in scope, implicit import of Prelude
-map :: (a -> b) -> [a] -> [b]
+map :: (a0 -> b0) -> [a0] -> [b0]
 import Prelude ()
 == not in scope now
 import Prelude -- implicit
-x :: (a -> b) -> [a] -> [b]
+x :: (a0 -> b0) -> [a0] -> [b0]
 :module +*Foo -- added automatically
 :m -Foo
 import Prelude -- implicit
 :m +*Foo
 :module +*Foo
-x :: (a -> b) -> [a] -> [b]
+x :: (a0 -> b0) -> [a0] -> [b0]
 :module +*Foo
 import Prelude
 :module +*Foo
index b76aef8..90e964c 100644 (file)
@@ -1,23 +1,23 @@
 
-PushedInAsGivens.hs:10:31:
-    Couldn't match expected type ‘a1’ with actual type ‘a
-      because type variable ‘a1’ would escape its scope
+PushedInAsGivens.hs:10:31: error:
+    Couldn't match expected type ‘a’ with actual type ‘a0
+      because type variable ‘a’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      the type signature for: foo :: (F Int ~ [a1]) => a1 -> Int
+      the type signature for: foo :: (F Int ~ [a]) => a -> Int
       at PushedInAsGivens.hs:9:20-44
     Relevant bindings include
-      x :: a1 (bound at PushedInAsGivens.hs:10:17)
-      foo :: a1 -> Int (bound at PushedInAsGivens.hs:10:13)
-      y :: a (bound at PushedInAsGivens.hs:9:5)
-      bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1)
+      x :: a (bound at PushedInAsGivens.hs:10:17)
+      foo :: a -> Int (bound at PushedInAsGivens.hs:10:13)
+      y :: a0 (bound at PushedInAsGivens.hs:9:5)
+      bar :: a0 -> (a0, Int) (bound at PushedInAsGivens.hs:9:1)
     In the expression: y
     In the first argument of ‘length’, namely ‘[x, y]’
 
-PushedInAsGivens.hs:11:15:
-    Couldn't match expected type ‘[a]’ with actual type ‘F Int’
+PushedInAsGivens.hs:11:15: error:
+    Couldn't match expected type ‘[a0]’ with actual type ‘F Int’
     Relevant bindings include
-      y :: a (bound at PushedInAsGivens.hs:9:5)
-      bar :: a -> (a, Int) (bound at PushedInAsGivens.hs:9:1)
+      y :: a0 (bound at PushedInAsGivens.hs:9:5)
+      bar :: a0 -> (a0, Int) (bound at PushedInAsGivens.hs:9:1)
     In the expression: foo y
     In the expression: (y, foo y)
     In the expression:
index b551f39..b0ebb69 100644 (file)
@@ -1,18 +1,18 @@
 
 ExtraTcsUntch.hs:23:18: error:
-    Couldn't match expected type ‘F Int’ with actual type ‘[[t]]’
+    Couldn't match expected type ‘F Int’ with actual type ‘[[t0]]’
     Relevant bindings include
-      x :: [t] (bound at ExtraTcsUntch.hs:21:3)
-      f :: [t] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
+      x :: [t0] (bound at ExtraTcsUntch.hs:21:3)
+      f :: [t0] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
     In the first argument of ‘h’, namely ‘[x]’
     In the expression: h [x]
     In an equation for ‘g1’: g1 _ = h [x]
 
 ExtraTcsUntch.hs:25:38: error:
-    Couldn't match expected type ‘F Int’ with actual type ‘[[t]]’
+    Couldn't match expected type ‘F Int’ with actual type ‘[[t0]]’
     Relevant bindings include
-      x :: [t] (bound at ExtraTcsUntch.hs:21:3)
-      f :: [t] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
+      x :: [t0] (bound at ExtraTcsUntch.hs:21:3)
+      f :: [t0] -> ((), ((), ())) (bound at ExtraTcsUntch.hs:21:1)
     In the first argument of ‘h’, namely ‘[[undefined]]’
     In the expression: h [[undefined]]
     In the expression: (h [[undefined]], op x [y])
index 936aa26..6df8921 100644 (file)
@@ -1,12 +1,12 @@
 
-T1897b.hs:16:1:
+T1897b.hs:16:1: error:
     Couldn't match type ‘Depend a’ with ‘Depend a0’
     NB: ‘Depend’ is a type function, and may not be injective
     The type variable ‘a0’ is ambiguous
     Expected type: t (Depend a) -> Bool
       Actual type: t (Depend a0) -> Bool
     When checking that ‘isValid’ has the inferred type
-      isValid :: forall a (t :: * -> *).
-                 (Foldable t, Bug a) =>
-                 t (Depend a) -> Bool
+      isValid :: forall a0 (t0 :: * -> *).
+                 (Foldable t0, Bug a0) =>
+                 t0 (Depend a0) -> Bool
     Probable cause: the inferred type is ambiguous
index 0c6ea15..9fe45ed 100644 (file)
@@ -1,38 +1,38 @@
-\r
-T2693.hs:11:7:\r
-    Couldn't match expected type ‘TFn a’ with actual type ‘TFn a0’\r
-    NB: ‘TFn’ is a type function, and may not be injective\r
-    The type variable ‘a0’ is ambiguous\r
-    When checking that ‘x’ has the inferred type\r
-      x :: forall a. TFn a\r
-    Probable cause: the inferred type is ambiguous\r
-    In the expression:\r
-      do { let Just x = ...;\r
-           let n = fst x + fst x;\r
-           return () }\r
-    In an equation for ‘f’:\r
-        f = do { let Just x = ...;\r
-                 let n = ...;\r
-                 return () }\r
-\r
-T2693.hs:19:15:\r
-    Couldn't match expected type ‘(a5, b0)’ with actual type ‘TFn a2’\r
-    The type variables ‘b0’, ‘a2’, ‘a5’ are ambiguous\r
-    Relevant bindings include n :: a5 (bound at T2693.hs:19:7)\r
-    In the first argument of ‘fst’, namely ‘x’\r
-    In the first argument of ‘(+)’, namely ‘fst x’\r
-\r
-T2693.hs:19:23:\r
-    Couldn't match expected type ‘(a3, a5)’ with actual type ‘TFn a4’\r
-    The type variables ‘a3’, ‘a4’, ‘a5’ are ambiguous\r
-    Relevant bindings include n :: a5 (bound at T2693.hs:19:7)\r
-    In the first argument of ‘snd’, namely ‘x’\r
-    In the second argument of ‘(+)’, namely ‘snd x’\r
-\r
-T2693.hs:29:20:\r
-    Couldn't match type ‘TFn a0’ with ‘PVR a1’\r
-    The type variables ‘a0’, ‘a1’ are ambiguous\r
-    Expected type: () -> Maybe (PVR a1)\r
-      Actual type: () -> Maybe (TFn a0)\r
-    In the first argument of ‘mapM’, namely ‘g’\r
-    In a stmt of a 'do' block: pvs <- mapM g undefined\r
+
+T2693.hs:11:7: error:
+    Couldn't match expected type ‘TFn a’ with actual type ‘TFn a0’
+    NB: ‘TFn’ is a type function, and may not be injective
+    The type variable ‘a0’ is ambiguous
+    When checking that ‘x’ has the inferred type
+      x :: forall a0. TFn a0
+    Probable cause: the inferred type is ambiguous
+    In the expression:
+      do { let Just x = ...;
+           let n = fst x + fst x;
+           return () }
+    In an equation for ‘f’:
+        f = do { let Just x = ...;
+                 let n = ...;
+                 return () }
+
+T2693.hs:19:15: error:
+    Couldn't match expected type ‘(a5, b0)’ with actual type ‘TFn a2’
+    The type variables ‘b0’, ‘a2’, ‘a5’ are ambiguous
+    Relevant bindings include n :: a5 (bound at T2693.hs:19:7)
+    In the first argument of ‘fst’, namely ‘x’
+    In the first argument of ‘(+)’, namely ‘fst x’
+
+T2693.hs:19:23: error:
+    Couldn't match expected type ‘(a3, a5)’ with actual type ‘TFn a4’
+    The type variables ‘a3’, ‘a4’, ‘a5’ are ambiguous
+    Relevant bindings include n :: a5 (bound at T2693.hs:19:7)
+    In the first argument of ‘snd’, namely ‘x’
+    In the second argument of ‘(+)’, namely ‘snd x’
+
+T2693.hs:29:20: error:
+    Couldn't match type ‘TFn a0’ with ‘PVR a1’
+    The type variables ‘a0’, ‘a1’ are ambiguous
+    Expected type: () -> Maybe (PVR a1)
+      Actual type: () -> Maybe (TFn a0)
+    In the first argument of ‘mapM’, namely ‘g’
+    In a stmt of a 'do' block: pvs <- mapM g undefined
index 7c505f1..2f3c7a8 100644 (file)
@@ -1,10 +1,10 @@
 
-T7354.hs:28:11:
+T7354.hs:28:11: error:
     Occurs check: cannot construct the infinite type:
-      a ~ Base t (Prim [a] a)
-    Expected type: Prim [a] a -> Base t (Prim [a] a)
-      Actual type: Prim [a] a -> a
+      a0 ~ Base t0 (Prim [a0] a0)
+    Expected type: Prim [a0] a0 -> Base t0 (Prim [a0] a0)
+      Actual type: Prim [a0] a0 -> a0
     Relevant bindings include
-      foo :: Prim [a] a -> t (bound at T7354.hs:28:1)
+      foo :: Prim [a0] a0 -> t0 (bound at T7354.hs:28:1)
     In the first argument of ‘ana’, namely ‘alg’
     In the expression: ana alg
index ac7bc80..6e3eac6 100644 (file)
@@ -1,6 +1,6 @@
 
-T7354a.hs:5:13:
-    Couldn't match expected type ‘Base t t’ with actual type ‘()’
-    Relevant bindings include foo :: t (bound at T7354a.hs:5:1)
+T7354a.hs:5:13: error:
+    Couldn't match expected type ‘Base t0 t0’ with actual type ‘()’
+    Relevant bindings include foo :: t0 (bound at T7354a.hs:5:1)
     In the first argument of ‘embed’, namely ‘()’
     In the expression: embed ()
index 313bdcf..f336b0a 100644 (file)
@@ -1,5 +1,5 @@
 
-T8518.hs:14:18:
+T8518.hs:14:18: error:
     Couldn't match expected type ‘Maybe (F c)’ with actual type ‘F c’
     Relevant bindings include
       b :: B c (bound at T8518.hs:14:14)
@@ -14,7 +14,7 @@ T8518.hs:14:18:
               rpt 0 c' z' b' = fromJust (fst <$> (continue c' z' b'))
               rpt i c' z' b' = let ... in rpt (i - 1) c''
 
-T8518.hs:17:78:
+T8518.hs:17:78: error:
     Couldn't match expected type ‘F a1’
                 with actual type ‘Z a1 -> B a1 -> F a1’
     Relevant bindings include
@@ -22,7 +22,7 @@ T8518.hs:17:78:
       b' :: B a1 (bound at T8518.hs:17:21)
       z' :: Z a1 (bound at T8518.hs:17:18)
       c' :: a1 (bound at T8518.hs:17:15)
-      rpt :: a -> a1 -> Z a1 -> B a1 -> F a1 (bound at T8518.hs:16:9)
+      rpt :: a0 -> a1 -> Z a1 -> B a1 -> F a1 (bound at T8518.hs:16:9)
     In the expression: rpt (i - 1) c''
     In the expression:
       let c'' = fromJust (snd <$> (continue c' z' b')) in rpt (i - 1) c''
index 28c1a23..763afb0 100644 (file)
@@ -1,22 +1,22 @@
 
-T9171.hs:10:1:
+T9171.hs:10:1: error:
     Couldn't match expected type ‘GetParam Base (GetParam Base Int)’
                 with actual type ‘GetParam Base (GetParam Base Int)’
     NB: ‘GetParam’ is a type function, and may not be injective
     The kind variable ‘k0’ is ambiguous
     Use -fprint-explicit-kinds to see the kind arguments
     When checking that ‘foo’ has the inferred type
-      foo :: forall (k :: BOX). GetParam Base (GetParam Base Int)
+      foo :: forall (k0 :: BOX). GetParam Base (GetParam Base Int)
     Probable cause: the inferred type is ambiguous
 
-T9171.hs:10:20:
+T9171.hs:10:20: error:
     Couldn't match expected type ‘GetParam Base (GetParam Base Int)’
                 with actual type ‘GetParam Base (GetParam Base Int)’
     NB: ‘GetParam’ is a type function, and may not be injective
     The kind variable ‘k0’ is ambiguous
     Use -fprint-explicit-kinds to see the kind arguments
     In the ambiguity check for an expression type signature:
-      forall (k :: BOX). GetParam Base (GetParam Base Int)
+      forall (k0 :: BOX). GetParam Base (GetParam Base Int)
     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In an expression type signature: GetParam Base (GetParam Base Int)
     In the expression: undefined :: GetParam Base (GetParam Base Int)
index aa0a8cd..cc91c6b 100644 (file)
@@ -1,4 +1,4 @@
-\r
-mod121.hs:5:5: error:\r
-    Variable not in scope: m2 :: Int -> t\r
-    Perhaps you meant ‘m1’ (imported from Mod121_A)\r
+
+mod121.hs:5:5: error:
+    Variable not in scope: m2 :: Int -> t0
+    Perhaps you meant ‘m1’ (imported from Mod121_A)
index 335dbd2..ad483ef 100644 (file)
@@ -1,3 +1,3 @@
-\r
-mod147.hs:6:5: error:\r
-    Data constructor not in scope: D :: Integer -> t\r
+
+mod147.hs:6:5: error:
+    Data constructor not in scope: D :: Integer -> t0
index a4b8669..19af244 100644 (file)
@@ -1,6 +1,6 @@
-\r
-mod160.hs:12:5: error:\r
-    Variable not in scope: m3 :: Char -> t\r
-    Perhaps you meant one of these:\r
-      ‘m1’ (imported from Mod159_D), ‘m2’ (imported from Mod159_D)\r
-exit(1)\r
+
+mod160.hs:12:5: error:
+    Variable not in scope: m3 :: Char -> t0
+    Perhaps you meant one of these:
+      ‘m1’ (imported from Mod159_D), ‘m2’ (imported from Mod159_D)
+exit(1)
index 84a5c86..5455c7e 100644 (file)
@@ -1,12 +1,12 @@
-\r
-mod71.hs:4:9: error:\r
-    Found hole: _ :: t1\r
-    Where: ‘t1’ is a rigid type variable bound by\r
-                the inferred type of f :: Num a => (t1 -> a -> t) -> t\r
-                at mod71.hs:4:1\r
-    Relevant bindings include\r
-      x :: t1 -> a -> t (bound at mod71.hs:4:3)\r
-      f :: (t1 -> a -> t) -> t (bound at mod71.hs:4:1)\r
-    In the first argument of ‘x’, namely ‘_’\r
-    In the expression: x _ 1\r
-    In an equation for ‘f’: f x = x _ 1\r
+
+mod71.hs:4:9: error:
+    Found hole: _ :: t1
+    Where: ‘t1’ is a rigid type variable bound by
+                the inferred type of f :: Num a0 => (t1 -> a0 -> t0) -> t0
+                at mod71.hs:4:1
+    Relevant bindings include
+      x :: t1 -> a0 -> t0 (bound at mod71.hs:4:3)
+      f :: (t1 -> a0 -> t0) -> t0 (bound at mod71.hs:4:1)
+    In the first argument of ‘x’, namely ‘_’
+    In the expression: x _ 1
+    In an equation for ‘f’: f x = x _ 1
index 8af25f6..aa17527 100644 (file)
@@ -1,2 +1,2 @@
-\r
-mod72.hs:3:7: error: Variable not in scope: g :: t1 -> t\r
+
+mod72.hs:3:7: error: Variable not in scope: g :: t1 -> t0
index dc6c515..74f105e 100644 (file)
@@ -1,3 +1,3 @@
-\r
-mod87.hs:4:5: error:\r
-    Data constructor not in scope: Left :: Char -> t\r
+
+mod87.hs:4:5: error:
+    Data constructor not in scope: Left :: Char -> t0
index 261df0e..8e7312e 100644 (file)
@@ -1,3 +1,3 @@
-\r
-mod97.hs:4:9: error:\r
-    Variable not in scope: (==) :: Char -> Char -> t\r
+
+mod97.hs:4:9: error:
+    Variable not in scope: (==) :: Char -> Char -> t0
index 311146d..1d36f2b 100644 (file)
@@ -1,15 +1,15 @@
 
 T7848.hs:6:57: error:
     Occurs check: cannot construct the infinite type:
-      t2 ~ t0 -> t -> t1 -> A -> A -> A -> A -> t2
+      t3 ~ t0 -> t1 -> t2 -> A -> A -> A -> A -> t3
     Relevant bindings include
-      y :: forall t4. t4 -> t -> t1 -> A -> A -> A -> A -> t2
+      y :: forall t0. t0 -> t1 -> t2 -> A -> A -> A -> A -> t3
         (bound at T7848.hs:8:9)
-      (&) :: t -> t1 -> A -> A -> A -> A -> t2 (bound at T7848.hs:11:9)
-      z :: t1 (bound at T7848.hs:6:12)
-      (&) :: t1 (bound at T7848.hs:6:8)
-      (+) :: t (bound at T7848.hs:6:3)
-      x :: t -> t1 -> A -> A -> A -> A -> t2 (bound at T7848.hs:6:1)
+      (&) :: t1 -> t2 -> A -> A -> A -> A -> t3 (bound at T7848.hs:11:9)
+      z :: t2 (bound at T7848.hs:6:12)
+      (&) :: t2 (bound at T7848.hs:6:8)
+      (+) :: t1 (bound at T7848.hs:6:3)
+      x :: t1 -> t2 -> A -> A -> A -> A -> t3 (bound at T7848.hs:6:1)
     In the expression: y
     In an equation for ‘x’:
         x (+) ((&)@z) ((:&&) a b) (c :&& d) (e `A` f) (A g h)
@@ -22,15 +22,15 @@ T7848.hs:6:57: error:
               (&) = x
 
 T7848.hs:10:9: error:
-    Couldn't match expected type ‘t -> t1 -> A -> A -> A -> A -> t2
+    Couldn't match expected type ‘t1 -> t2 -> A -> A -> A -> A -> t3
                 with actual type ‘a’
-      ‘a’ is a rigid type variable bound by
-          the type signature for: (&) :: a at T7848.hs:10:9
+    ‘a’ is a rigid type variable bound by
+        the type signature for: (&) :: a at T7848.hs:10:9
     Relevant bindings include
-      z :: t1 (bound at T7848.hs:6:12)
-      (&) :: t1 (bound at T7848.hs:6:8)
-      (+) :: t (bound at T7848.hs:6:3)
-      x :: t -> t1 -> A -> A -> A -> A -> t2 (bound at T7848.hs:6:1)
+      z :: t2 (bound at T7848.hs:6:12)
+      (&) :: t2 (bound at T7848.hs:6:8)
+      (+) :: t1 (bound at T7848.hs:6:3)
+      x :: t1 -> t2 -> A -> A -> A -> A -> t3 (bound at T7848.hs:6:1)
     In the SPECIALISE pragma {-# SPECIALIZE (&) :: a #-}
     In an equation for ‘x’:
         x (+) ((&)@z) ((:&&) a b) (c :&& d) (e `A` f) (A g h)
index e90fbb4..bf575b4 100644 (file)
@@ -1,10 +1,10 @@
 
-readFail003.hs:4:27:
+readFail003.hs:4:27: error:
     Occurs check: cannot construct the infinite type:
-      t ~ (t, [a], [a1])
+      t0 ~ (t0, [a0], [a1])
     Relevant bindings include
-      a :: t (bound at readFail003.hs:4:3)
-      b :: [a] (bound at readFail003.hs:4:5)
+      a :: t0 (bound at readFail003.hs:4:3)
+      b :: [a0] (bound at readFail003.hs:4:5)
       c :: [a1] (bound at readFail003.hs:4:7)
     In the expression: a
     In a pattern binding:
index 18fed2f..5d3a96f 100644 (file)
@@ -1,36 +1,42 @@
-\r
-T10403.hs:15:7: warning:\r
-    Found hole ‘_’ with inferred constraints: Functor f\r
-    In the type signature for ‘h1’: _ => _\r
-\r
-T10403.hs:15:12: warning:\r
-    Found hole: _ :: (a -> b) -> f a -> H f\r
-    Where: ‘f’ is a rigid type variable bound by\r
-               the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f\r
-               at T10403.hs:17:1\r
-           ‘b’ is a rigid type variable bound by\r
-               the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f\r
-               at T10403.hs:17:1\r
-           ‘a’ is a rigid type variable bound by\r
-               the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f\r
-               at T10403.hs:17:1\r
-    In the type signature for ‘h1’: _ => _\r
-\r
-T10403.hs:19:7: warning:\r
-    Found hole: _ :: (a -> b) -> f a -> H f\r
-    Where: ‘f’ is a rigid type variable bound by\r
-               the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f\r
-               at T10403.hs:21:1\r
-           ‘b’ is a rigid type variable bound by\r
-               the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f\r
-               at T10403.hs:21:1\r
-           ‘a’ is a rigid type variable bound by\r
-               the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f\r
-               at T10403.hs:21:1\r
-    In the type signature for ‘h2’: _\r
-\r
-T10403.hs:21:1: warning:\r
-    No instance for (Functor f)\r
-    When checking that ‘h2’ has the inferred type\r
-      h2 :: forall (f :: * -> *) b a. (a -> b) -> f a -> H f\r
-    Probable cause: the inferred type is ambiguous\r
+
+T10403.hs:15:7: warning:
+    Found hole ‘_’ with inferred constraints: Functor f0
+    In the type signature for ‘h1’: _ => _
+
+T10403.hs:15:12: warning:
+    Found hole: _ :: (a0 -> b0) -> f0 a0 -> H f0
+    Where: ‘f0’ is a rigid type variable bound by
+                the inferred type of
+                h1 :: Functor f0 => (a0 -> b0) -> f0 a0 -> H f0
+                at T10403.hs:17:1
+           ‘b0’ is a rigid type variable bound by
+                the inferred type of
+                h1 :: Functor f0 => (a0 -> b0) -> f0 a0 -> H f0
+                at T10403.hs:17:1
+           ‘a0’ is a rigid type variable bound by
+                the inferred type of
+                h1 :: Functor f0 => (a0 -> b0) -> f0 a0 -> H f0
+                at T10403.hs:17:1
+    In the type signature for ‘h1’: _ => _
+
+T10403.hs:19:7: warning:
+    Found hole: _ :: (a0 -> b0) -> f0 a0 -> H f0
+    Where: ‘f0’ is a rigid type variable bound by
+                the inferred type of
+                h2 :: Functor f0 => (a0 -> b0) -> f0 a0 -> H f0
+                at T10403.hs:21:1
+           ‘b0’ is a rigid type variable bound by
+                the inferred type of
+                h2 :: Functor f0 => (a0 -> b0) -> f0 a0 -> H f0
+                at T10403.hs:21:1
+           ‘a0’ is a rigid type variable bound by
+                the inferred type of
+                h2 :: Functor f0 => (a0 -> b0) -> f0 a0 -> H f0
+                at T10403.hs:21:1
+    In the type signature for ‘h2’: _
+
+T10403.hs:21:1: warning:
+    No instance for (Functor f)
+    When checking that ‘h2’ has the inferred type
+      h2 :: forall (f0 :: * -> *) b0 a0. (a0 -> b0) -> f0 a0 -> H f0
+    Probable cause: the inferred type is ambiguous
index afec96a..6d7be3d 100644 (file)
@@ -1,26 +1,26 @@
-\r
-T10438.hs:7:22: warning:\r
-    Found hole: _ :: w_1\r
-    Where: ‘w_1’ is a rigid type variable bound by\r
-                 the inferred type of g :: w_1 -> w_1 at T10438.hs:6:9\r
-    Relevant bindings include\r
-      r :: w_1 (bound at T10438.hs:6:11)\r
-      g :: w_1 -> w_1 (bound at T10438.hs:6:9)\r
-      f :: t (bound at T10438.hs:5:5)\r
-      foo :: t -> w_ -> w_ (bound at T10438.hs:5:1)\r
-    In the type signature for ‘x’: _\r
-    In an equation for ‘g’:\r
-        g r\r
-          = x\r
-          where\r
-              x :: _\r
-              x = r\r
-    In an equation for ‘foo’:\r
-        foo f\r
-          = g\r
-          where\r
-              g r\r
-                = x\r
-                where\r
-                    x :: _\r
-                    x = r\r
+
+T10438.hs:7:22: warning:
+    Found hole: _ :: w_1
+    Where: ‘w_1’ is a rigid type variable bound by
+                 the inferred type of g :: w_1 -> w_1 at T10438.hs:6:9
+    Relevant bindings include
+      r :: w_1 (bound at T10438.hs:6:11)
+      g :: w_1 -> w_1 (bound at T10438.hs:6:9)
+      f :: t0 (bound at T10438.hs:5:5)
+      foo :: t0 -> w_0 -> w_0 (bound at T10438.hs:5:1)
+    In the type signature for ‘x’: _
+    In an equation for ‘g’:
+        g r
+          = x
+          where
+              x :: _
+              x = r
+    In an equation for ‘foo’:
+        foo f
+          = g
+          where
+              g r
+                = x
+                where
+                    x :: _
+                    x = r
index 6927a78..64bc122 100644 (file)
@@ -1,47 +1,48 @@
-TYPE SIGNATURES\r
-  bar :: forall w_ w_1. w_ -> (w_ -> w_1) -> w_1\r
-  foo :: forall w_a. (Show w_a, Enum w_a) => w_a -> String\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
-                     integer-gmp-1.0.0.0]\r
-\r
-WarningWildcardInstantiations.hs:5:14: warning:\r
-    Found hole: _a :: w_a\r
-    Where: ‘w_a’ is a rigid type variable bound by\r
-                 the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String\r
-                 at WarningWildcardInstantiations.hs:6:1\r
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
-\r
-WarningWildcardInstantiations.hs:5:18: warning:\r
-    Found hole ‘_’ with inferred constraints: Enum w_a\r
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
-\r
-WarningWildcardInstantiations.hs:5:30: warning:\r
-    Found hole: _ :: String\r
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
-\r
-WarningWildcardInstantiations.hs:8:8: warning:\r
-    Found hole: _ :: w_\r
-    Where: ‘w_’ is a rigid type variable bound by\r
-                the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                at WarningWildcardInstantiations.hs:9:1\r
-    In the type signature for ‘bar’: _ -> _ -> _\r
-\r
-WarningWildcardInstantiations.hs:8:13: warning:\r
-    Found hole: _ :: w_ -> w_1\r
-    Where: ‘w_’ is a rigid type variable bound by\r
-                the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                at WarningWildcardInstantiations.hs:9:1\r
-           ‘w_1’ is a rigid type variable bound by\r
-                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                 at WarningWildcardInstantiations.hs:9:1\r
-    In the type signature for ‘bar’: _ -> _ -> _\r
-\r
-WarningWildcardInstantiations.hs:8:18: warning:\r
-    Found hole: _ :: w_1\r
-    Where: ‘w_1’ is a rigid type variable bound by\r
-                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                 at WarningWildcardInstantiations.hs:9:1\r
-    In the type signature for ‘bar’: _ -> _ -> _\r
+TYPE SIGNATURES
+  bar :: forall w_ w_1. w_ -> (w_ -> w_1) -> w_1
+  foo :: forall w_a. (Show w_a, Enum w_a) => w_a -> String
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+Dependent modules: []
+Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
+
+WarningWildcardInstantiations.hs:5:14: warning:
+    Found hole: _a :: w_a0
+    Where: ‘w_a0’ is a rigid type variable bound by
+                  the inferred type of
+                  foo :: (Enum w_a0, Show w_a0) => w_a0 -> String
+                  at WarningWildcardInstantiations.hs:6:1
+    In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WarningWildcardInstantiations.hs:5:18: warning:
+    Found hole ‘_’ with inferred constraints: Enum w_a0
+    In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WarningWildcardInstantiations.hs:5:30: warning:
+    Found hole: _ :: String
+    In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WarningWildcardInstantiations.hs:8:8: warning:
+    Found hole: _ :: w_0
+    Where: ‘w_0’ is a rigid type variable bound by
+                 the inferred type of bar :: w_0 -> (w_0 -> w_1) -> w_1
+                 at WarningWildcardInstantiations.hs:9:1
+    In the type signature for ‘bar’: _ -> _ -> _
+
+WarningWildcardInstantiations.hs:8:13: warning:
+    Found hole: _ :: w_0 -> w_1
+    Where: ‘w_0’ is a rigid type variable bound by
+                 the inferred type of bar :: w_0 -> (w_0 -> w_1) -> w_1
+                 at WarningWildcardInstantiations.hs:9:1
+           ‘w_1’ is a rigid type variable bound by
+                 the inferred type of bar :: w_0 -> (w_0 -> w_1) -> w_1
+                 at WarningWildcardInstantiations.hs:9:1
+    In the type signature for ‘bar’: _ -> _ -> _
+
+WarningWildcardInstantiations.hs:8:18: warning:
+    Found hole: _ :: w_1
+    Where: ‘w_1’ is a rigid type variable bound by
+                 the inferred type of bar :: w_0 -> (w_0 -> w_1) -> w_1
+                 at WarningWildcardInstantiations.hs:9:1
+    In the type signature for ‘bar’: _ -> _ -> _
index 560fe79..27fd999 100644 (file)
@@ -1,6 +1,6 @@
 
-Defaulting1MROff.hs:6:1:
+Defaulting1MROff.hs:6:1: error:
     No instance for (Num w_)
     When checking that ‘alpha’ has the inferred type
-      alpha :: forall w_. w_
+      alpha :: forall w_0. w_0
     Probable cause: the inferred type is ambiguous
index 5864edf..f223ffc 100644 (file)
@@ -1,16 +1,16 @@
-\r
-TidyClash.hs:8:19: error:\r
-    Found hole: _ :: w_\r
-    Where: ‘w_’ is a rigid type variable bound by\r
-                the inferred type of bar :: w_2 -> (w_2, w_ -> w_1)\r
-                at TidyClash.hs:9:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘bar’: w_ -> (w_, _ -> _)\r
-\r
-TidyClash.hs:8:24: error:\r
-    Found hole: _ :: w_1\r
-    Where: ‘w_1’ is a rigid type variable bound by\r
-                 the inferred type of bar :: w_2 -> (w_2, w_ -> w_1)\r
-                 at TidyClash.hs:9:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘bar’: w_ -> (w_, _ -> _)\r
+
+TidyClash.hs:8:19: error:
+    Found hole: _ :: w_0
+    Where: ‘w_0’ is a rigid type variable bound by
+                 the inferred type of bar :: w_ -> (w_, w_0 -> w_1)
+                 at TidyClash.hs:9:1
+    To use the inferred type, enable PartialTypeSignatures
+    In the type signature for ‘bar’: w_ -> (w_, _ -> _)
+
+TidyClash.hs:8:24: error:
+    Found hole: _ :: w_1
+    Where: ‘w_1’ is a rigid type variable bound by
+                 the inferred type of bar :: w_ -> (w_, w_0 -> w_1)
+                 at TidyClash.hs:9:1
+    To use the inferred type, enable PartialTypeSignatures
+    In the type signature for ‘bar’: w_ -> (w_, _ -> _)
index 820fe18..3b4133c 100644 (file)
@@ -1,45 +1,45 @@
-\r
-Trac10045.hs:6:17: error:\r
-    Found hole: _ :: t1 -> a -> t2\r
-    Where: ‘t1’ is a rigid type variable bound by\r
-                the inferred type of copy :: Num a => t1 -> a -> t2\r
-                at Trac10045.hs:7:9\r
-           ‘t2’ is a rigid type variable bound by\r
-                the inferred type of copy :: Num a => t1 -> a -> t2\r
-                at Trac10045.hs:7:9\r
-           ‘a’ is a rigid type variable bound by\r
-               the inferred type of copy :: Num a => t1 -> a -> t2\r
-               at Trac10045.hs:7:9\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    Relevant bindings include\r
-      ws1 :: () (bound at Trac10045.hs:5:11)\r
-      foo :: Meta -> t (bound at Trac10045.hs:5:1)\r
-    In the type signature for ‘copy’: _\r
-    In the expression:\r
-      let\r
-        copy :: _\r
-        copy w from = copy w 1\r
-      in copy ws1 1\r
-    In an equation for ‘foo’:\r
-        foo (Meta ws1)\r
-          = let\r
-              copy :: _\r
-              copy w from = copy w 1\r
-            in copy ws1 1\r
-\r
-Trac10045.hs:7:9: error:\r
-    No instance for (Num a)\r
-    When checking that ‘copy’ has the inferred type\r
-      copy :: forall t t1 a. t -> a -> t1\r
-    Probable cause: the inferred type is ambiguous\r
-    In the expression:\r
-      let\r
-        copy :: _\r
-        copy w from = copy w 1\r
-      in copy ws1 1\r
-    In an equation for ‘foo’:\r
-        foo (Meta ws1)\r
-          = let\r
-              copy :: _\r
-              copy w from = copy w 1\r
-            in copy ws1 1\r
+
+Trac10045.hs:6:17: error:
+    Found hole: _ :: t1 -> a0 -> t2
+    Where: ‘t1’ is a rigid type variable bound by
+                the inferred type of copy :: Num a0 => t1 -> a0 -> t2
+                at Trac10045.hs:7:9
+           ‘t2’ is a rigid type variable bound by
+                the inferred type of copy :: Num a0 => t1 -> a0 -> t2
+                at Trac10045.hs:7:9
+           ‘a0’ is a rigid type variable bound by
+                the inferred type of copy :: Num a0 => t1 -> a0 -> t2
+                at Trac10045.hs:7:9
+    To use the inferred type, enable PartialTypeSignatures
+    Relevant bindings include
+      ws1 :: () (bound at Trac10045.hs:5:11)
+      foo :: Meta -> t0 (bound at Trac10045.hs:5:1)
+    In the type signature for ‘copy’: _
+    In the expression:
+      let
+        copy :: _
+        copy w from = copy w 1
+      in copy ws1 1
+    In an equation for ‘foo’:
+        foo (Meta ws1)
+          = let
+              copy :: _
+              copy w from = copy w 1
+            in copy ws1 1
+
+Trac10045.hs:7:9: error:
+    No instance for (Num a)
+    When checking that ‘copy’ has the inferred type
+      copy :: forall t0 t1 a0. t0 -> a0 -> t1
+    Probable cause: the inferred type is ambiguous
+    In the expression:
+      let
+        copy :: _
+        copy w from = copy w 1
+      in copy ws1 1
+    In an equation for ‘foo’:
+        foo (Meta ws1)
+          = let
+              copy :: _
+              copy w from = copy w 1
+            in copy ws1 1
index f8e7f7e..cbd0f6d 100644 (file)
@@ -1,45 +1,46 @@
-\r
-WildcardInstantiations.hs:5:14: error:\r
-    Found hole: _a :: w_a\r
-    Where: ‘w_a’ is a rigid type variable bound by\r
-                 the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String\r
-                 at WildcardInstantiations.hs:6:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
-\r
-WildcardInstantiations.hs:5:18: error:\r
-    Found hole ‘_’ with inferred constraints: Enum w_a\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
-\r
-WildcardInstantiations.hs:5:30: error:\r
-    Found hole: _ :: String\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
-\r
-WildcardInstantiations.hs:8:8: error:\r
-    Found hole: _ :: w_\r
-    Where: ‘w_’ is a rigid type variable bound by\r
-                the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                at WildcardInstantiations.hs:9:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘bar’: _ -> _ -> _\r
-\r
-WildcardInstantiations.hs:8:13: error:\r
-    Found hole: _ :: w_ -> w_1\r
-    Where: ‘w_’ is a rigid type variable bound by\r
-                the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                at WildcardInstantiations.hs:9:1\r
-           ‘w_1’ is a rigid type variable bound by\r
-                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                 at WildcardInstantiations.hs:9:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘bar’: _ -> _ -> _\r
-\r
-WildcardInstantiations.hs:8:18: error:\r
-    Found hole: _ :: w_1\r
-    Where: ‘w_1’ is a rigid type variable bound by\r
-                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
-                 at WildcardInstantiations.hs:9:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In the type signature for ‘bar’: _ -> _ -> _\r
+
+WildcardInstantiations.hs:5:14: error:
+    Found hole: _a :: w_a0
+    Where: ‘w_a0’ is a rigid type variable bound by
+                  the inferred type of
+                  foo :: (Enum w_a0, Show w_a0) => w_a0 -> String
+                  at WildcardInstantiations.hs:6:1
+    To use the inferred type, enable PartialTypeSignatures
+    In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WildcardInstantiations.hs:5:18: error:
+    Found hole ‘_’ with inferred constraints: Enum w_a0
+    To use the inferred type, enable PartialTypeSignatures
+    In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WildcardInstantiations.hs:5:30: error:
+    Found hole: _ :: String
+    To use the inferred type, enable PartialTypeSignatures
+    In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WildcardInstantiations.hs:8:8: error:
+    Found hole: _ :: w_0
+    Where: ‘w_0’ is a rigid type variable bound by
+                 the inferred type of bar :: w_0 -> (w_0 -> w_1) -> w_1
+                 at WildcardInstantiations.hs:9:1
+    To use the inferred type, enable PartialTypeSignatures
+    In the type signature for ‘bar’: _ -> _ -> _
+
+WildcardInstantiations.hs:8:13: error:
+    Found hole: _ :: w_0 -> w_1
+    Where: ‘w_0’ is a rigid type variable bound by
+                 the inferred type of bar :: w_0 -> (w_0 -> w_1) -> w_1
+                 at WildcardInstantiations.hs:9:1
+           ‘w_1’ is a rigid type variable bound by
+                 the inferred type of bar :: w_0 -> (w_0 -> w_1) -> w_1
+                 at WildcardInstantiations.hs:9:1
+    To use the inferred type, enable PartialTypeSignatures
+    In the type signature for ‘bar’: _ -> _ -> _
+
+WildcardInstantiations.hs:8:18: error:
+    Found hole: _ :: w_1
+    Where: ‘w_1’ is a rigid type variable bound by
+                 the inferred type of bar :: w_0 -> (w_0 -> w_1) -> w_1
+                 at WildcardInstantiations.hs:9:1
+    To use the inferred type, enable PartialTypeSignatures
+    In the type signature for ‘bar’: _ -> _ -> _
index fc5b970..79c340d 100644 (file)
@@ -1,74 +1,74 @@
-\r
-WildcardsInPatternAndExprSig.hs:4:18: error:\r
-    Found hole: _a :: w_c\r
-    Where: ‘w_c’ is a rigid type variable bound by\r
-                 the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]\r
-                 at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    Relevant bindings include\r
-      bar :: Maybe [w_c] -> w_c -> [w_c]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
-    In a pattern type signature: _a\r
-    In the pattern: x :: _a\r
-    In the pattern: [x :: _a]\r
-\r
-WildcardsInPatternAndExprSig.hs:4:25: error:\r
-    Found hole: _ :: [w_c]\r
-    Where: ‘w_c’ is a rigid type variable bound by\r
-                 the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]\r
-                 at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    Relevant bindings include\r
-      bar :: Maybe [w_c] -> w_c -> [w_c]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
-    In a pattern type signature: _\r
-    In the pattern: [x :: _a] :: _\r
-    In the pattern: Just ([x :: _a] :: _)\r
-\r
-WildcardsInPatternAndExprSig.hs:4:38: error:\r
-    Found hole: _b :: w_c\r
-    Where: ‘w_c’ is a rigid type variable bound by\r
-                 the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]\r
-                 at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    Relevant bindings include\r
-      bar :: Maybe [w_c] -> w_c -> [w_c]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
-    In a pattern type signature: Maybe [_b]\r
-    In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]\r
-    In an equation for ‘bar’:\r
-        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)\r
-          = [x, z] :: [_d]\r
-\r
-WildcardsInPatternAndExprSig.hs:4:49: error:\r
-    Found hole: _c :: w_c\r
-    Where: ‘w_c’ is a rigid type variable bound by\r
-                 the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]\r
-                 at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    Relevant bindings include\r
-      x :: w_c (bound at WildcardsInPatternAndExprSig.hs:4:13)\r
-      bar :: Maybe [w_c] -> w_c -> [w_c]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
-    In a pattern type signature: _c\r
-    In the pattern: z :: _c\r
-    In an equation for ‘bar’:\r
-        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)\r
-          = [x, z] :: [_d]\r
-\r
-WildcardsInPatternAndExprSig.hs:4:66: error:\r
-    Found hole: _d :: w_c\r
-    Where: ‘w_c’ is a rigid type variable bound by\r
-                 the inferred type of bar :: Maybe [w_c] -> w_c -> [w_c]\r
-                 at WildcardsInPatternAndExprSig.hs:4:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    Relevant bindings include\r
-      z :: w_c (bound at WildcardsInPatternAndExprSig.hs:4:44)\r
-      x :: w_c (bound at WildcardsInPatternAndExprSig.hs:4:13)\r
-      bar :: Maybe [w_c] -> w_c -> [w_c]\r
-        (bound at WildcardsInPatternAndExprSig.hs:4:1)\r
-    In an expression type signature: [_d]\r
-    In the expression: [x, z] :: [_d]\r
-    In an equation for ‘bar’:\r
-        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)\r
-          = [x, z] :: [_d]\r
+
+WildcardsInPatternAndExprSig.hs:4:18: error:
+    Found hole: _a :: w_c0
+    Where: ‘w_c0’ is a rigid type variable bound by
+                  the inferred type of bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+                  at WildcardsInPatternAndExprSig.hs:4:1
+    To use the inferred type, enable PartialTypeSignatures
+    Relevant bindings include
+      bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+        (bound at WildcardsInPatternAndExprSig.hs:4:1)
+    In a pattern type signature: _a
+    In the pattern: x :: _a
+    In the pattern: [x :: _a]
+
+WildcardsInPatternAndExprSig.hs:4:25: error:
+    Found hole: _ :: [w_c0]
+    Where: ‘w_c0’ is a rigid type variable bound by
+                  the inferred type of bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+                  at WildcardsInPatternAndExprSig.hs:4:1
+    To use the inferred type, enable PartialTypeSignatures
+    Relevant bindings include
+      bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+        (bound at WildcardsInPatternAndExprSig.hs:4:1)
+    In a pattern type signature: _
+    In the pattern: [x :: _a] :: _
+    In the pattern: Just ([x :: _a] :: _)
+
+WildcardsInPatternAndExprSig.hs:4:38: error:
+    Found hole: _b :: w_c0
+    Where: ‘w_c0’ is a rigid type variable bound by
+                  the inferred type of bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+                  at WildcardsInPatternAndExprSig.hs:4:1
+    To use the inferred type, enable PartialTypeSignatures
+    Relevant bindings include
+      bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+        (bound at WildcardsInPatternAndExprSig.hs:4:1)
+    In a pattern type signature: Maybe [_b]
+    In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]
+    In an equation for ‘bar’:
+        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+          = [x, z] :: [_d]
+
+WildcardsInPatternAndExprSig.hs:4:49: error:
+    Found hole: _c :: w_c0
+    Where: ‘w_c0’ is a rigid type variable bound by
+                  the inferred type of bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+                  at WildcardsInPatternAndExprSig.hs:4:1
+    To use the inferred type, enable PartialTypeSignatures
+    Relevant bindings include
+      x :: w_c0 (bound at WildcardsInPatternAndExprSig.hs:4:13)
+      bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+        (bound at WildcardsInPatternAndExprSig.hs:4:1)
+    In a pattern type signature: _c
+    In the pattern: z :: _c
+    In an equation for ‘bar’:
+        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+          = [x, z] :: [_d]
+
+WildcardsInPatternAndExprSig.hs:4:66: error:
+    Found hole: _d :: w_c0
+    Where: ‘w_c0’ is a rigid type variable bound by
+                  the inferred type of bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+                  at WildcardsInPatternAndExprSig.hs:4:1
+    To use the inferred type, enable PartialTypeSignatures
+    Relevant bindings include
+      z :: w_c0 (bound at WildcardsInPatternAndExprSig.hs:4:44)
+      x :: w_c0 (bound at WildcardsInPatternAndExprSig.hs:4:13)
+      bar :: Maybe [w_c0] -> w_c0 -> [w_c0]
+        (bound at WildcardsInPatternAndExprSig.hs:4:1)
+    In an expression type signature: [_d]
+    In the expression: [x, z] :: [_d]
+    In an equation for ‘bar’:
+        bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
+          = [x, z] :: [_d]
index e434de3..9f6a455 100644 (file)
@@ -1,3 +1,3 @@
-pattern Single :: t -> [t]     -- Defined at <interactive>:4:1
+pattern Single :: t0 -> [t0]   -- Defined at <interactive>:4:1
 foo :: [Bool] -> [Bool]
 [False]
index e096418..4ee1d9e 100644 (file)
@@ -1 +1 @@
-exists Nothing :: Floop a mp => Existential mp\r
+exists Nothing :: Floop a0 mp0 => Existential mp0
index d45bec1..038a8b3 100644 (file)
@@ -1,19 +1,19 @@
 
 T7438.hs:6:14: error:
-    Couldn't match expected type ‘t1’ with actual type ‘t’
-      ‘t’ is untouchable
+    Couldn't match expected type ‘t1’ with actual type ‘t0
+      ‘t0’ is untouchable
         inside the constraints: t2 ~ t3
         bound by a pattern with constructor:
                    Nil :: forall (k :: BOX) (b :: k). Thrist b b,
                  in an equation for ‘go’
         at T7438.hs:6:4-6
-    ‘t’ is a rigid type variable bound by
-        the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
+    ‘t0’ is a rigid type variable bound by
+         the inferred type of go :: Thrist t2 t3 -> t0 -> t1 at T7438.hs:6:1
     ‘t1’ is a rigid type variable bound by
-         the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
+         the inferred type of go :: Thrist t2 t3 -> t0 -> t1 at T7438.hs:6:1
     Possible fix: add a type signature for ‘go’
     Relevant bindings include
-      acc :: t (bound at T7438.hs:6:8)
-      go :: Thrist t2 t3 -> t -> t1 (bound at T7438.hs:6:1)
+      acc :: t0 (bound at T7438.hs:6:8)
+      go :: Thrist t2 t3 -> t0 -> t1 (bound at T7438.hs:6:1)
     In the expression: acc
     In an equation for ‘go’: go Nil acc = acc
index 08ab163..affdc3c 100644 (file)
@@ -1,15 +1,15 @@
 
-T7594.hs:33:12:
-    Couldn't match type ‘b’ with ‘IO ()’
-      ‘b’ is untouchable
+T7594.hs:33:12: error:
+    Couldn't match type ‘b0’ with ‘IO ()’
+      ‘b0’ is untouchable
         inside the constraints: (:&:) c0 Real a
-        bound by a type expected by the context: (:&:) c0 Real a => a -> b
+        bound by a type expected by the context: (:&:) c0 Real a => a -> b0
         at T7594.hs:33:8-19
-      ‘b’ is a rigid type variable bound by
-          the inferred type of bar2 :: b at T7594.hs:33:1
+    ‘b0’ is a rigid type variable bound by
+         the inferred type of bar2 :: b0 at T7594.hs:33:1
     Possible fix: add a type signature for ‘bar2’
-    Expected type: a -> b
+    Expected type: a -> b0
       Actual type: a -> IO ()
-    Relevant bindings include bar2 :: b (bound at T7594.hs:33:1)
+    Relevant bindings include bar2 :: b0 (bound at T7594.hs:33:1)
     In the first argument of ‘app’, namely ‘print’
     In the expression: app print q2
index 44582b3..a347ed9 100644 (file)
@@ -1,4 +1,4 @@
-\r
-T2993.hs:7:13: error:\r
-    Variable not in scope: (<**>) :: t1 -> (a -> a) -> t\r
-    Perhaps you meant ‘<*>’ (imported from Prelude)\r
+
+T2993.hs:7:13: error:
+    Variable not in scope: (<**>) :: t1 -> (a0 -> a0) -> t0
+    Perhaps you meant ‘<*>’ (imported from Prelude)
index 8a5edd3..4b65044 100644 (file)
@@ -1,4 +1,4 @@
-\r
-T7937.hs:8:13: error:\r
-    Variable not in scope: (***) :: Bool -> Bool -> t\r
-    Perhaps you meant ‘**’ (imported from Prelude)\r
+
+T7937.hs:8:13: error:
+    Variable not in scope: (***) :: Bool -> Bool -> t0
+    Perhaps you meant ‘**’ (imported from Prelude)
index d4bc26b..af4f646 100644 (file)
@@ -1,2 +1,2 @@
-\r
-mc13.hs:12:37: error: Variable not in scope: f :: [a] -> m a\r
+
+mc13.hs:12:37: error: Variable not in scope: f :: [a] -> m0 a
index 860d483..7f38e79 100644 (file)
@@ -1,14 +1,14 @@
-\r
-mc14.hs:14:16: error:\r
-    No instance for (Functor t0) arising from a use of ‘fmap’\r
-    The type variable ‘t0’ is ambiguous\r
-    Note: there are several potential instances:\r
-      instance Functor Maybe -- Defined in ‘GHC.Base’\r
-      instance Functor IO -- Defined in ‘GHC.Base’\r
-      instance Functor ((->) r) -- Defined in ‘GHC.Base’\r
-      ...plus two others\r
-    In the expression: fmap\r
-    In a stmt of a monad comprehension: then group using f\r
-    In the expression: [() | f <- functions, then group using f]\r
-\r
-mc14.hs:14:49: error: Variable not in scope: f :: [a] -> m (t0 a)\r
+
+mc14.hs:14:16: error:
+    No instance for (Functor t0) arising from a use of ‘fmap’
+    The type variable ‘t0’ is ambiguous
+    Note: there are several potential instances:
+      instance Functor Maybe -- Defined in ‘GHC.Base’
+      instance Functor IO -- Defined in ‘GHC.Base’
+      instance Functor ((->) r) -- Defined in ‘GHC.Base’
+      ...plus two others
+    In the expression: fmap
+    In a stmt of a monad comprehension: then group using f
+    In the expression: [() | f <- functions, then group using f]
+
+mc14.hs:14:49: error: Variable not in scope: f :: [a] -> m0 (t0 a)
index d9f9943..5ce05e1 100644 (file)
@@ -12,9 +12,9 @@ TYPE CONSTRUCTORS
   data T5 a = K5 a
     Promotable
   type role T6 phantom
-  data T6 (a :: k) = K6
+  data T6 (a :: k0) = K6
   type role T7 phantom representational
-  data T7 (a :: k) b = K7 b
+  data T7 (a :: k0) b = K7 b
 COERCION AXIOMS
 Dependent modules: []
 Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
index 9540119..47fef61 100644 (file)
@@ -1,15 +1,15 @@
-\r
-<no location info>: warning:\r
-    -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving\r
-\r
-<interactive>:16:29: error:\r
-    Can't make a derived instance of ‘Op T2’:\r
-      ‘Op’ is not a derivable class\r
-      Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension\r
-    In the newtype declaration for ‘T2’\r
-\r
-<interactive>:19:9: error:\r
-    Data constructor not in scope: T2 :: T -> t\r
-    Perhaps you meant ‘T1’ (line 13)\r
-\r
-<interactive>:22:4: error: Variable not in scope: y\r
+
+<no location info>: warning:
+    -XGeneralizedNewtypeDeriving is not allowed in Safe Haskell; ignoring -XGeneralizedNewtypeDeriving
+
+<interactive>:16:29: error:
+    Can't make a derived instance of ‘Op T2’:
+      ‘Op’ is not a derivable class
+      Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
+    In the newtype declaration for ‘T2’
+
+<interactive>:19:9: error:
+    Data constructor not in scope: T2 :: T -> t0
+    Perhaps you meant ‘T1’ (line 13)
+
+<interactive>:22:4: error: Variable not in scope: y
index 2160c00..45f1e8b 100644 (file)
@@ -1,8 +1,8 @@
-\r
-<interactive>:6:9: error:\r
-    Not in scope: ‘System.IO.Unsafe.unsafePerformIO’\r
-\r
-<interactive>:7:9: error:\r
-    Variable not in scope: x :: IO Integer -> t\r
-\r
-<interactive>:8:1: error: Variable not in scope: y\r
+
+<interactive>:6:9: error:
+    Not in scope: ‘System.IO.Unsafe.unsafePerformIO’
+
+<interactive>:7:9: error:
+    Variable not in scope: x :: IO Integer -> t0
+
+<interactive>:8:1: error: Variable not in scope: y
index 8334302..44d5bbb 100644 (file)
@@ -1,10 +1,10 @@
-\r
-<interactive>:12:1: error:\r
-    Unacceptable result type in foreign declaration:\r
-      Safe Haskell is on, all FFI imports must be in the IO monad\r
-    When checking declaration:\r
-      foreign import ccall safe "static sin" c_sin :: Double -> Double\r
-\r
-<interactive>:13:1: error:\r
-    Variable not in scope: c_sin :: Integer -> t\r
-    Perhaps you meant ‘c_sin'’ (line 8)\r
+
+<interactive>:12:1: error:
+    Unacceptable result type in foreign declaration:
+      Safe Haskell is on, all FFI imports must be in the IO monad
+    When checking declaration:
+      foreign import ccall safe "static sin" c_sin :: Double -> Double
+
+<interactive>:13:1: error:
+    Variable not in scope: c_sin :: Integer -> t0
+    Perhaps you meant ‘c_sin'’ (line 8)
index f322c78..b7a7f29 100644 (file)
@@ -1,8 +1,8 @@
-\r
-T10072.hs:3:31: error:\r
-    Found hole: _ :: w_\r
-    Where: ‘w_’ is a rigid type variable bound by\r
-                the RULE "map/empty" at T10072.hs:3:1\r
-    To use the inferred type, enable PartialTypeSignatures\r
-    In a RULE for ‘f’: a -> _\r
-    When checking the transformation rule "map/empty"\r
+
+T10072.hs:3:31: error:
+    Found hole: _ :: w_0
+    Where: ‘w_0’ is a rigid type variable bound by
+                 the RULE "map/empty" at T10072.hs:3:1
+    To use the inferred type, enable PartialTypeSignatures
+    In a RULE for ‘f’: a -> _
+    When checking the transformation rule "map/empty"
index 2eaf8f4..501ba0e 100644 (file)
@@ -1,33 +1,33 @@
-\r
-holes.hs:3:5: warning:\r
-    Found hole: _ :: t\r
-    Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of f :: t at holes.hs:3:1\r
-    Relevant bindings include f :: t (bound at holes.hs:3:1)\r
-    In the expression: _\r
-    In an equation for ‘f’: f = _\r
-\r
-holes.hs:6:7: warning:\r
-    Found hole: _ :: Char\r
-    Relevant bindings include\r
-      x :: Int (bound at holes.hs:6:3)\r
-      g :: Int -> Char (bound at holes.hs:6:1)\r
-    In the expression: _\r
-    In an equation for ‘g’: g x = _\r
-\r
-holes.hs:8:5: warning:\r
-    Found hole: _ :: [Char]\r
-    Relevant bindings include h :: [Char] (bound at holes.hs:8:1)\r
-    In the first argument of ‘(++)’, namely ‘_’\r
-    In the expression: _ ++ "a"\r
-    In an equation for ‘h’: h = _ ++ "a"\r
-\r
-holes.hs:11:15: warning:\r
-    Found hole: _ :: b0\r
-    Where: ‘b0’ is an ambiguous type variable\r
-    Relevant bindings include\r
-      y :: [a] (bound at holes.hs:11:3)\r
-      z :: [a] -> [a] (bound at holes.hs:11:1)\r
-    In the second argument of ‘const’, namely ‘_’\r
-    In the expression: const y _\r
-    In an equation for ‘z’: z y = const y _\r
+
+holes.hs:3:5: warning:
+    Found hole: _ :: t0
+    Where: ‘t0’ is a rigid type variable bound by
+                the inferred type of f :: t0 at holes.hs:3:1
+    Relevant bindings include f :: t0 (bound at holes.hs:3:1)
+    In the expression: _
+    In an equation for ‘f’: f = _
+
+holes.hs:6:7: warning:
+    Found hole: _ :: Char
+    Relevant bindings include
+      x :: Int (bound at holes.hs:6:3)
+      g :: Int -> Char (bound at holes.hs:6:1)
+    In the expression: _
+    In an equation for ‘g’: g x = _
+
+holes.hs:8:5: warning:
+    Found hole: _ :: [Char]
+    Relevant bindings include h :: [Char] (bound at holes.hs:8:1)
+    In the first argument of ‘(++)’, namely ‘_’
+    In the expression: _ ++ "a"
+    In an equation for ‘h’: h = _ ++ "a"
+
+holes.hs:11:15: warning:
+    Found hole: _ :: b0
+    Where: ‘b0’ is an ambiguous type variable
+    Relevant bindings include
+      y :: [a] (bound at holes.hs:11:3)
+      z :: [a] -> [a] (bound at holes.hs:11:1)
+    In the second argument of ‘const’, namely ‘_’
+    In the expression: const y _
+    In an equation for ‘z’: z y = const y _
index 5770716..c807418 100644 (file)
@@ -1,36 +1,36 @@
-\r
-holes3.hs:3:5: error:\r
-    Found hole: _ :: t\r
-    Where: ‘t’ is a rigid type variable bound by\r
-               the inferred type of f :: t at holes3.hs:3:1\r
-    Relevant bindings include f :: t (bound at holes3.hs:3:1)\r
-    In the expression: _\r
-    In an equation for ‘f’: f = _\r
-\r
-holes3.hs:6:7: error:\r
-    Found hole: _gr :: Char\r
-    Or perhaps ‘_gr’ is mis-spelled, or not in scope\r
-    Relevant bindings include\r
-      x :: Int (bound at holes3.hs:6:3)\r
-      g :: Int -> Char (bound at holes3.hs:6:1)\r
-    In the expression: _gr\r
-    In an equation for ‘g’: g x = _gr\r
-\r
-holes3.hs:8:5: error:\r
-    Found hole: _aa :: [Char]\r
-    Or perhaps ‘_aa’ is mis-spelled, or not in scope\r
-    Relevant bindings include h :: [Char] (bound at holes3.hs:8:1)\r
-    In the first argument of ‘(++)’, namely ‘_aa’\r
-    In the expression: _aa ++ "a"\r
-    In an equation for ‘h’: h = _aa ++ "a"\r
-\r
-holes3.hs:11:15: error:\r
-    Found hole: _x :: b0\r
-    Where: ‘b0’ is an ambiguous type variable\r
-    Or perhaps ‘_x’ is mis-spelled, or not in scope\r
-    Relevant bindings include\r
-      y :: [a] (bound at holes3.hs:11:3)\r
-      z :: [a] -> [a] (bound at holes3.hs:11:1)\r
-    In the second argument of ‘const’, namely ‘_x’\r
-    In the expression: const y _x\r
-    In an equation for ‘z’: z y = const y _x\r
+
+holes3.hs:3:5: error:
+    Found hole: _ :: t0
+    Where: ‘t0’ is a rigid type variable bound by
+                the inferred type of f :: t0 at holes3.hs:3:1
+    Relevant bindings include f :: t0 (bound at holes3.hs:3:1)
+    In the expression: _
+    In an equation for ‘f’: f = _
+
+holes3.hs:6:7: error:
+    Found hole: _gr :: Char
+    Or perhaps ‘_gr’ is mis-spelled, or not in scope
+    Relevant bindings include
+      x :: Int (bound at holes3.hs:6:3)
+      g :: Int -> Char (bound at holes3.hs:6:1)
+    In the expression: _gr
+    In an equation for ‘g’: g x = _gr
+
+holes3.hs:8:5: error:
+    Found hole: _aa :: [Char]
+    Or perhaps ‘_aa’ is mis-spelled, or not in scope
+    Relevant bindings include h :: [Char] (bound at holes3.hs:8:1)
+    In the first argument of ‘(++)’, namely ‘_aa’
+    In the expression: _aa ++ "a"
+    In an equation for ‘h’: h = _aa ++ "a"
+
+holes3.hs:11:15: error:
+    Found hole: _x :: b0
+    Where: ‘b0’ is an ambiguous type variable
+    Or perhaps ‘_x’ is mis-spelled, or not in scope
+    Relevant bindings include
+      y :: [a] (bound at holes3.hs:11:3)
+      z :: [a] -> [a] (bound at holes3.hs:11:1)
+    In the second argument of ‘const’, namely ‘_x’
+    In the expression: const y _x
+    In an equation for ‘z’: z y = const y _x
index 07adbfc..cca4b60 100644 (file)
@@ -1,26 +1,26 @@
 
-tc141.hs:11:12:
+tc141.hs:11:12: error:
     You cannot bind scoped type variable ‘a’
       in a pattern binding signature
     In the pattern: p :: a
     In the pattern: (p :: a, q :: a)
     In a pattern binding: (p :: a, q :: a) = x
 
-tc141.hs:11:31:
-    Couldn't match expected type ‘a1’ with actual type ‘a
-      because type variable ‘a1’ would escape its scope
+tc141.hs:11:31: error:
+    Couldn't match expected type ‘a’ with actual type ‘a0
+      because type variable ‘a’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      an expression type signature: a1
+      an expression type signature: a
       at tc141.hs:11:31-34
     Relevant bindings include
-      p :: a (bound at tc141.hs:11:12)
-      q :: a (bound at tc141.hs:11:17)
-      x :: (a, a) (bound at tc141.hs:11:3)
-      f :: (a, a) -> (t, a) (bound at tc141.hs:11:1)
+      p :: a0 (bound at tc141.hs:11:12)
+      q :: a0 (bound at tc141.hs:11:17)
+      x :: (a0, a0) (bound at tc141.hs:11:3)
+      f :: (a0, a0) -> (t0, a0) (bound at tc141.hs:11:1)
     In the expression: q :: a
     In the expression: (q :: a, p)
 
-tc141.hs:13:13:
+tc141.hs:13:13: error:
     You cannot bind scoped type variable ‘a’
       in a pattern binding signature
     In the pattern: y :: a
@@ -32,15 +32,15 @@ tc141.hs:13:13:
         v = b
       in v
 
-tc141.hs:15:18:
-    Couldn't match expected type ‘a2’ with actual type ‘t
-      because type variable ‘a2’ would escape its scope
+tc141.hs:15:18: error:
+    Couldn't match expected type ‘a’ with actual type ‘t0
+      because type variable ‘a’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      the type signature for: v :: a2
+      the type signature for: v :: a
       at tc141.hs:14:19
     Relevant bindings include
-      v :: a2 (bound at tc141.hs:15:14)
-      b :: t (bound at tc141.hs:13:5)
-      g :: a -> t -> a1 (bound at tc141.hs:13:1)
+      v :: a (bound at tc141.hs:15:14)
+      b :: t0 (bound at tc141.hs:13:5)
+      g :: a0 -> t0 -> a1 (bound at tc141.hs:13:1)
     In the expression: b
     In an equation for ‘v’: v = b
index 4eca08f..0d604fc 100644 (file)
@@ -1,10 +1,10 @@
 
-tc168.hs:17:1:
+tc168.hs:17:1: error:
     Could not deduce (C a1 (a, b0))
     from the context: C a1 (a, b)
       bound by the inferred type for ‘g’: C a1 (a, b) => a1 -> a
       at tc168.hs:17:1-16
     The type variable ‘b0’ is ambiguous
     When checking that ‘g’ has the inferred type
-      g :: forall a b a1. C a1 (a, b) => a1 -> a
+      g :: forall a0 b0 a1. C a1 (a0, b0) => a1 -> a0
     Probable cause: the inferred type is ambiguous
index 34a35f1..14483bf 100644 (file)
@@ -1,5 +1,5 @@
 
-tc211.hs:17:8:
+tc211.hs:17:8: error:
     Couldn't match expected type ‘forall a. a -> a’
                 with actual type ‘a2 -> a2’
     In the expression:
@@ -10,7 +10,7 @@ tc211.hs:17:8:
          (forall a. a -> a) -> [forall a. a -> a] -> [forall a. a -> a])
         (head foo) foo
 
-tc211.hs:18:22:
+tc211.hs:18:22: error:
     Couldn't match type ‘forall a3. a3 -> a3’ with ‘a -> a’
     Expected type: [a -> a]
       Actual type: [forall a. a -> a]
@@ -20,7 +20,7 @@ tc211.hs:18:22:
                                 -> [forall a. a -> a] -> [forall a. a -> a]’, namely
       ‘(head foo)’
 
-tc211.hs:59:18:
+tc211.hs:59:18: error:
     Couldn't match expected type ‘forall a. a -> a’
                 with actual type ‘a1 -> a1’
     In the expression:
@@ -33,7 +33,7 @@ tc211.hs:59:18:
               (forall a. a -> a)
               -> List (forall a. a -> a) -> List (forall a. a -> a)
 
-tc211.hs:65:8:
+tc211.hs:65:8: error:
     Couldn't match expected type ‘forall a. a -> a’
                 with actual type ‘a0 -> a0’
     In the expression:
@@ -46,11 +46,11 @@ tc211.hs:65:8:
          -> List (forall a. a -> a) -> List (forall a. a -> a))
         (\ x -> x) Nil
 
-tc211.hs:73:9:
-    Couldn't match type ‘forall a4. a4 -> a4’ with ‘a3 -> a3
-    Expected type: List (forall a. a -> a)
-                   -> (forall a. a -> a) -> a3 -> a3
-      Actual type: List (a3 -> a3) -> (a3 -> a3) -> a3 -> a3
+tc211.hs:73:9: error:
+    Couldn't match type ‘forall a4. a4 -> a4’ with ‘a -> a
+    Expected type: List (forall a1. a1 -> a1)
+                   -> (forall a1. a1 -> a1) -> a -> a
+      Actual type: List (a -> a) -> (a -> a) -> a -> a
     In the expression:
         foo2 ::
           List (forall a. a -> a) -> (forall a. a -> a) -> (forall a. a -> a)
index a738c7f..caad70e 100644 (file)
@@ -1,14 +1,14 @@
 
 FDsFromGivens2.hs:14:15: error:
-    Couldn't match type ‘Char’ with ‘[a]’
-    arising from a functional dependency between constraints:
-      ‘C Char [a]’ arising from a use of ‘f’ at FDsFromGivens2.hs:14:15
-      ‘C Char Char’
-        arising from a pattern with constructor:
-                       KCC :: C Char Char => () -> KCC,
-                     in an equation for ‘bar’
-        at FDsFromGivens2.hs:14:6-10
+    Couldn't match type ‘Char’ with ‘[a0]’
+      arising from a functional dependency between constraints:
+        ‘C Char [a0]’ arising from a use of ‘f’ at FDsFromGivens2.hs:14:15
+        ‘C Char Char’
+          arising from a pattern with constructor:
+                         KCC :: C Char Char => () -> KCC,
+                       in an equation for ‘bar’
+          at FDsFromGivens2.hs:14:6-10
     Relevant bindings include
-      bar :: KCC -> a -> a (bound at FDsFromGivens2.hs:14:1)
+      bar :: KCC -> a0 -> a0 (bound at FDsFromGivens2.hs:14:1)
     In the expression: f
     In an equation for ‘bar’: bar (KCC _) = f
index 932ba10..9a5cf03 100644 (file)
@@ -1,5 +1,5 @@
 
-FrozenErrorTests.hs:12:12:
+FrozenErrorTests.hs:12:12: error:
     Couldn't match type ‘Int’ with ‘Bool’
     Inaccessible code in
       a pattern with constructor: MkT3 :: forall a. (a ~ Bool) => T a,
@@ -8,16 +8,16 @@ FrozenErrorTests.hs:12:12:
     In a case alternative: MkT3 -> ()
     In the expression: case x of { MkT3 -> () }
 
-FrozenErrorTests.hs:26:9:
-    Occurs check: cannot construct the infinite type: a ~ [a]
-    Expected type: [a]
-      Actual type: F a Bool
+FrozenErrorTests.hs:26:9: error:
+    Occurs check: cannot construct the infinite type: a0 ~ [a0]
+    Expected type: [a0]
+      Actual type: F a0 Bool
     Relevant bindings include
-      test1 :: a (bound at FrozenErrorTests.hs:26:1)
+      test1 :: a0 (bound at FrozenErrorTests.hs:26:1)
     In the expression: goo1 False undefined
     In an equation for ‘test1’: test1 = goo1 False undefined
 
-FrozenErrorTests.hs:29:15:
+FrozenErrorTests.hs:29:15: error:
     Couldn't match type ‘Int’ with ‘[Int]’
     Expected type: [[Int]]
       Actual type: F [Int] Bool
@@ -25,28 +25,28 @@ FrozenErrorTests.hs:29:15:
     In the expression: goo2 (goo1 False undefined)
     In an equation for ‘test2’: test2 = goo2 (goo1 False undefined)
 
-FrozenErrorTests.hs:30:9:
+FrozenErrorTests.hs:30:9: error:
     Couldn't match type ‘Int’ with ‘[Int]’
     Expected type: [[Int]]
       Actual type: F [Int] Bool
     In the expression: goo1 False (goo2 undefined)
     In an equation for ‘test3’: test3 = goo1 False (goo2 undefined)
 
-FrozenErrorTests.hs:45:15:
-    Couldn't match type ‘T2 c c’ with ‘M (T2 (T2 c c) c)’
-    Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)
-      Actual type: F (T2 (T2 c c) c) Bool
+FrozenErrorTests.hs:45:15: error:
+    Couldn't match type ‘T2 c0 c0’ with ‘M (T2 (T2 c0 c0) c0)’
+    Expected type: T2 (M (T2 (T2 c0 c0) c0)) (T2 (T2 c0 c0) c0)
+      Actual type: F (T2 (T2 c0 c0) c0) Bool
     Relevant bindings include
-      test4 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:45:1)
+      test4 :: T2 (T2 c0 c0) c0 (bound at FrozenErrorTests.hs:45:1)
     In the first argument of ‘goo4’, namely ‘(goo3 False undefined)’
     In the expression: goo4 (goo3 False undefined)
     In an equation for ‘test4’: test4 = goo4 (goo3 False undefined)
 
-FrozenErrorTests.hs:46:9:
-    Couldn't match type ‘T2 c c’ with ‘M (T2 (T2 c c) c)’
-    Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)
-      Actual type: F (T2 (T2 c c) c) Bool
+FrozenErrorTests.hs:46:9: error:
+    Couldn't match type ‘T2 c0 c0’ with ‘M (T2 (T2 c0 c0) c0)’
+    Expected type: T2 (M (T2 (T2 c0 c0) c0)) (T2 (T2 c0 c0) c0)
+      Actual type: F (T2 (T2 c0 c0) c0) Bool
     Relevant bindings include
-      test5 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:46:1)
+      test5 :: T2 (T2 c0 c0) c0 (bound at FrozenErrorTests.hs:46:1)
     In the expression: goo3 False (goo4 undefined)
     In an equation for ‘test5’: test5 = goo3 False (goo4 undefined)
index 178005a..a6bf71d 100644 (file)
@@ -1,5 +1,5 @@
-\r
-T10351.hs:6:7: error:\r
-    No instance for (C [t]) arising from a use of ‘op’\r
-    In the expression: op [x]\r
-    In an equation for ‘f’: f x = op [x]\r
+
+T10351.hs:6:7: error:
+    No instance for (C [t0]) arising from a use of ‘op’
+    In the expression: op [x]
+    In an equation for ‘f’: f x = op [x]
index 5e7a590..0256d95 100644 (file)
@@ -1,10 +1,10 @@
 
-T1897a.hs:9:1:
+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
     When checking that ‘foo’ has the inferred type
-      foo :: forall a b. Wob a b => b -> [b]
+      foo :: forall a0 b0. Wob a0 b0 => b0 -> [b0]
     Probable cause: the inferred type is ambiguous
index 157521f..df3a934 100644 (file)
@@ -1,8 +1,8 @@
 
-T2534.hs:3:13:
-    Couldn't match type ‘[b]’ with ‘a0 -> [b]’
-    Expected type: [a0] -> [b] -> [b]
-      Actual type: [a0] -> (a0 -> [b]) -> [b]
-    Relevant bindings include foo :: [b] (bound at T2534.hs:3:1)
+T2534.hs:3:13: error:
+    Couldn't match type ‘[b0]’ with ‘a0 -> [b0]’
+    Expected type: [a0] -> [b0] -> [b0]
+      Actual type: [a0] -> (a0 -> [b0]) -> [b0]
+    Relevant bindings include foo :: [b0] (bound at T2534.hs:3:1)
     In the first argument of ‘foldr’, namely ‘(>>=)’
     In the expression: foldr (>>=) [] []
index 2d5c902..eb8f7b7 100644 (file)
@@ -1,18 +1,18 @@
 
 T5853.hs:15:52: error:
     Could not deduce: Subst t1 (Elem t2) ~ t2
-    from the context: (F t,
-                       Subst t (Elem t2) ~ t2,
-                       Subst t2 (Elem t) ~ t,
+    from the context: (F t0,
+                       Subst t0 (Elem t2) ~ t2,
+                       Subst t2 (Elem t0) ~ t0,
                        F t1,
-                       Subst t1 (Elem t) ~ t,
-                       Subst t (Elem t1) ~ t1)
+                       Subst t1 (Elem t0) ~ t0,
+                       Subst t0 (Elem t1) ~ t1)
       bound by the RULE "map/map" at T5853.hs:15:2-57
-      ‘t2’ is a rigid type variable bound by
-           the RULE "map/map" at T5853.hs:15:2
+    ‘t2’ is a rigid type variable bound by
+         the RULE "map/map" at T5853.hs:15:2
     Relevant bindings include
-      f :: Elem t -> Elem t2 (bound at T5853.hs:15:19)
-      g :: Elem t1 -> Elem t (bound at T5853.hs:15:21)
+      f :: Elem t0 -> Elem t2 (bound at T5853.hs:15:19)
+      g :: Elem t1 -> Elem t0 (bound at T5853.hs:15:21)
       xs :: t1 (bound at T5853.hs:15:23)
     In the expression: (f . g) <$> xs
     When checking the transformation rule "map/map"
index a85c628..acde64e 100644 (file)
@@ -1,6 +1,6 @@
 
 T6022.hs:3:9: error:
-    No instance for (Eq ([a] -> a)) arising from a use of ‘==’
+    No instance for (Eq ([a0] -> a0)) arising from a use of ‘==’
       (maybe you haven't applied a function to enough arguments?)
     In the expression: x == head
     In an equation for ‘f’: f x = x == head
index b2696d4..3ed15e9 100644 (file)
@@ -1,12 +1,12 @@
 
-T7264.hs:13:19:
-    Couldn't match type ‘a’ with ‘forall r. r -> String’
-      ‘a’ is a rigid type variable bound by
-          the inferred type of mkFoo2 :: a -> Maybe Foo at T7264.hs:13:1
-    Expected type: a -> Foo
+T7264.hs:13:19: error:
+    Couldn't match type ‘a0’ with ‘forall r. r -> String’
+    ‘a0’ is a rigid type variable bound by
+         the inferred type of mkFoo2 :: a0 -> Maybe Foo at T7264.hs:13:1
+    Expected type: a0 -> Foo
       Actual type: (forall r. r -> String) -> Foo
     Relevant bindings include
-      val :: a (bound at T7264.hs:13:8)
-      mkFoo2 :: a -> Maybe Foo (bound at T7264.hs:13:1)
+      val :: a0 (bound at T7264.hs:13:8)
+      mkFoo2 :: a0 -> Maybe Foo (bound at T7264.hs:13:1)
     In the first argument of ‘mmap’, namely ‘Foo’
     In the expression: mmap Foo (Just val)
index 0a0f73d..c5383f1 100644 (file)
@@ -1,43 +1,43 @@
 
 T7453.hs:10:30: error:
-    Couldn't match expected type ‘t1’ with actual type ‘t
-      because type variable ‘t1’ would escape its scope
+    Couldn't match expected type ‘t’ with actual type ‘t0
+      because type variable ‘t’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      the type signature for: z :: Id t1
+      the type signature for: z :: Id t
       at T7453.hs:8:16-19
     Relevant bindings include
-      aux :: Id t1 (bound at T7453.hs:10:21)
-      z :: Id t1 (bound at T7453.hs:9:11)
-      v :: t (bound at T7453.hs:7:7)
-      cast1 :: t -> a (bound at T7453.hs:7:1)
+      aux :: Id t (bound at T7453.hs:10:21)
+      z :: Id t (bound at T7453.hs:9:11)
+      v :: t0 (bound at T7453.hs:7:7)
+      cast1 :: t0 -> a0 (bound at T7453.hs:7:1)
     In the first argument of ‘Id’, namely ‘v’
     In the expression: Id v
 
 T7453.hs:16:33: error:
-    Couldn't match expected type ‘t2’ with actual type ‘t
-      because type variable ‘t2’ would escape its scope
+    Couldn't match expected type ‘t’ with actual type ‘t0
+      because type variable ‘t’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      the type signature for: z :: () -> t2
+      the type signature for: z :: () -> t
       at T7453.hs:14:16-22
     Relevant bindings include
-      aux :: b -> t2 (bound at T7453.hs:16:21)
-      z :: () -> t2 (bound at T7453.hs:15:11)
-      v :: t (bound at T7453.hs:13:7)
-      cast2 :: t -> t1 (bound at T7453.hs:13:1)
+      aux :: b0 -> t (bound at T7453.hs:16:21)
+      z :: () -> t (bound at T7453.hs:15:11)
+      v :: t0 (bound at T7453.hs:13:7)
+      cast2 :: t0 -> t1 (bound at T7453.hs:13:1)
     In the first argument of ‘const’, namely ‘v’
     In the expression: const v
 
 T7453.hs:21:15: error:
-    Couldn't match expected type ‘t2’ with actual type ‘t
-      because type variable ‘t2’ would escape its scope
+    Couldn't match expected type ‘t’ with actual type ‘t0
+      because type variable ‘t’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      the type signature for: z :: t2
+      the type signature for: z :: t
       at T7453.hs:20:16
     Relevant bindings include
-      aux :: forall b. b -> t2 (bound at T7453.hs:22:21)
-      z :: t2 (bound at T7453.hs:21:11)
-      v :: t (bound at T7453.hs:19:7)
-      cast3 :: t -> t1 (bound at T7453.hs:19:1)
+      aux :: forall b0. b0 -> t (bound at T7453.hs:22:21)
+      z :: t (bound at T7453.hs:21:11)
+      v :: t0 (bound at T7453.hs:19:7)
+      cast3 :: t0 -> t1 (bound at T7453.hs:19:1)
     In the expression: v
     In an equation for ‘z’:
         z = v
index 3f59340..ae19834 100644 (file)
@@ -1,16 +1,16 @@
 
-T7734.hs:4:13:
+T7734.hs:4:13: error:
     Occurs check: cannot construct the infinite type: t2 ~ t2 -> t1
     Relevant bindings include
       x :: t2 -> t1 (bound at T7734.hs:4:1)
-      f :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:4:1)
+      f :: (t2 -> t1) -> t0 -> t1 (bound at T7734.hs:4:1)
     In the first argument of ‘x’, namely ‘x’
     In the expression: x x
 
-T7734.hs:5:13:
+T7734.hs:5:13: error:
     Occurs check: cannot construct the infinite type: t2 ~ t2 -> t1
     Relevant bindings include
       x :: t2 -> t1 (bound at T7734.hs:5:5)
-      (&) :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:5:1)
+      (&) :: (t2 -> t1) -> t0 -> t1 (bound at T7734.hs:5:1)
     In the first argument of ‘x’, namely ‘x’
     In the expression: x x
index bc8fed9..4e046e8 100644 (file)
@@ -1,8 +1,8 @@
 
-T7857.hs:8:11:
+T7857.hs:8:11: error:
     Could not deduce (PrintfType r0) arising from a use of ‘printf’
-    from the context: PrintfArg t
-      bound by the inferred type of g :: PrintfArg t => t -> b
+    from the context: PrintfArg t0
+      bound by the inferred type of g :: PrintfArg t0 => t0 -> b0
       at T7857.hs:8:1-21
     The type variable ‘r0’ is ambiguous
     Note: there are several potential instances:
index dd3aabc..a66b0d3 100644 (file)
@@ -1,28 +1,28 @@
 
-T7869.hs:3:12:
-    Couldn't match type ‘a’ with ‘a1
-      because type variable ‘a1’ would escape its scope
+T7869.hs:3:12: error:
+    Couldn't match type ‘a0’ with ‘a
+      because type variable ‘a’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      an expression type signature: [a1] -> b1
+      an expression type signature: [a] -> b
       at T7869.hs:3:5-27
-    Expected type: [a1] -> b1
-      Actual type: [a] -> b
+    Expected type: [a] -> b
+      Actual type: [a0] -> b0
     Relevant bindings include
-      x :: [a1] (bound at T7869.hs:3:7)
-      f :: [a] -> b (bound at T7869.hs:3:1)
+      x :: [a] (bound at T7869.hs:3:7)
+      f :: [a0] -> b0 (bound at T7869.hs:3:1)
     In the expression: f x
     In the expression: (\ x -> f x) :: [a] -> b
     In an equation for ‘f’: f = (\ x -> f x) :: [a] -> b
 
-T7869.hs:3:12:
-    Couldn't match type ‘b’ with ‘b1
-      because type variable ‘b1’ would escape its scope
+T7869.hs:3:12: error:
+    Couldn't match type ‘b0’ with ‘b
+      because type variable ‘b’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      an expression type signature: [a1] -> b1
+      an expression type signature: [a] -> b
       at T7869.hs:3:5-27
-    Expected type: [a1] -> b1
-      Actual type: [a] -> b
-    Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)
+    Expected type: [a] -> b
+      Actual type: [a0] -> b0
+    Relevant bindings include f :: [a0] -> b0 (bound at T7869.hs:3:1)
     In the expression: f x
     In the expression: (\ x -> f x) :: [a] -> b
     In an equation for ‘f’: f = (\ x -> f x) :: [a] -> b
index 43a3a46..c601a6d 100644 (file)
@@ -6,7 +6,7 @@ T8142.hs:6:18: error:
     Expected type: Nu ((,) t) -> Nu g
       Actual type: Nu ((,) t0) -> Nu g0
     When checking that ‘h’ has the inferred type
-      h :: forall t (g :: * -> *). Nu ((,) t) -> Nu g
+      h :: forall t0 (g0 :: * -> *). Nu ((,) t0) -> Nu g0
     Probable cause: the inferred type is ambiguous
     In an equation for ‘tracer’:
         tracer
@@ -15,10 +15,10 @@ T8142.hs:6:18: error:
               h = (\ (_, b) -> ((outI . fmap h) b)) . out
 
 T8142.hs:6:57: error:
-    Couldn't match type ‘Nu ((,) t)’ with ‘g (Nu ((,) t))’
-    Expected type: Nu ((,) t) -> (t, g (Nu ((,) t)))
-      Actual type: Nu ((,) t) -> (t, Nu ((,) t))
+    Couldn't match type ‘Nu ((,) t0)’ with ‘g0 (Nu ((,) t0))’
+    Expected type: Nu ((,) t0) -> (t0, g0 (Nu ((,) t0)))
+      Actual type: Nu ((,) t0) -> (t0, Nu ((,) t0))
     Relevant bindings include
-      h :: Nu ((,) t) -> Nu g (bound at T8142.hs:6:18)
+      h :: Nu ((,) t0) -> Nu g0 (bound at T8142.hs:6:18)
     In the second argument of ‘(.)’, namely ‘out’
     In the expression: (\ (_, b) -> ((outI . fmap h) b)) . out
index 5d77a6c..dade165 100644 (file)
@@ -2,10 +2,10 @@
 T8262.hs:5:15: error:
     Couldn't match kind ‘*’ with ‘#’
     When matching types
-      a :: *
+      a0 :: *
       Int# :: #
     Relevant bindings include
-      foo :: t -> Maybe a (bound at T8262.hs:5:1)
+      foo :: t0 -> Maybe a0 (bound at T8262.hs:5:1)
     In the first argument of ‘Just’, namely ‘(1#)’
     In the expression: Just (1#)
     In an equation for ‘foo’: foo x = Just (1#)
index dc4bdfc..25d4903 100644 (file)
@@ -1,10 +1,10 @@
-\r
-T8883.hs:20:14: error:\r
-    Could not deduce (Functor (PF a)) arising from a use of ‘fmap’\r
-    from the context: Regular a\r
-      bound by the inferred type of\r
-               fold :: Regular a => (PF a b -> b) -> a -> b\r
-      at T8883.hs:20:1-33\r
-    In the first argument of ‘(.)’, namely ‘fmap (fold f)’\r
-    In the second argument of ‘(.)’, namely ‘fmap (fold f) . from’\r
-    In the expression: f . fmap (fold f) . from\r
+
+T8883.hs:20:14: error:
+    Could not deduce (Functor (PF a0)) arising from a use of ‘fmap’
+    from the context: Regular a0
+      bound by the inferred type of
+               fold :: Regular a0 => (PF a0 b0 -> b0) -> a0 -> b0
+      at T8883.hs:20:1-33
+    In the first argument of ‘(.)’, namely ‘fmap (fold f)’
+    In the second argument of ‘(.)’, namely ‘fmap (fold f) . from’
+    In the expression: f . fmap (fold f) . from
index 1c7e6e5..5ad7601 100644 (file)
@@ -1,14 +1,14 @@
 
-T9109.hs:8:13:
-    Couldn't match expected type ‘t’ with actual type ‘Bool’
-      ‘t’ is untouchable
+T9109.hs:8:13: error:
+    Couldn't match expected type ‘t0’ with actual type ‘Bool’
+      ‘t0’ is untouchable
         inside the constraints: t1 ~ Bool
         bound by a pattern with constructor: GBool :: G Bool,
                  in an equation for ‘foo’
         at T9109.hs:8:5-9
-      ‘t’ is a rigid type variable bound by
-          the inferred type of foo :: G t1 -> t at T9109.hs:8:1
+    ‘t0’ is a rigid type variable bound by
+         the inferred type of foo :: G t1 -> t0 at T9109.hs:8:1
     Possible fix: add a type signature for ‘foo’
-    Relevant bindings include foo :: G t1 -> t (bound at T9109.hs:8:1)
+    Relevant bindings include foo :: G t1 -> t0 (bound at T9109.hs:8:1)
     In the expression: True
     In an equation for ‘foo’: foo GBool = True
index 9501f93..f388d1a 100644 (file)
@@ -1,21 +1,21 @@
-\r
-mc22.hs:9:9:\r
-    No instance for (Functor t) arising from a use of ‘fmap’\r
-    Possible fix:\r
-      add (Functor t) to the context of\r
-        a type expected by the context: (a -> b) -> t a -> t b\r
-        or the inferred type of foo :: [t [Char]]\r
-    In the expression: fmap\r
-    In a stmt of a monad comprehension: then group using take 5\r
-    In the expression:\r
-      [x + 1 | x <- ["Hello", "World"], then group using take 5]\r
-\r
-mc22.hs:10:26:\r
-    Couldn't match type ‘a’ with ‘t a’\r
-      ‘a’ is a rigid type variable bound by\r
-          a type expected by the context: [a] -> [t a] at mc22.hs:9:9\r
-    Expected type: [a] -> [t a]\r
-      Actual type: [t a] -> [t a]\r
-    Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1)\r
-    In the expression: take 5\r
-    In a stmt of a monad comprehension: then group using take 5\r
+
+mc22.hs:9:9: error:
+    No instance for (Functor t0) arising from a use of ‘fmap’
+    Possible fix:
+      add (Functor t0) to the context of
+        a type expected by the context: (a -> b) -> t0 a -> t0 b
+        or the inferred type of foo :: [t0 [Char]]
+    In the expression: fmap
+    In a stmt of a monad comprehension: then group using take 5
+    In the expression:
+      [x + 1 | x <- ["Hello", "World"], then group using take 5]
+
+mc22.hs:10:26: error:
+    Couldn't match type ‘a’ with ‘t0 a’
+    ‘a’ is a rigid type variable bound by
+        a type expected by the context: [a] -> [t0 a] at mc22.hs:9:9
+    Expected type: [a] -> [t0 a]
+      Actual type: [t0 a] -> [t0 a]
+    Relevant bindings include foo :: [t0 [Char]] (bound at mc22.hs:8:1)
+    In the expression: take 5
+    In a stmt of a monad comprehension: then group using take 5
index 9f4a467..917927a 100644 (file)
@@ -1,9 +1,9 @@
 
-mc23.hs:9:29:
-    Couldn't match type ‘[a0]’ with ‘[a] -> m a’
-    Expected type: (a -> b) -> [a] -> m a
+mc23.hs:9:29: error:
+    Couldn't match type ‘[a0]’ with ‘[a] -> m0 a’
+    Expected type: (a -> b0) -> [a] -> m0 a
       Actual type: [a0] -> [a0]
-    Relevant bindings include z :: m b (bound at mc23.hs:9:1)
+    Relevant bindings include z :: m0 b0 (bound at mc23.hs:9:1)
     Possible cause: ‘take’ is applied to too many arguments
     In the expression: take 5
     In a stmt of a monad comprehension: then take 5 by x
index 3260edb..bfba31e 100644 (file)
@@ -1,9 +1,9 @@
 
-mc24.hs:10:31:
-    Couldn't match type ‘[a0]’ with ‘[a] -> m [a]’
-    Expected type: (a -> Integer) -> [a] -> m [a]
+mc24.hs:10:31: error:
+    Couldn't match type ‘[a0]’ with ‘[a] -> m0 [a]’
+    Expected type: (a -> Integer) -> [a] -> m0 [a]
       Actual type: [a0] -> [a0]
-    Relevant bindings include foo :: m Int (bound at mc24.hs:8:1)
+    Relevant bindings include foo :: m0 Int (bound at mc24.hs:8:1)
     Possible cause: ‘take’ is applied to too many arguments
     In the expression: take 2
     In a stmt of a monad comprehension: then group by x using take 2
index ec88439..c0e1370 100644 (file)
@@ -4,15 +4,15 @@ mc25.hs:9:10: error:
     Possible fix:
       add (Functor t1) to the context of
         a type expected by the context: (a -> b) -> t1 a -> t1 b
-        or the inferred type of z :: [t1 t]
+        or the inferred type of z :: [t1 t0]
     In the expression: fmap
     In a stmt of a monad comprehension: then group by x using take
     In the expression: [x | x <- [1 .. 10], then group by x using take]
 
 mc25.hs:9:46: error:
-    Couldn't match type ‘a -> t’ with ‘Int’
-    Expected type: (a -> t) -> [a] -> [t1 a]
+    Couldn't match type ‘a -> t0’ with ‘Int’
+    Expected type: (a -> t0) -> [a] -> [t1 a]
       Actual type: Int -> [t1 a] -> [t1 a]
-    Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1)
+    Relevant bindings include z :: [t1 t0] (bound at mc25.hs:9:1)
     In the expression: take
     In a stmt of a monad comprehension: then group by x using take
index 11e8078..26291e0 100644 (file)
@@ -1,8 +1,8 @@
 
-tcfail002.hs:4:7:
-    Occurs check: cannot construct the infinite type: t ~ [t]
+tcfail002.hs:4:7: error:
+    Occurs check: cannot construct the infinite type: t0 ~ [t0]
     Relevant bindings include
-      z :: [t] (bound at tcfail002.hs:4:3)
-      c :: [t] -> t (bound at tcfail002.hs:3:1)
+      z :: [t0] (bound at tcfail002.hs:4:3)
+      c :: [t0] -> t0 (bound at tcfail002.hs:3:1)
     In the expression: z
     In an equation for ‘c’: c z = z
index 48840e7..5b4ff95 100644 (file)
@@ -1,9 +1,9 @@
-\r
-tcfail004.hs:3:9:\r
-    Couldn't match expected type ‘(t, t1)’\r
-                with actual type ‘(Integer, Integer, Integer)’\r
-    Relevant bindings include\r
-      f :: t (bound at tcfail004.hs:3:2)\r
-      g :: t1 (bound at tcfail004.hs:3:4)\r
-    In the expression: (1, 2, 3)\r
-    In a pattern binding: (f, g) = (1, 2, 3)\r
+
+tcfail004.hs:3:9: error:
+    Couldn't match expected type ‘(t0, t1)’
+                with actual type ‘(Integer, Integer, Integer)’
+    Relevant bindings include
+      f :: t0 (bound at tcfail004.hs:3:2)
+      g :: t1 (bound at tcfail004.hs:3:4)
+    In the expression: (1, 2, 3)
+    In a pattern binding: (f, g) = (1, 2, 3)
index 36f0e73..ffb896a 100644 (file)
@@ -1,9 +1,9 @@
-\r
-tcfail005.hs:3:9:\r
-    Couldn't match expected type ‘[t]’\r
-                with actual type ‘(Integer, Char)’\r
-    Relevant bindings include\r
-      h :: t (bound at tcfail005.hs:3:2)\r
-      i :: [t] (bound at tcfail005.hs:3:4)\r
-    In the expression: (1, 'a')\r
-    In a pattern binding: (h : i) = (1, 'a')\r
+
+tcfail005.hs:3:9: error:
+    Couldn't match expected type ‘[t0]’
+                with actual type ‘(Integer, Char)’
+    Relevant bindings include
+      h :: t0 (bound at tcfail005.hs:3:2)
+      i :: [t0] (bound at tcfail005.hs:3:4)
+    In the expression: (1, 'a')
+    In a pattern binding: (h : i) = (1, 'a')
index bf567ac..73824e2 100644 (file)
@@ -1,6 +1,7 @@
 
-tcfail013.hs:4:3:
-    Couldn't match expected type ‘[t]’ with actual type ‘Bool’
-    Relevant bindings include f :: [t] -> a (bound at tcfail013.hs:3:1)
+tcfail013.hs:4:3: error:
+    Couldn't match expected type ‘[t0]’ with actual type ‘Bool’
+    Relevant bindings include
+      f :: [t0] -> a0 (bound at tcfail013.hs:3:1)
     In the pattern: True
     In an equation for ‘f’: f True = 2
index 4180007..0a87d02 100644 (file)
@@ -1,22 +1,22 @@
 
-tcfail016.hs:9:20:
-    Couldn't match type ‘(t, Expr t)’ with ‘Expr t
-    Expected type: Expr t
-      Actual type: AnnExpr t
+tcfail016.hs:9:20: error:
+    Couldn't match type ‘(t0, Expr t0)’ with ‘Expr t0
+    Expected type: Expr t0
+      Actual type: AnnExpr t0
     Relevant bindings include
-      e2 :: AnnExpr t (bound at tcfail016.hs:9:11)
-      e1 :: AnnExpr t (bound at tcfail016.hs:9:8)
-      g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1)
+      e2 :: AnnExpr t0 (bound at tcfail016.hs:9:11)
+      e1 :: AnnExpr t0 (bound at tcfail016.hs:9:8)
+      g :: Expr t0 -> [[Char]] (bound at tcfail016.hs:8:1)
     In the first argument of ‘g’, namely ‘e1’
     In the first argument of ‘(++)’, namely ‘(g e1)’
 
-tcfail016.hs:9:28:
-    Couldn't match type ‘(t, Expr t)’ with ‘Expr t
-    Expected type: Expr t
-      Actual type: AnnExpr t
+tcfail016.hs:9:28: error:
+    Couldn't match type ‘(t0, Expr t0)’ with ‘Expr t0
+    Expected type: Expr t0
+      Actual type: AnnExpr t0
     Relevant bindings include
-      e2 :: AnnExpr t (bound at tcfail016.hs:9:11)
-      e1 :: AnnExpr t (bound at tcfail016.hs:9:8)
-      g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1)
+      e2 :: AnnExpr t0 (bound at tcfail016.hs:9:11)
+      e1 :: AnnExpr t0 (bound at tcfail016.hs:9:8)
+      g :: Expr t0 -> [[Char]] (bound at tcfail016.hs:8:1)
     In the first argument of ‘g’, namely ‘e2’
     In the second argument of ‘(++)’, namely ‘(g e2)’
index 4d41c10..8a35684 100644 (file)
@@ -1,12 +1,12 @@
 
-tcfail032.hs:14:8:
-    Couldn't match expected type ‘a1 -> Int’ with actual type ‘t
-      because type variable ‘a1’ would escape its scope
+tcfail032.hs:14:8: error:
+    Couldn't match expected type ‘a -> Int’ with actual type ‘t0
+      because type variable ‘a’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      an expression type signature: Eq a1 => a1 -> Int
+      an expression type signature: Eq a => a -> Int
       at tcfail032.hs:14:8-30
     Relevant bindings include
-      x :: t (bound at tcfail032.hs:14:3)
-      f :: t -> a -> Int (bound at tcfail032.hs:14:1)
+      x :: t0 (bound at tcfail032.hs:14:3)
+      f :: t0 -> a0 -> Int (bound at tcfail032.hs:14:1)
     In the expression: (x :: (Eq a) => a -> Int)
     In an equation for ‘f’: f x = (x :: (Eq a) => a -> Int)
index ea517ea..1858a45 100644 (file)
@@ -1,9 +1,9 @@
 
-tcfail033.hs:4:12:
-    Occurs check: cannot construct the infinite type: t ~ (t, t1)
+tcfail033.hs:4:12: error:
+    Occurs check: cannot construct the infinite type: t0 ~ (t0, t1)
     Relevant bindings include
       y :: t1 (bound at tcfail033.hs:4:19)
-      x :: t (bound at tcfail033.hs:4:17)
-      buglet :: [(t, t1)] (bound at tcfail033.hs:4:1)
+      x :: t0 (bound at tcfail033.hs:4:17)
+      buglet :: [(t0, t1)] (bound at tcfail033.hs:4:1)
     In the expression: x
     In the expression: [x | (x, y) <- buglet]
index 12fc06d..f7ed670 100644 (file)
@@ -1,2 +1,2 @@
-\r
-tcfail049.hs:3:7: error: Variable not in scope: g :: t1 -> t\r
+
+tcfail049.hs:3:7: error: Variable not in scope: g :: t1 -> t0
index 881e497..567a916 100644 (file)
@@ -1,3 +1,3 @@
-\r
-tcfail050.hs:3:7: error:\r
-    Data constructor not in scope: B :: t1 -> t\r
+
+tcfail050.hs:3:7: error:
+    Data constructor not in scope: B :: t1 -> t0
index 3b8d8e9..4837da8 100644 (file)
@@ -1,10 +1,10 @@
 
-tcfail080.hs:27:1:
+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
     When checking that ‘q’ has the inferred type
-      q :: forall (c :: * -> *) a. Collection c a => a -> Bool
+      q :: forall (c0 :: * -> *) a0. Collection c0 a0 => a0 -> Bool
     Probable cause: the inferred type is ambiguous
index cb3008c..8a5c323 100644 (file)
@@ -1,14 +1,14 @@
-\r
-tcfail099.hs:9:20:\r
-    Couldn't match expected type ‘a’ with actual type ‘t\r
-      because type variable ‘a’ would escape its scope\r
-    This (rigid, skolem) type variable is bound by\r
-      a pattern with constructor: C :: forall a. (a -> Int) -> DS,\r
-      in an equation for ‘call’\r
-      at tcfail099.hs:9:7-9\r
-    Relevant bindings include\r
-      arg :: t (bound at tcfail099.hs:9:12)\r
-      f :: a -> Int (bound at tcfail099.hs:9:9)\r
-      call :: DS -> t -> Int (bound at tcfail099.hs:9:1)\r
-    In the first argument of ‘f’, namely ‘arg’\r
-    In the expression: f arg\r
+
+tcfail099.hs:9:20: error:
+    Couldn't match expected type ‘a’ with actual type ‘t0’
+      because type variable ‘a’ would escape its scope
+    This (rigid, skolem) type variable is bound by
+      a pattern with constructor: C :: forall a. (a -> Int) -> DS,
+      in an equation for ‘call’
+      at tcfail099.hs:9:7-9
+    Relevant bindings include
+      arg :: t0 (bound at tcfail099.hs:9:12)
+      f :: a -> Int (bound at tcfail099.hs:9:9)
+      call :: DS -> t0 -> Int (bound at tcfail099.hs:9:1)
+    In the first argument of ‘f’, namely ‘arg’
+    In the expression: f arg
index fdd444d..4a5a8ae 100644 (file)
@@ -3,10 +3,11 @@ tcfail122.hs:8:9: error:
     Couldn't match kind ‘* -> *’ with ‘*’
     When matching types
       c0 :: (* -> *) -> *
-      a :: * -> *
-    Expected type: a b
+      a0 :: * -> *
+    Expected type: a0 b0
       Actual type: c0 d0
-    Relevant bindings include foo :: [a b] (bound at tcfail122.hs:7:1)
+    Relevant bindings include
+      foo :: [a0 b0] (bound at tcfail122.hs:7:1)
     In the expression:
         undefined :: forall (c :: (* -> *) -> *) (d :: * -> *). c d
     In the expression:
index 6908f1d..b43dac3 100644 (file)
@@ -1,38 +1,38 @@
-\r
-tcfail140.hs:10:7: error:\r
-    Couldn't match expected type ‘Integer -> t’ with actual type ‘Int’\r
-    Relevant bindings include bar :: t (bound at tcfail140.hs:10:1)\r
-    The function ‘f’ is applied to two arguments,\r
-    but its type ‘Int -> Int’ has only one\r
-    In the expression: f 3 9\r
-    In an equation for ‘bar’: bar = f 3 9\r
-\r
-tcfail140.hs:12:10: error:\r
-    Couldn't match expected type ‘Integer -> t1’ with actual type ‘Int’\r
-    Relevant bindings include\r
-      rot :: t -> t1 (bound at tcfail140.hs:12:1)\r
-    The operator ‘f’ takes two arguments,\r
-    but its type ‘Int -> Int’ has only one\r
-    In the expression: 3 `f` 4\r
-    In an equation for ‘rot’: rot xs = 3 `f` 4\r
-\r
-tcfail140.hs:14:15: error:\r
-    Couldn't match expected type ‘a -> b’ with actual type ‘Int’\r
-    Relevant bindings include\r
-      xs :: [a] (bound at tcfail140.hs:14:5)\r
-      bot :: [a] -> [b] (bound at tcfail140.hs:14:1)\r
-    The operator ‘f’ takes two arguments,\r
-    but its type ‘Int -> Int’ has only one\r
-    In the first argument of ‘map’, namely ‘(3 `f`)’\r
-    In the expression: map (3 `f`) xs\r
-\r
-tcfail140.hs:16:8: error:\r
-    The constructor ‘Just’ should have 1 argument, but has been given none\r
-    In the pattern: Just\r
-    In the expression: (\ Just x -> x) :: Maybe a -> a\r
-    In the expression: ((\ Just x -> x) :: Maybe a -> a) (Just 1)\r
-\r
-tcfail140.hs:19:1: error:\r
-    Couldn't match expected type ‘t0 -> Bool’ with actual type ‘Int’\r
-    The equation(s) for ‘g’ have two arguments,\r
-    but its type ‘Int -> Int’ has only one\r
+
+tcfail140.hs:10:7: error:
+    Couldn't match expected type ‘Integer -> t1’ with actual type ‘Int’
+    Relevant bindings include bar :: t1 (bound at tcfail140.hs:10:1)
+    The function ‘f’ is applied to two arguments,
+    but its type ‘Int -> Int’ has only one
+    In the expression: f 3 9
+    In an equation for ‘bar’: bar = f 3 9
+
+tcfail140.hs:12:10: error:
+    Couldn't match expected type ‘Integer -> t2’ with actual type ‘Int’
+    Relevant bindings include
+      rot :: t1 -> t2 (bound at tcfail140.hs:12:1)
+    The operator ‘f’ takes two arguments,
+    but its type ‘Int -> Int’ has only one
+    In the expression: 3 `f` 4
+    In an equation for ‘rot’: rot xs = 3 `f` 4
+
+tcfail140.hs:14:15: error:
+    Couldn't match expected type ‘a0 -> b0’ with actual type ‘Int’
+    Relevant bindings include
+      xs :: [a0] (bound at tcfail140.hs:14:5)
+      bot :: [a0] -> [b0] (bound at tcfail140.hs:14:1)
+    The operator ‘f’ takes two arguments,
+    but its type ‘Int -> Int’ has only one
+    In the first argument of ‘map’, namely ‘(3 `f`)’
+    In the expression: map (3 `f`) xs
+
+tcfail140.hs:16:8: error:
+    The constructor ‘Just’ should have 1 argument, but has been given none
+    In the pattern: Just
+    In the expression: (\ Just x -> x) :: Maybe a -> a
+    In the expression: ((\ Just x -> x) :: Maybe a -> a) (Just 1)
+
+tcfail140.hs:19:1: error:
+    Couldn't match expected type ‘t0 -> Bool’ with actual type ‘Int’
+    The equation(s) for ‘g’ have two arguments,
+    but its type ‘Int -> Int’ has only one
index 42aa7a9..5b31257 100644 (file)
@@ -1,32 +1,32 @@
-\r
-tcfail174.hs:9:10:\r
-    Couldn't match expected type ‘forall a. a -> a’\r
-                with actual type ‘a0 -> a0’\r
-    In the first argument of ‘Base’, namely ‘id’\r
-    In the expression: Base id\r
-\r
-tcfail174.hs:13:14:\r
-    Couldn't match type ‘a’ with ‘a1’\r
-      because type variable ‘a1’ would escape its scope\r
-    This (rigid, skolem) type variable is bound by\r
-      the type forall a2. a2 -> a2\r
-      at tcfail174.hs:13:1-14\r
-    Expected type: Capture (forall x. x -> a)\r
-      Actual type: Capture (forall a. a -> a)\r
-    Relevant bindings include\r
-      h1 :: Capture a (bound at tcfail174.hs:13:1)\r
-    In the first argument of ‘Capture’, namely ‘g’\r
-    In the expression: Capture g\r
-\r
-tcfail174.hs:16:14:\r
-    Couldn't match type ‘a’ with ‘b’\r
-      ‘a’ is a rigid type variable bound by\r
-          the type forall a1. a1 -> a1 at tcfail174.hs:1:1\r
-      ‘b’ is a rigid type variable bound by\r
-          the type signature for: h2 :: Capture b at tcfail174.hs:15:7\r
-    Expected type: Capture (forall x. x -> b)\r
-      Actual type: Capture (forall a. a -> a)\r
-    Relevant bindings include\r
-      h2 :: Capture b (bound at tcfail174.hs:16:1)\r
-    In the first argument of ‘Capture’, namely ‘g’\r
-    In the expression: Capture g\r
+
+tcfail174.hs:9:10: error:
+    Couldn't match expected type ‘forall a. a -> a’
+                with actual type ‘a0 -> a0’
+    In the first argument of ‘Base’, namely ‘id’
+    In the expression: Base id
+
+tcfail174.hs:13:14: error:
+    Couldn't match type ‘a1’ with ‘a’
+      because type variable ‘a’ would escape its scope
+    This (rigid, skolem) type variable is bound by
+      the type forall a2. a2 -> a2
+      at tcfail174.hs:13:1-14
+    Expected type: Capture (forall x. x -> a1)
+      Actual type: Capture (forall a. a -> a)
+    Relevant bindings include
+      h1 :: Capture a1 (bound at tcfail174.hs:13:1)
+    In the first argument of ‘Capture’, namely ‘g’
+    In the expression: Capture g
+
+tcfail174.hs:16:14: error:
+    Couldn't match type ‘a’ with ‘b’
+    ‘a’ is a rigid type variable bound by
+        the type forall a1. a1 -> a1 at tcfail174.hs:1:1
+    ‘b’ is a rigid type variable bound by
+        the type signature for: h2 :: Capture b at tcfail174.hs:15:7
+    Expected type: Capture (forall x. x -> b)
+      Actual type: Capture (forall a. a -> a)
+    Relevant bindings include
+      h2 :: Capture b (bound at tcfail174.hs:16:1)
+    In the first argument of ‘Capture’, namely ‘g’
+    In the expression: Capture g
index 7ed0015..2c97e77 100644 (file)
@@ -1,14 +1,14 @@
 
-tcfail178.hs:15:7:
-    Couldn't match type ‘()’ with ‘[a]’
-    Expected type: Bool -> [a]
+tcfail178.hs:15:7: error:
+    Couldn't match type ‘()’ with ‘[a0]’
+    Expected type: Bool -> [a0]
       Actual type: Bool -> ()
-    Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1)
+    Relevant bindings include c :: [a0] (bound at tcfail178.hs:15:1)
     In the first argument of ‘a’, namely ‘y’
     In the expression: a y
 
-tcfail178.hs:18:7:
-    Couldn't match expected type ‘Bool -> [a]’ with actual type ‘()’
-    Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1)
+tcfail178.hs:18:7: error:
+    Couldn't match expected type ‘Bool -> [a0]’ with actual type ‘()’
+    Relevant bindings include d :: [a0] (bound at tcfail178.hs:18:1)
     In the first argument of ‘a’, namely ‘()’
     In the expression: a ()
index 787b62e..e6e7064 100644 (file)
@@ -1,9 +1,9 @@
 
-tcfail181.hs:17:9:
+tcfail181.hs:17:9: error:
     Could not deduce (Monad m0) arising from a use of ‘foo’
-    from the context: Monad m
+    from the context: Monad m1
       bound by the inferred type of
-               wog :: Monad m => t -> Something (m Bool) e
+               wog :: Monad m1 => t0 -> Something (m1 Bool) e0
       at tcfail181.hs:17:1-30
     The type variable ‘m0’ is ambiguous
     Note: there are several potential instances:
index 7655790..7cbc892 100644 (file)
@@ -1,13 +1,13 @@
 
-tcfail198.hs:6:36:
-    Couldn't match expected type ‘a1’ with actual type ‘a
-      because type variable ‘a1’ would escape its scope
+tcfail198.hs:6:36: error:
+    Couldn't match expected type ‘a’ with actual type ‘a0
+      because type variable ‘a’ would escape its scope
     This (rigid, skolem) type variable is bound by
-      an expression type signature: a1
+      an expression type signature: a
       at tcfail198.hs:6:36-41
     Relevant bindings include
-      xs :: [a] (bound at tcfail198.hs:6:21)
-      x :: a (bound at tcfail198.hs:6:19)
-      f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)
+      xs :: [a0] (bound at tcfail198.hs:6:21)
+      x :: a0 (bound at tcfail198.hs:6:19)
+      f3 :: [a0] -> [a0] (bound at tcfail198.hs:6:6)
     In the expression: x :: a
     In the second argument of ‘(++)’, namely ‘[x :: a]’