ding

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

diff --git a/examples/Markus/polymorphic_value_shouldfail.spl b/examples/Markus/polymorphic_value_shouldfail.spl
index 0b868ee..99c5a36 100644 (file)
--- a/examples/Markus/polymorphic_value_shouldfail.spl
+++ b/examples/Markus/polymorphic_value_shouldfail.spl
@@ -3,12 +3,13 @@
 
 // The empty list [] usually has polymorphic type forall a.[a], but you
 // cannot give the variable l this type. See below what can go wrong.
-var l = [];
 
 f()
 {
+  var l = [];
   // If l has polymorphic type forall a . [a], the next two lines are possible.
   l = 1:l;
   l = True:l;
   return;
 }
+main() {return;}
\ No newline at end of file