fram-lang / fram-lang/dbl

Implement `ignoreExistential` attribute.

Open
#284 0 comments 0 reactions 0 assignees View on GitHub
0. parsing
Dominant language
OCaml
Stars
45
Forks
28
PR merge metrics
No merged PRs in 30d

Description

Records' default selectors are generated using a private `#record` attribute handler. if a record contains existential type, selectors will not be generated at all. This behaviour could be altered using `ignoreExistential` attribute. It would omit fields that require existential type and generate selectors for regular ones.

Placeholder for this attribute is already implemented; currently it does not make any effect on the code, other than providing an additional argument to the `#record` attribute. This feature should be implemented as an extension to the `#record` attribute.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.