Document/improve "raw" generator #186
Labels
documentation
Improvements or additions to documentation
easy
Should be straightforward to fix
primer
Specific to the primer package
quick
This issue can probably be fixed relatively quickly
testing
Related to tests/testing
It turns out that
Gen.Core.Raw
has rather poor coverage: it does not even generate lambdas! This recently bit me in #180, where I assumed that this module would generate ill-scoped terms, but quickly and with decent coverage (which is what I wanted for "is this serialisation injective?").We should at least document what
Gen.Core.Raw
is expected to generate, and perhaps improve the implementation to match. (For example, there is a note that it doesn't generate polytypes "because the rest of the system doesn't support them", which is clearly now incorrect).The text was updated successfully, but these errors were encountered: