hooray (factorial works on GM)

src/Core/Examples.hs

@@ -129,6 +129,15 @@ caseBool1 = [coreProg|
     main = _if false ((+#) 2 3) ((*#) 4 5);
 |]
 
+factorialGM = [coreProg|
+    fac n = case (==#) n 0 of
+        { 1 -> 1
+        ; 0 -> (*#) n (fac ((-#) n 1))
+        };
+
+    main = fac 3;
+|]
+
 corePrelude :: Module
 corePrelude = Module (Just ("Prelude", [])) $
     -- non-primitive defs