mutual recursion type inference

[minfp.git] / tests / preamble.mfp

diff --git a/tests/preamble.mfp b/tests/preamble.mfp
index 5fd27a7..cae72d6 100644 (file)
--- a/tests/preamble.mfp
+++ b/tests/preamble.mfp
@@ -18,4 +18,4 @@ id x = x;
 even i = if (i == 0) True (odd (i - 1));
 odd i = if (i == 0) False (even (i - 1));
 
-start = odd 5;
+start = odd;