All pastes #354583 Raw Edit

Something

public text v1 · immutable
·published 2007-02-14 01:33 UTC
rendered paste body
 Occurs check: cannot construct the infinite type: t = t -> t
      Expected type: ((t -> t -> t) -> (t -> t -> t) -> t -> t -> t)
                     -> ((t -> t -> t) -> (t -> t -> t) -> t -> t -> t)
                     -> ((t -> t -> t) -> (t -> t -> t) -> t -> t -> t -> t)
                     -> ((t1 -> t2 -> t3) -> t3)
                     -> t2
      Inferred type: ((t -> t -> t) -> (t -> t -> t) -> t -> t -> t)
                     -> ((t -> t -> t) -> (t -> t -> t) -> t -> t -> t -> t)
                     -> ((t1 -> t2 -> t3) -> t3)
                     -> t2