Description
We should extend the type system to enable grouping of eval annotations, e.g. specifying the abstract parent type that was actually evaluated.
Attachments
Issue Links
- links to
We should extend the type system to enable grouping of eval annotations, e.g. specifying the abstract parent type that was actually evaluated.