ding

[cc1516.git] / examples / Markus / self_application_shouldfail(1).spl

diff --git a/examples/Markus/self_application_shouldfail(1).spl b/examples/Markus/self_application_shouldfail(1).spl
index 41397da..d048983 100644 (file)
--- a/examples/Markus/self_application_shouldfail(1).spl
+++ b/examples/Markus/self_application_shouldfail(1).spl
@@ -4,3 +4,5 @@ f(x)
 {
   return x(x);
 }
+main() {return;}
+//result: proper infinite type
\ No newline at end of file