Skip to content
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

Add RecordFieldsCount diagnostic #21

Merged
merged 3 commits into from Nov 22, 2019

Conversation

0xd34df00d
Copy link
Contributor

@0xd34df00d 0xd34df00d commented Oct 28, 2019

I'm also analyzing sum types and just taking the sum of the field counts in the different components of the sum type.

This implements the feature request in #18.

@mgajda mgajda merged commit 0bd214d into migamake:master Nov 22, 2019
@0xd34df00d 0xd34df00d deleted the recordfieldscount branch November 23, 2019 16:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants