ding

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

diff --git a/examples/Markus/polymorphic_value_again_shouldfail.spl b/examples/Markus/polymorphic_value_again_shouldfail.spl
index a9bda2e..0381134 100644 (file)
--- 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