update spec to support normal io pins

[mTask.git] / miTask.icl

diff --git a/miTask.icl b/miTask.icl
index 8c17f09..85196eb 100644 (file)
--- a/miTask.icl
+++ b/miTask.icl
@@ -31,7 +31,8 @@ Start world = startEngine [
        ] world
 
 demo :: Task ()
-demo = viewSharedInformation "Devices" [] deviceStoreNP
+demo = set 5 (sharedDynamicStore "Hoi" 5)
+       >>| viewSharedInformation "Devices" [] deviceStoreNP
        >>* [OnValue $ ifValue pred (cont o hd)]
        where
                pred [] = False