repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
// Another variant of the polymorphic value problem.
// This is perfectly fine
-var tuple1 = (1:[], True:[]);
+tuple1() { return (1:[], True:[]); }
// This should fail.
// This should fail.
-var l = [];
-var tuple2 = (1:l, True:l);
+l() { return [];}
+tuple2() { return (1:l, True:l);}
main() { return; }
main() { return; }
+
+//result: does not fail!
\ No newline at end of file