From e76128d1876a988f8d22c4e1e1750a4aa6d65eb2 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Fri, 20 Nov 2015 17:16:15 +0100 Subject: [PATCH] update s9 --- a9/mart/skeleton9.icl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/a9/mart/skeleton9.icl b/a9/mart/skeleton9.icl index 36893a8..9230c3a 100644 --- a/a9/mart/skeleton9.icl +++ b/a9/mart/skeleton9.icl @@ -1,5 +1,6 @@ module skeleton9 - +//One does not go over 80chars. +//the true lambda character is the . from iTasks import always, hasValue, :: TaskValue(..), :: Task, :: Stability, :: TaskCont(..), :: Action, updateInformation, viewInformation, class @@ -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) evalExpr expr st = let (Sem func) = eval expr in func st -//Start = size (integer 42) Start = evalExpr (size (variable "x")) st where (_, st) = evalExpr ("x" =. size (insert (integer 42) new)) newMap -- 2.20.1