Commit ccd2a36f authored by Mart Lubbers's avatar Mart Lubbers

Fix class restriction SDSCache

parent f35e13df
Pipeline #27291 passed with stage
in 5 minutes and 56 seconds
......@@ -64,7 +64,7 @@ instance Writeable SDSDebug
instance Modifiable SDSDebug
instance Registrable SDSDebug
:: DeferredWrite = E. p r w sds: DeferredWrite !p !w !(sds p r w) & iTask p & TC r & TC w & RWShared sds
:: DeferredWrite = E. p r w sds: DeferredWrite !p !w !(sds p r w) & gText{|*|}, TC p & TC r & TC w & RWShared sds
//Internal creation functions:
......
......@@ -288,7 +288,7 @@ required type w. The reducer has the job to turn this ws into w.
*/
:: SimpleSDSCache a :== SDSCache () a a
:: SDSCache p r w = E. sds: SDSCache !(SDSSource p r w) !(SDSCacheOptions p r w) & iTask p & TC r & TC w
:: SDSCache p r w = E. sds: SDSCache !(SDSSource p r w) !(SDSCacheOptions p r w) & gText{|*|}, TC p & TC r & TC w
:: SDSCacheOptions p r w =
{ write :: !p (Maybe r) (Maybe w) w -> (!Maybe r, !SDSCacheWrite)
}
......
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