X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FMarkus%2Fself_application_shouldfail%281%29.spl;h=d0489833c57227c6b1d8def237ff71185c863ee7;hb=39f7799760a30737f57fb2b8ccdb15074ee9ac45;hp=41397da27bed90e22575984ec842ba8c926c38c2;hpb=e641250705517611f422540d8ba3fe021e6068b3;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