-
Notifications
You must be signed in to change notification settings - Fork 3
Add support for extensible records #74
Copy link
Copy link
Open
Labels
enhancementNew feature or requestNew feature or requestpriority:normalAll issues that should be solved after the issues with high priorityAll issues that should be solved after the issues with high prioritytypecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithms
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or requestpriority:normalAll issues that should be solved after the issues with high priorityAll issues that should be solved after the issues with high prioritytypecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithms
As described in the README, we'd like our language to support extensible records like languages such as Elm have.
A good candidate for implementing this seems to be by using rows. Thunderseethe's blog has an excellent tutorial on how to use rows, but it will take some time to implement.