From 3c638e5b36fab8a910313867cf407db435313a7f Mon Sep 17 00:00:00 2001 From: Tim Steenvoorden Date: Fri, 14 Jun 2019 22:34:37 +0200 Subject: [PATCH] store real ints in share --- Examples/DynamicEditor/DynEditorExample.icl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Examples/DynamicEditor/DynEditorExample.icl b/Examples/DynamicEditor/DynEditorExample.icl index b75030d60..6bc2e57dd 100644 --- a/Examples/DynamicEditor/DynEditorExample.icl +++ b/Examples/DynamicEditor/DynEditorExample.icl @@ -404,7 +404,7 @@ where // globalValueShare :: SimpleSDSLens ( Ty, List Value ) // globalValueShare = sharedStore "global share for typed task editor" ( abort "Global share not initialised", [] ) -globalValueShare :: SimpleSDSLens (List Value) +globalValueShare :: SimpleSDSLens (List Int) globalValueShare = sharedStore "global share for typed task editor" [] evalTaskExpr :: TaskExpr -> Task Value @@ -462,9 +462,9 @@ evalTaskFunc (UpdateF msg func) val = case evalFunc val func of ) <<@ ApplyLayout arrangeHorizontal -evalTaskFunc (StoreF) val = +evalTaskFunc (StoreF) (VInt i) = // upd (\( sharedTy, values ) -> ( sharedTy, cons val values)) globalValueShare @ (const VUnit) - upd (cons val) globalValueShare @ (const VUnit) + upd (cons i) globalValueShare @ (const VUnit) evalTaskFunc (WatchF msg) val = viewSharedInformation msg [] globalValueShare @ (const VUnit) -- GitLab