-
Notifications
You must be signed in to change notification settings - Fork 138
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
Values::InvalidEnvelopeVal#definition missing? #212
Comments
Yes I think there are a few cases where a method isn't implemented in a "concrete" subclass. It's usually just because the method doesn't have a sensible implementation. Ideally the types would've been designed to avoid this from happening, but I've only been able to keep it to a minimum. How did you run into it? I would want to see what's going on at the call site if stupidedi itself is calling |
This didn't actually come up at run time. It was found by a type checker 😁 |
I would accept a PR that makes it throw That's assuming you can change |
Hi hi,
Is the
definition
method missing from theValues::InvalidEnvelopeVal
? It seems likeAbstractVal
assumes all derived classes implementdefinition
.Please let me know if I'm misunderstanding something. If I'm correct that it is missing, I'd be happy to take a swing at a PR.
Thanks for your time!
The text was updated successfully, but these errors were encountered: