fork download

module TypeErrors where
f xs = [True | _ <- repeat 0]
x = (x, x)

[1 of 1] Compiling TypeErrors       ( prog.hs, prog.o )

prog.hs:3:6: error:
    • Occurs check: cannot construct the infinite type: t ~ (t, t1)
    • In the expression: x
      In the expression: (x, x)
      In an equation for ‘x’: x = (x, x)
    • Relevant bindings include x :: (t, t1) (bound at prog.hs:3:1)

prog.hs:3:9: error:
    • Occurs check: cannot construct the infinite type: t1 ~ (t, t1)
    • In the expression: x
      In the expression: (x, x)
      In an equation for ‘x’: x = (x, x)
    • Relevant bindings include x :: (t, t1) (bound at prog.hs:3:1)

Standard output is empty