examples/Markus/self_application_shouldfail(1).spl

   1 // A classic from computer science.
   2 // The function \x.x x can not be typed in let-polymorphic type systems.
   3 f(x)
   4 {
   5   return x(x);
   6 }
   7 main() {return;}
   8 //result: proper infinite type