- # (l, tty) = appFst en (TTYreadline tty)
- # iworld = {iworld & resources=Just (TTYd tty)}
- = snd (write (r ++ [l],rs,[],ss) rw iworld)
+ # (l, tty) = TTYreadline tty
+ = ([de l], tty)
+ # iworld = {iworld & resources=Just (TTYd tty)}
+ = case write (r++ml,rs,[],ss) rw iworld of
+ (Error e, iworld) = abort "share couldn't be written"
+ (Ok _, iworld) = case notify rw iworld of
+ (Error e, iworld) = abort "share couldn't be notified"
+ (Ok _, iworld) = iworld