examples/Markus/polymorphic_value_again_shouldfail.spl

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