existential types continued

[mTask.git] / Shares / mTaskShare.dcl

diff --git a/Shares/mTaskShare.dcl b/Shares/mTaskShare.dcl
index df4a2f1..f97649e 100644 (file)
--- a/Shares/mTaskShare.dcl
+++ b/Shares/mTaskShare.dcl
@@ -2,6 +2,7 @@ definition module Shares.mTaskShare
 
 import iTasks
 import iTasks._Framework.Serialization
+import mTask
 
 derive class iTask MTaskShareType
 
@@ -17,11 +18,10 @@ derive gEq MTaskShare
                {withTask :: String
                ,identifier :: Int
                ,realShare :: MTaskShareType
-               ,value :: String
-               ,dynvalue :: Dynamic
+               ,value :: BCValue
                }
 
 manageShares :: [MTaskShare] -> Task ()
 
 ///makeShare :: String Int Dynamic -> Task MTaskShare
-makeShare :: String Int String -> Task MTaskShare
+makeShare :: String Int BCValue -> Task MTaskShare