Commit 72eb235a authored by Haye Böhm's avatar Haye Böhm

Fix compiling

parent 7d8986f8
......@@ -107,7 +107,7 @@ instance toString (WebServiceShareOptions r)
:: SDSNotifyPred p :== Timespec p -> Bool
//Sources provide direct access to a data source
:: SDSSource p r w = SDSSource (SDSSourceOptions p r w) & JSONEncode{|*|} w
:: SDSSource p r w = SDSSource (SDSSourceOptions p r w)
// Allows for some keeping of local state. Writing to a SDS may require reading from that SDS.
// In the case that this reading is asynchronous, writing could also be asynchronous. This
......
......@@ -15,7 +15,7 @@ from iTasks.Internal.Task import exception
constShare :: !a -> SDSSource p a ()
constShare v = createReadOnlySDS (\_ env -> (v, env))
nullShare :: SDSSource p () a | JSONEncode{|*|} a
nullShare :: SDSSource p () a
nullShare = createReadWriteSDS "_core_" "nullShare" (\_ env -> (Ok (), env)) (\_ _ env -> (Ok (const (const False)), env))
unitShare :: SDSSource () () ()
......
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