X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2Fexample.spl;h=e71c2162f4c473f00c81296158134ed198e57b51;hb=7a0e15a68547d29a87dd0c56d6f5a731d0cd67aa;hp=4a55e3550275b4c72300329dddeb2db0b0122b61;hpb=6c23d03e21a84452701b742cb3582f02c1efc28c;p=cc1516.git

diff --git a/examples/example.spl b/examples/example.spl
index 4a55e35..e71c216 100644
--- a/examples/example.spl
+++ b/examples/example.spl
@@ -2,9 +2,14 @@
 	Three ways to implement the f acto rial function in SPL.
 	First the recursive version .
 */
-var r = 1;
-var facN = 1;
-var ok = True;
+Int r = 1;
+Char r = 1;
+Int r = -1;
+Void r = 0;
+Bool r = !True;
+Bool r = -True;
+//var facN = 1;
+//var ok = True;
 
 facR(n) :: Int -> Int {
 	if (n < 2) {