X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskExamples.icl;h=d916951102eb917f5dcc8b1b1e86b550c85fc95a;hb=c6709b5f2b35baa57f11e557d4baa96d6b9a54cf;hp=dbe2ca71ded3f85dd2e5fa69456ba69aa2bec68b;hpb=52f578ee2b3bf45b8db970c6b571257d23078f5c;p=mTask.git

diff --git a/mTaskExamples.icl b/mTaskExamples.icl
index dbe2ca7..d916951 100644
--- a/mTaskExamples.icl
+++ b/mTaskExamples.icl
@@ -6,7 +6,9 @@ import mTask
 
 Start =
     [["//mTaskTFP16_3 \n"]
-  ,["// --- p1 \n"]
+  ,["// --- p0 \n"]
+  ,compile p0
+    ,["// --- p1 \n"]
   ,compile p1
     ,["// --- p2 \n"]
   ,compile p2
@@ -206,6 +208,7 @@ count =
       count (sec 1) (n +. One)) In
     {main = count (sec 0) Zero}
 
+p0 :: (Main (Code Int Expr))
 p0 = sds \x = 6 In {main = x =. x *. lit 7}
 p1 = {main = lit 2 +. lit 4 >>=. \x. (x +. lit 1) *. x}
 p2 =