Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Discussion of proposal 2015-007 (Addition of Ref module). #8

Open
rossberg-old opened this issue Aug 16, 2015 · 3 comments
Open

Discussion of proposal 2015-007 (Addition of Ref module). #8

rossberg-old opened this issue Aug 16, 2015 · 3 comments

Comments

@rossberg-old
Copy link

This issue is for discussion of proposal 2015-007 (Addition of Ref module).

@MatthewFluet
Copy link

Should the type of exchange be:

val exchange : 'a ref * ‘a -> ‘a

rather than

val exchange : 'a ref * ‘a ref -> ‘a

@rossberg-old
Copy link
Author

Yes, indeed. Fixed, thanks.

@eduardoleon
Copy link

Could you include in the proposal two types of reference cell? Thread-unsafe (what SML already has) and thread-safe (requiring atomic modifications). The signature for both implementations should be exactly the same.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants