X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskExamples.icl;h=4de01e689088a1bbabca002c3bd52203f38f6743;hb=7ab8606c3d22a2bc2743eae7a398407c84d502f2;hp=dbe2ca71ded3f85dd2e5fa69456ba69aa2bec68b;hpb=52f578ee2b3bf45b8db970c6b571257d23078f5c;p=mTask.git diff --git a/mTaskExamples.icl b/mTaskExamples.icl index dbe2ca7..4de01e6 100644 --- a/mTaskExamples.icl +++ b/mTaskExamples.icl @@ -1,12 +1,14 @@ module mTaskExamples import iTasks -import gdynamic, gCons, GenEq, StdMisc, StdArray +import GenEq, StdMisc, StdArray 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 =