Merge branch 'master' of https://github.com/dopefishh/cc1516

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

diff --git a/examples/Markus/infinite_type_shouldfail.spl b/examples/Markus/infinite_type_shouldfail.spl
index 603cec0..73ac5ed 100644 (file)
--- a/examples/Markus/infinite_type_shouldfail.spl
+++ b/examples/Markus/infinite_type_shouldfail.spl
@@ -4,3 +4,7 @@ f(x)
 {
   return f( (x, x) );
 }
+
+main() {return;}
+
+//result: right now no type error... 
\ No newline at end of file