From 8221c3559e4d4a1be6fac0f9f81af2cc1beed9e9 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Fri, 16 Jun 2017 19:40:31 +0200 Subject: [PATCH] update --- Utils/SDS.icl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Utils/SDS.icl b/Utils/SDS.icl index f7a6cc7..f90c029 100644 --- a/Utils/SDS.icl +++ b/Utils/SDS.icl @@ -29,10 +29,10 @@ deviceStore = SDSSource {SDSSource , write= realWrite } where - realRead p iw - | not (trace_tn $ "read called with: " +++ printToString p) = undef - = read realDeviceStore iw + realRead :: (Maybe (MTaskDevice,Int)) *IWorld -> (MaybeError TaskException [MTaskDevice], *IWorld) + realRead p iw = read realDeviceStore iw + realWrite :: (Maybe (MTaskDevice,Int)) [MTaskDevice] *IWorld -> (MaybeError TaskException (SDSNotifyPred (Maybe (MTaskDevice,Int))), *IWorld) realWrite mi w iw | not (trace_tn $ "write called with: " +++ printToString mi +++ " w " +++ printToString w) = undef # (merr, iw) = write w realDeviceStore iw -- 2.20.1