Created
January 17, 2014 18:40
-
-
Save edwinb/8479028 to your computer and use it in GitHub Desktop.
It Went Wrong
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Stream.idr:39:9:Incomplete term Effects.>>= {m = IO} {a = PID} {xs = | |
Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = | |
PID} (DoSend {princ = Type} (Symbol_ "Server") Command (\ t : Command => | |
mkProcess {princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ | |
"Client") (Prelude.List.:: {a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = | |
Type}))} (Symbol_ "Client") (case block in count 0 t t) (\ x : () => End))) | |
(Prelude.List.Nil {a = (Type, PID)})) (Msg Type PID)) (Prelude.List.:: {a = | |
EFFECT} (MkEff () Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) | |
(Prelude.List.Nil {a = EFFECT})))} {xs' = \ v : PID => updateWith {a = EFFECT} | |
{ys = Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.Nil {a = | |
EFFECT})} ((\ result : PID => Prelude.List.:: {a = EFFECT} (MkEff () Conc) | |
(Prelude.List.Nil {a = EFFECT})) v) (Prelude.List.:: {a = EFFECT} (MkEff | |
(ProtoT {a = Actions} {p = Type} {chan = PID} (DoSend {princ = Type} (Symbol_ | |
"Server") Command (\ t : Command => mkProcess {princ = Type} {t = ()} {xs = | |
Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) | |
(Msg Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: | |
{a = EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT})))) (let | |
{scriptvar161} = reflectEff (SubList {a = EFFECT} (Prelude.List.:: {a = EFFECT} | |
(MkEff () Conc) (Prelude.List.Nil {a = EFFECT})) (Prelude.List.:: {a = EFFECT} | |
(MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} (DoSend {princ = Type} | |
(Symbol_ "Server") Command (\ t : Command => mkProcess {princ = Type} {t = ()} | |
{xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) | |
(Msg Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: | |
{a = EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT}))))) in Drop {a = | |
EFFECT} {x = MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} (DoSend {princ | |
= Type} (Symbol_ "Server") Command (\ t : Command => mkProcess {princ = Type} | |
{t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: | |
{a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ | |
"Client") (case block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a | |
= (Type, PID)})) (Msg Type PID)} {xs = Prelude.List.:: {a = EFFECT} (MkEff () | |
Conc) (Prelude.List.Nil {a = EFFECT})} {ys = Prelude.List.:: {a = EFFECT} | |
(MkEff () Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) | |
(Prelude.List.Nil {a = EFFECT}))} (Keep {a = EFFECT} {x = MkEff () Conc} {xs = | |
Prelude.List.Nil {a = EFFECT}} {ys = Prelude.List.:: {a = EFFECT} (MkEff () | |
StdIO) (Prelude.List.Nil {a = EFFECT})} (Drop {a = EFFECT} {x = MkEff () StdIO} | |
{xs = Prelude.List.Nil {a = EFFECT}} {ys = Prelude.List.Nil {a = EFFECT}} | |
(subListId {a = EFFECT} {xs = Prelude.List.Nil {a = EFFECT}}))))} {b = ()} | |
{xs'' = \ v : () => Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} | |
{p = Type} {chan = PID} End (Prelude.List.Nil {a = (Type, PID)})) (Msg Type | |
PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: {a = | |
EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT})))} (lift' {m = IO} {t | |
= PID} {ys = Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.Nil {a | |
= EFFECT})} {ys' = \ result : PID => Prelude.List.:: {a = EFFECT} (MkEff () | |
Conc) (Prelude.List.Nil {a = EFFECT})} {xs = Prelude.List.:: {a = EFFECT} | |
(MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} (DoSend {princ = Type} | |
(Symbol_ "Server") Command (\ t : Command => mkProcess {princ = Type} {t = ()} | |
{xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) | |
(Msg Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: | |
{a = EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT})))} | |
(Effect.Msg.fork (\ parent : PID => run {m = IO} {xs = Prelude.List.:: {a = | |
EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} (DoRecv {princ = | |
Type} (Symbol_ "Client") Command (\ t : Command => mkProcess {princ = Type} {t | |
= ()} {xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = | |
Type} (Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Server") | |
(case block in count 0 t t) (\ x : () => End))) (Prelude.List.:: {a = (Type, | |
PID)} (Symbol_ "Client", parent) (Prelude.List.Nil {a = (Type, PID)}))) (Msg | |
Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.Nil {a = | |
EFFECT}))} {a = ()} {xs' = \ v : () => Prelude.List.:: {a = EFFECT} (MkEff | |
(ProtoT {a = Actions} {p = Type} {chan = PID} End (Prelude.List.:: {a = (Type, | |
PID)} (Symbol_ "Client", parent) (Prelude.List.Nil {a = (Type, PID)}))) (Msg | |
Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.Nil {a = | |
EFFECT}))} {{IO instance of Prelude.Applicative.Applicative}} (Effects.:: {eff | |
= Msg Type PID} {m = IO} {a = ProtoT {a = Actions} {p = Type} {chan = PID} | |
(DoRecv {princ = Type} (Symbol_ "Client") Command (\ t : Command => mkProcess | |
{princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ "Client") | |
(Prelude.List.:: {a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = Type}))} | |
(Symbol_ "Server") (case block in count 0 t t) (\ x : () => End))) | |
(Prelude.List.:: {a = (Type, PID)} (Symbol_ "Client", parent) (Prelude.List.Nil | |
{a = (Type, PID)}))} {xs = Prelude.List.:: {a = EFFECT} (MkEff () Conc) | |
(Prelude.List.Nil {a = EFFECT})} {{Msg princ PID, IO instance of | |
Effects.Handler {princ = Type}}} (Proto {a = Actions} {p = Type} {chan = PID} | |
{x = DoRecv {princ = Type} (Symbol_ "Client") Command (\ t : Command => | |
mkProcess {princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ | |
"Client") (Prelude.List.:: {a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = | |
Type}))} (Symbol_ "Server") (case block in count 0 t t) (\ x : () => End))} {cs | |
= Prelude.List.:: {a = (Type, PID)} (Symbol_ "Client", parent) | |
(Prelude.List.Nil {a = (Type, PID)})}) (Effects.:: {eff = Conc} {m = IO} {a = | |
()} {xs = Prelude.List.Nil {a = EFFECT}} {{Conc, IO instance of | |
Effects.Handler}} () (Effects.Nil {m = IO}))) (countServer | |
(Prelude.Classes.fromInteger {a = Int} {{Int instance of Prelude.Classes.Num}} | |
0) parent))) {auto prf = let {scriptvar161} = reflectEff (SubList {a = EFFECT} | |
(Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.Nil {a = EFFECT})) | |
(Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = | |
PID} (DoSend {princ = Type} (Symbol_ "Server") Command (\ t : Command => | |
mkProcess {princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ | |
"Client") (Prelude.List.:: {a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = | |
Type}))} (Symbol_ "Client") (case block in count 0 t t) (\ x : () => End))) | |
(Prelude.List.Nil {a = (Type, PID)})) (Msg Type PID)) (Prelude.List.:: {a = | |
EFFECT} (MkEff () Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) | |
(Prelude.List.Nil {a = EFFECT}))))) in Drop {a = EFFECT} {x = MkEff (ProtoT {a | |
= Actions} {p = Type} {chan = PID} (DoSend {princ = Type} (Symbol_ "Server") | |
Command (\ t : Command => mkProcess {princ = Type} {t = ()} {xs = | |
Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) | |
(Msg Type PID)} {xs = Prelude.List.:: {a = EFFECT} (MkEff () Conc) | |
(Prelude.List.Nil {a = EFFECT})} {ys = Prelude.List.:: {a = EFFECT} (MkEff () | |
Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = | |
EFFECT}))} (Keep {a = EFFECT} {x = MkEff () Conc} {xs = Prelude.List.Nil {a = | |
EFFECT}} {ys = Prelude.List.:: {a = EFFECT} (MkEff () StdIO) (Prelude.List.Nil | |
{a = EFFECT})} (Drop {a = EFFECT} {x = MkEff () StdIO} {xs = Prelude.List.Nil | |
{a = EFFECT}} {ys = Prelude.List.Nil {a = EFFECT}} (subListId {a = EFFECT} {xs | |
= Prelude.List.Nil {a = EFFECT}})))}) (\ server : PID => Effects.>>= {m = IO} | |
{a = ()} {xs = Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} {p = | |
Type} {chan = PID} (DoSend {princ = Type} (Symbol_ "Server") Command (\ t : | |
Command => mkProcess {princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} | |
(Symbol_ "Client") (Prelude.List.:: {a = Type} (Symbol_ "Server") | |
(Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case block in count 0 t t) | |
(\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) (Msg Type PID)) | |
(Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: {a = EFFECT} | |
(MkEff () StdIO) (Prelude.List.Nil {a = EFFECT})))} {xs' = \ v : () => | |
updateWith {a = EFFECT} {ys = Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = | |
Actions} {p = Type} {chan = PID} (DoSend {princ = Type} (Symbol_ "Server") | |
Command (\ t : Command => mkProcess {princ = Type} {t = ()} {xs = | |
Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) | |
(Msg Type PID)) (Prelude.List.Nil {a = EFFECT})} ((\ result : () => | |
Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = | |
PID} (DoSend {princ = Type} (Symbol_ "Server") Command (\ t : Command => | |
mkProcess {princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ | |
"Client") (Prelude.List.:: {a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = | |
Type}))} (Symbol_ "Client") (case block in count 0 t t) (\ x : () => End))) | |
(Prelude.List.:: {a = (Type, PID)} (Symbol_ "Server", server) (Prelude.List.Nil | |
{a = (Type, PID)}))) (Msg Type PID)) (Prelude.List.Nil {a = EFFECT})) v) | |
(Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = | |
PID} (DoSend {princ = Type} (Symbol_ "Server") Command (\ t : Command => | |
mkProcess {princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ | |
"Client") (Prelude.List.:: {a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = | |
Type}))} (Symbol_ "Client") (case block in count 0 t t) (\ x : () => End))) | |
(Prelude.List.Nil {a = (Type, PID)})) (Msg Type PID)) (Prelude.List.:: {a = | |
EFFECT} (MkEff () Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) | |
(Prelude.List.Nil {a = EFFECT})))) (let {scriptvar272} = reflectEff (SubList {a | |
= EFFECT} (Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} | |
{chan = PID} (DoSend {princ = Type} (Symbol_ "Server") Command (\ t : Command | |
=> mkProcess {princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ | |
"Client") (Prelude.List.:: {a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = | |
Type}))} (Symbol_ "Client") (case block in count 0 t t) (\ x : () => End))) | |
(Prelude.List.Nil {a = (Type, PID)})) (Msg Type PID)) (Prelude.List.Nil {a = | |
EFFECT})) (Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} | |
{chan = PID} (DoSend {princ = Type} (Symbol_ "Server") Command (\ t : Command | |
=> mkProcess {princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ | |
"Client") (Prelude.List.:: {a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = | |
Type}))} (Symbol_ "Client") (case block in count 0 t t) (\ x : () => End))) | |
(Prelude.List.Nil {a = (Type, PID)})) (Msg Type PID)) (Prelude.List.:: {a = | |
EFFECT} (MkEff () Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) | |
(Prelude.List.Nil {a = EFFECT}))))) in Keep {a = EFFECT} {x = MkEff (ProtoT {a | |
= Actions} {p = Type} {chan = PID} (DoSend {princ = Type} (Symbol_ "Server") | |
Command (\ t : Command => mkProcess {princ = Type} {t = ()} {xs = | |
Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) | |
(Msg Type PID)} {xs = Prelude.List.Nil {a = EFFECT}} {ys = Prelude.List.:: {a = | |
EFFECT} (MkEff () Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) | |
(Prelude.List.Nil {a = EFFECT}))} (Drop {a = EFFECT} {x = MkEff () Conc} {xs = | |
Prelude.List.Nil {a = EFFECT}} {ys = Prelude.List.:: {a = EFFECT} (MkEff () | |
StdIO) (Prelude.List.Nil {a = EFFECT})} (Drop {a = EFFECT} {x = MkEff () StdIO} | |
{xs = Prelude.List.Nil {a = EFFECT}} {ys = Prelude.List.Nil {a = EFFECT}} | |
(subListId {a = EFFECT} {xs = Prelude.List.Nil {a = EFFECT}}))))} {b = ()} | |
{xs'' = \ v : () => Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} | |
{p = Type} {chan = PID} End (Prelude.List.Nil {a = (Type, PID)})) (Msg Type | |
PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: {a = | |
EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT})))} (lift' {m = IO} {t | |
= ()} {ys = Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} {p = | |
Type} {chan = PID} (DoSend {princ = Type} (Symbol_ "Server") Command (\ t : | |
Command => mkProcess {princ = Type} {t = ()} {xs = Prelude.List.:: {a = Type} | |
(Symbol_ "Client") (Prelude.List.:: {a = Type} (Symbol_ "Server") | |
(Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case block in count 0 t t) | |
(\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) (Msg Type PID)) | |
(Prelude.List.Nil {a = EFFECT})} {ys' = \ result : () => Prelude.List.:: {a = | |
EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} (DoSend {princ = | |
Type} (Symbol_ "Server") Command (\ t : Command => mkProcess {princ = Type} {t | |
= ()} {xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = | |
Type} (Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") | |
(case block in count 0 t t) (\ x : () => End))) (Prelude.List.:: {a = (Type, | |
PID)} (Symbol_ "Server", server) (Prelude.List.Nil {a = (Type, PID)}))) (Msg | |
Type PID)) (Prelude.List.Nil {a = EFFECT})} {xs = Prelude.List.:: {a = EFFECT} | |
(MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} (DoSend {princ = Type} | |
(Symbol_ "Server") Command (\ t : Command => mkProcess {princ = Type} {t = ()} | |
{xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) | |
(Msg Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: | |
{a = EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT})))} (setChan | |
{princ = Type} {chan = PID} {a = [__]} {m = IO} {xs = DoSend {princ = Type} | |
(Symbol_ "Server") Command (\ t : Command => mkProcess {princ = Type} {t = ()} | |
{xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))} {cs = Prelude.List.Nil {a = (Type, | |
PID)}} {x = [__]} (Symbol_ "Server") server) {auto prf = let {scriptvar272} = | |
reflectEff (SubList {a = EFFECT} (Prelude.List.:: {a = EFFECT} (MkEff (ProtoT | |
{a = Actions} {p = Type} {chan = PID} (DoSend {princ = Type} (Symbol_ "Server") | |
Command (\ t : Command => mkProcess {princ = Type} {t = ()} {xs = | |
Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) | |
(Msg Type PID)) (Prelude.List.Nil {a = EFFECT})) (Prelude.List.:: {a = EFFECT} | |
(MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} (DoSend {princ = Type} | |
(Symbol_ "Server") Command (\ t : Command => mkProcess {princ = Type} {t = ()} | |
{xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = Type} | |
(Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") (case | |
block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a = (Type, PID)})) | |
(Msg Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: | |
{a = EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT}))))) in Keep {a = | |
EFFECT} {x = MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} (DoSend {princ | |
= Type} (Symbol_ "Server") Command (\ t : Command => mkProcess {princ = Type} | |
{t = ()} {xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: | |
{a = Type} (Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ | |
"Client") (case block in count 0 t t) (\ x : () => End))) (Prelude.List.Nil {a | |
= (Type, PID)})) (Msg Type PID)} {xs = Prelude.List.Nil {a = EFFECT}} {ys = | |
Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: {a = EFFECT} | |
(MkEff () StdIO) (Prelude.List.Nil {a = EFFECT}))} (Drop {a = EFFECT} {x = | |
MkEff () Conc} {xs = Prelude.List.Nil {a = EFFECT}} {ys = Prelude.List.:: {a = | |
EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT})} (Drop {a = EFFECT} {x | |
= MkEff () StdIO} {xs = Prelude.List.Nil {a = EFFECT}} {ys = Prelude.List.Nil | |
{a = EFFECT}} (subListId {a = EFFECT} {xs = Prelude.List.Nil {a = EFFECT}})))}) | |
(\ {bindx0} : () => Effects.>>= {m = IO} {a = ()} {xs = Prelude.List.:: {a = | |
EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} (DoSend {princ = | |
Type} (Symbol_ "Server") Command (\ t : Command => mkProcess {princ = Type} {t | |
= ()} {xs = Prelude.List.:: {a = Type} (Symbol_ "Client") (Prelude.List.:: {a = | |
Type} (Symbol_ "Server") (Prelude.List.Nil {a = Type}))} (Symbol_ "Client") | |
(case block in count 0 t t) (\ x : () => End))) (Prelude.List.:: {a = (Type, | |
PID)} (Symbol_ "Server", server) (Prelude.List.Nil {a = (Type, PID)}))) (Msg | |
Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: {a = | |
EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT})))} {xs' = \ v : () => | |
Prelude.List.:: {a = EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = | |
PID} End (Prelude.List.:: {a = (Type, PID)} (Symbol_ "Server", server) | |
(Prelude.List.Nil {a = (Type, PID)}))) (Msg Type PID)) (Prelude.List.:: {a = | |
EFFECT} (MkEff () Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) | |
(Prelude.List.Nil {a = EFFECT})))} {b = ()} {xs'' = \ v : () => Prelude.List.:: | |
{a = EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} End | |
(Prelude.List.Nil {a = (Type, PID)})) (Msg Type PID)) (Prelude.List.:: {a = | |
EFFECT} (MkEff () Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) | |
(Prelude.List.Nil {a = EFFECT})))} (countClient {v = | |
Prelude.Classes.fromInteger {a = Int} {{Int instance of Prelude.Classes.Num}} | |
0} server) (\ {bindx0} : () => effect' {t = ()} {xs = Prelude.List.:: {a = | |
EFFECT} (MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} End | |
(Prelude.List.:: {a = (Type, PID)} (Symbol_ "Server", server) (Prelude.List.Nil | |
{a = (Type, PID)}))) (Msg Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () | |
Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = | |
EFFECT})))} {m = IO} {a = ProtoT {a = Actions} {p = Type} {chan = PID} End | |
(Prelude.List.:: {a = (Type, PID)} (Symbol_ "Server", server) (Prelude.List.Nil | |
{a = (Type, PID)}))} {b = \ result : () => ProtoT {a = Actions} {p = Type} | |
{chan = PID} End (Prelude.List.Nil {a = (Type, PID)})} {e = Msg Type PID} | |
(DropChannel {a = Actions} {princ = Type} {chan = PID} {cs = Prelude.List.:: {a | |
= (Type, PID)} (Symbol_ "Server", server) (Prelude.List.Nil {a = (Type, PID)})} | |
{x = End} (Symbol_ "Server") (First {p = Type} {chan = PID} {c = server} {x = | |
Symbol_ "Server"} {xs = Prelude.List.Nil {a = (Type, PID)}})) {auto prf = let | |
{scriptvar401} = reflectEff (EffElem (Msg Type PID) (ProtoT {a = Actions} {p = | |
Type} {chan = PID} End (Prelude.List.:: {a = (Type, PID)} (Symbol_ "Server", | |
server) (Prelude.List.Nil {a = (Type, PID)}))) (Prelude.List.:: {a = EFFECT} | |
(MkEff (ProtoT {a = Actions} {p = Type} {chan = PID} End (Prelude.List.:: {a = | |
(Type, PID)} (Symbol_ "Server", server) (Prelude.List.Nil {a = (Type, PID)}))) | |
(Msg Type PID)) (Prelude.List.:: {a = EFFECT} (MkEff () Conc) (Prelude.List.:: | |
{a = EFFECT} (MkEff () StdIO) (Prelude.List.Nil {a = EFFECT}))))) in | |
Effects.Here {x = Msg Type PID} {a = ProtoT {a = Actions} {p = Type} {chan = | |
PID} End (Prelude.List.:: {a = (Type, PID)} (Symbol_ "Server", server) | |
(Prelude.List.Nil {a = (Type, PID)}))} {xs = Prelude.List.:: {a = EFFECT} | |
(MkEff () Conc) (Prelude.List.:: {a = EFFECT} (MkEff () StdIO) | |
(Prelude.List.Nil {a = EFFECT}))}}))) | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment