T10619.stderr 2.35 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

T10619.hs:9:15: error:
    • Couldn't match type ‘forall a. a -> a’ with ‘b -> b’
      Expected type: (b -> b) -> b -> b
        Actual type: (forall a. a -> a) -> b -> b
    • In the expression:
        ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b)
      In the expression:
        if True then
            ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b)
        else
            \ y -> y
      In an equation for ‘foo’:
          foo _
            = if True then
                  ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b)
              else
                  \ y -> y
    • Relevant bindings include
20
        foo :: t -> (b -> b) -> b -> b (bound at T10619.hs:8:1)
21 22

T10619.hs:14:15: error:
23
    • Couldn't match type ‘forall a. a -> a’ with ‘b -> b’
24
      Expected type: (b -> b) -> b -> b
25
        Actual type: (forall a. a -> a) -> b -> b
26 27 28 29 30 31 32 33 34 35 36 37 38 39
    • In the expression:
        ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b)
      In the expression:
        if True then
            \ y -> y
        else
            ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b)
      In an equation for ‘bar’:
          bar _
            = if True then
                  \ y -> y
              else
                  ((\ x -> x) :: (forall a. a -> a) -> forall b. b -> b)
    • Relevant bindings include
40
        bar :: t -> (b -> b) -> b -> b (bound at T10619.hs:12:1)
41 42 43 44 45 46 47 48 49 50 51 52 53

T10619.hs:16:13: error:
    • Couldn't match type ‘forall a. a -> a’ with ‘b -> b’
      Expected type: (b -> b) -> b -> b
        Actual type: (forall a. a -> a) -> b -> b
    • In the expression:
          (\ x -> x) :: (forall a. a -> a) -> forall b. b -> b
      In an equation for ‘baz’:
          baz True = (\ x -> x) :: (forall a. a -> a) -> forall b. b -> b
    • Relevant bindings include
        baz :: Bool -> (b -> b) -> b -> b (bound at T10619.hs:16:1)

T10619.hs:20:14: error:
54
    • Couldn't match type ‘forall a. a -> a’ with ‘b -> b’
55
      Expected type: (b -> b) -> b -> b
56
        Actual type: (forall a. a -> a) -> b -> b
57 58 59 60 61 62
    • In the expression:
          (\ x -> x) :: (forall a. a -> a) -> forall b. b -> b
      In an equation for ‘quux’:
          quux True = (\ x -> x) :: (forall a. a -> a) -> forall b. b -> b
    • Relevant bindings include
        quux :: Bool -> (b -> b) -> b -> b (bound at T10619.hs:19:1)