testsuite/tests/ado/T13242a.stderr

   1
   2 T13242a.hs:10:5: error:
   3     • Couldn't match expected type ‘a0’ with actual type ‘a’
   4       ‘a’ is a rigid type variable bound by
   5         a pattern with constructor: A :: forall a. Eq a => a -> T,
   6         in a pattern binding in
   7              'do' block
   8         at T13242a.hs:10:3-5
   9     • In the expression:
  10         do A x <- undefined
  11            _ <- return 'a'
  12            _ <- return 'b'
  13            return (x == x)
  14       In an equation for ‘test’:
  15           test
  16             = do A x <- undefined
  17                  _ <- return 'a'
  18                  _ <- return 'b'
  19                  return (x == x)
  20     • Relevant bindings include x :: a (bound at T13242a.hs:10:5)
  21
  22 T13242a.hs:13:11: error:
  23     • Ambiguous type variable ‘a0’ arising from a use of ‘==’
  24       prevents the constraint ‘(Eq a0)’ from being solved.
  25       Relevant bindings include x :: a0 (bound at T13242a.hs:10:5)
  26       Probable fix: use a type annotation to specify what ‘a0’ should be.
  27       These potential instances exist:
  28         instance Eq Ordering -- Defined in ‘GHC.Classes’
  29         instance Eq Integer
  30           -- Defined in ‘integer-gmp-1.0.2.0:GHC.Integer.Type’
  31         instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Base’
  32         ...plus 22 others
  33         ...plus six instances involving out-of-scope types
  34         (use -fprint-potential-instances to see them all)
  35     • In a stmt of a 'do' block: return (x == x)
  36       In the expression:
  37         do A x <- undefined
  38            _ <- return 'a'
  39            _ <- return 'b'
  40            return (x == x)
  41       In an equation for ‘test’:
  42           test
  43             = do A x <- undefined
  44                  _ <- return 'a'
  45                  _ <- return 'b'
  46                  return (x == x)