[cc1516.git] / examples / Markus / self_application_shouldfail(1).spl

// A classic from computer science.
// The function \x.x x can not be typed in let-polymorphic type systems.
f(x)
{
  return x(x);
}