-
Notifications
You must be signed in to change notification settings - Fork 42
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
cli: Allow client libraries to use IO
to create ExtensionImpl
#1239
Conversation
This is needed in Macaw.
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.
I am a bit surprised that you'd need IO
just to create an ExtensionImpl
. Can you say more about how it's used in Macaw? (I'm sure there is a good reason, but I'm having trouble seeing it without further context.)
Yeah! The problem is that to create a |
Also, to create a |
... and in fact, |
See GaloisInc/macaw#423 for what I'm trying to do with 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.
Ah, right.
4e97150
to
e068194
Compare
This is needed in Macaw.