repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
set instead of upd
[mTask.git]
/
mTaskExamples.icl
diff --git
a/mTaskExamples.icl
b/mTaskExamples.icl
index
dbe2ca7
..
4de01e6
100644
(file)
--- a/
mTaskExamples.icl
+++ b/
mTaskExamples.icl
@@
-1,12
+1,14
@@
module mTaskExamples
import iTasks
module mTaskExamples
import iTasks
-import
gdynamic, gCons,
GenEq, StdMisc, StdArray
+import GenEq, StdMisc, StdArray
import mTask
Start =
[["//mTaskTFP16_3 \n"]
import mTask
Start =
[["//mTaskTFP16_3 \n"]
- ,["// --- p1 \n"]
+ ,["// --- p0 \n"]
+ ,compile p0
+ ,["// --- p1 \n"]
,compile p1
,["// --- p2 \n"]
,compile p2
,compile p1
,["// --- p2 \n"]
,compile p2
@@
-206,6
+208,7
@@
count =
count (sec 1) (n +. One)) In
{main = count (sec 0) Zero}
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 =
p0 = sds \x = 6 In {main = x =. x *. lit 7}
p1 = {main = lit 2 +. lit 4 >>=. \x. (x +. lit 1) *. x}
p2 =