infer

[minfp.git] / tests / preamble.mfp

diff --git a/tests/preamble.mfp b/tests/preamble.mfp
index be7ee13..3263957 100644 (file)
--- a/tests/preamble.mfp
+++ b/tests/preamble.mfp
@@ -4,5 +4,5 @@ $ ifxr 0 x y = x y;
 * ifxl 7 x y = mul x y;
 - ifxl 6 x y = sub x y;
 + ifxl 6 x y = add x y;
-fac i = if (i == 0) 1 (i * fac (i - 1));
+fac i = if (i == 0) 1 $ i * fac (i - 1);
 start = fac 5;