Chan select offer - Githubissues

Munksgaard / session-types

MIT License

549 stars 21 forks source link

Closed laumann closed 9 years ago

laumann commented 9 years ago

Add a variant to the chan_select! macro allowing Offer<...> sequences to be matched

Munksgaard commented 9 years ago

Is it correctly understood that a chan_select cannot have both c.recv() and c.offer() in it at the same time?

laumann commented 9 years ago

Yes, that is correct - it might prove to be a limitation that should be addressed, but let us wait and see if this version is sufficient