examples/Markus/polymorphic_value_again_shouldfail.spl

   1 // Another variant of the polymorphic value problem.
   2
   3 // This is perfectly fine
   4 tuple1() { return (1:[], True:[]); }
   5
   6 // This should fail.
   7 l() { return [];}
   8 tuple2() { return (1:l(), True:l());}
   9
  10
  11 main() { return; }
  12
  13 //result: does not fail!