X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FMarkus%2Fpolymorphic_value_again_shouldfail.spl;h=038113480ce5429d2ac78329379631d7c2aaa9c0;hb=39f7799760a30737f57fb2b8ccdb15074ee9ac45;hp=a9bda2e194a52876688e608eb851c732e1d64ac0;hpb=e641250705517611f422540d8ba3fe021e6068b3;p=cc1516.git

diff --git a/examples/Markus/polymorphic_value_again_shouldfail.spl b/examples/Markus/polymorphic_value_again_shouldfail.spl
index a9bda2e..0381134 100644
--- a/examples/Markus/polymorphic_value_again_shouldfail.spl
+++ b/examples/Markus/polymorphic_value_again_shouldfail.spl
@@ -1,11 +1,13 @@
 // Another variant of the polymorphic value problem.
 
 // This is perfectly fine
-var tuple1 = (1:[], True:[]);
+tuple1() { return (1:[], True:[]); }
 
 // This should fail.
-var l = [];
-var tuple2 = (1:l, True:l);
+l() { return [];}
+tuple2() { return (1:l, True:l);}
 
 
 main() { return; }
+
+//result: does not fail!
\ No newline at end of file