repositories
/
ap2015.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
bc4f52c
)
update s9
author
Mart Lubbers
<mart@martlubbers.net>
Fri, 20 Nov 2015 16:16:15 +0000
(17:16 +0100)
committer
Mart Lubbers
<mart@martlubbers.net>
Fri, 20 Nov 2015 16:16:15 +0000
(17:16 +0100)
a9/mart/skeleton9.icl
patch
|
blob
|
history
diff --git
a/a9/mart/skeleton9.icl
b/a9/mart/skeleton9.icl
index
36893a8
..
9230c3a
100644
(file)
--- a/
a9/mart/skeleton9.icl
+++ b/
a9/mart/skeleton9.icl
@@
-1,5
+1,6
@@
module skeleton9
\r
module skeleton9
\r
-
\r
+//One does not go over 80chars.
\r
+//the true lambda character is the .
\r
\r
from iTasks import always, hasValue, :: TaskValue(..), :: Task, :: Stability,
\r
:: TaskCont(..), :: Action, updateInformation, viewInformation, class
\r
\r
from iTasks import always, hasValue, :: TaskValue(..), :: Task, :: Stability,
\r
:: TaskCont(..), :: Action, updateInformation, viewInformation, class
\r
@@
-165,7
+166,6
@@
eval (Oper _ e1 o e2) = eval e1 >>. \a.eval e2 >>. \b.return (I (case o of
evalExpr :: (Expr a) State -> (MaybeEx Val, State)
\r
evalExpr expr st = let (Sem func) = eval expr in func st
\r
\r
evalExpr :: (Expr a) State -> (MaybeEx Val, State)
\r
evalExpr expr st = let (Sem func) = eval expr in func st
\r
\r
-//Start = size (integer 42)
\r
Start = evalExpr (size (variable "x")) st
\r
where
\r
(_, st) = evalExpr ("x" =. size (insert (integer 42) new)) newMap
\r
Start = evalExpr (size (variable "x")) st
\r
where
\r
(_, st) = evalExpr ("x" =. size (insert (integer 42) new)) newMap
\r