X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FMarkus%2Fself_application_shouldfail%281%29.spl;h=d0489833c57227c6b1d8def237ff71185c863ee7;hb=f081c2c5e248331eb6e2f090f4afe818fd8259eb;hp=41397da27bed90e22575984ec842ba8c926c38c2;hpb=b0a8d161ec4566b50febd63640fab70f8081c685;p=cc1516.git

diff --git a/examples/Markus/self_application_shouldfail(1).spl b/examples/Markus/self_application_shouldfail(1).spl
index 41397da..d048983 100644
--- 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