infer voor statements

[cc1516.git] / examples / Markus / infinite_type_shouldfail.spl

// An example from the slides. This should give a type error.

f(x)
{
  return f( (x, x) );
}