Disallow non-unit environments in `accept`, `request` etc.

Munksgaard / session-types

MIT License

549 stars 21 forks source link

Disallow non-unit environments in `accept`, `request` etc. #4

Closed Munksgaard closed 9 years ago

Munksgaard commented 9 years ago

I think we should do this. Other implementations do this, and I have yet to see an actual use case. It would also allow us to remove the HasDualEnv trait.

Munksgaard commented 9 years ago

cc @laumann

laumann commented 9 years ago

:+1: Done

laumann commented 9 years ago

Sorry, thought you committed the referenced changeset to master