-
Notifications
You must be signed in to change notification settings - Fork 1
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is open Effect.Deep needed anymore?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@jonsterling Yes. See ocaml/ocaml#13511 for my Thought on this.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Wow, that is a very nice Thought.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@jonsterling It's also why we have these two helper functions:
https://github.com/RedPRL/algaeff/blob/main/src/Fun.ml
It will be great if the compiler can do it directly, avoiding the overhead of creating stupid closures.
No description provided.