I think this is one of the early examples we made. It uses the
now-deprecated std::sync::mpsc channels to spawn many threads and pass
over Chan types.
Replace the use of std::sync::mpsc::{channel, Receiver} with proper
session-typed channels. This also goes to demonstrate that Chan
protocols can send other Chan types (ie we can pass channels through
channels).
laumann
commented
5 years ago
I think this is one of the early examples we made. It uses the now-deprecated std::sync::mpsc channels to spawn many threads and pass over Chan types.
Replace the use of std::sync::mpsc::{channel, Receiver} with proper session-typed channels. This also goes to demonstrate that Chan protocols can send other Chan types (ie we can pass channels through channels).