Skip to content

Instantly share code, notes, and snippets.

@edwinb

edwinb/gist:8479028

Created January 17, 2014 18:40
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save edwinb/8479028 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save edwinb/8479028 to your computer and use it in GitHub Desktop.
Download ZIP
It Went Wrong
Raw
gistfile1.txt
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