Commit 3c638e5b authored by Tim Steenvoorden's avatar Tim Steenvoorden

store real ints in share

parent 84d023a5
...@@ -404,7 +404,7 @@ where ...@@ -404,7 +404,7 @@ where
// globalValueShare :: SimpleSDSLens ( Ty, List Value ) // globalValueShare :: SimpleSDSLens ( Ty, List Value )
// globalValueShare = sharedStore "global share for typed task editor" ( abort "Global share not initialised", [] ) // 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" [] globalValueShare = sharedStore "global share for typed task editor" []
evalTaskExpr :: TaskExpr -> Task Value evalTaskExpr :: TaskExpr -> Task Value
...@@ -462,9 +462,9 @@ evalTaskFunc (UpdateF msg func) val = case evalFunc val func of ...@@ -462,9 +462,9 @@ evalTaskFunc (UpdateF msg func) val = case evalFunc val func of
) )
<<@ ApplyLayout arrangeHorizontal <<@ ApplyLayout arrangeHorizontal
evalTaskFunc (StoreF) val = evalTaskFunc (StoreF) (VInt i) =
// upd (\( sharedTy, values ) -> ( sharedTy, cons val values)) globalValueShare @ (const VUnit) // 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 = evalTaskFunc (WatchF msg) val =
viewSharedInformation msg [] globalValueShare @ (const VUnit) viewSharedInformation msg [] globalValueShare @ (const VUnit)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment