All notable changes to this project will be documented in this file.
- #54 - Unison now defaults to "unique" for abilities and types, so we allow a tacit
uniquefor them in the grammar - #52 - Unison allows hex literals for natural numbers. This was not supported until Felipe Guerreiro filed a PR, and I got off my lazy kiester to test and merge it in.
- #55 - There were two sets of
uniqueandstructuralkeywords in the grammar, so they've been consolidated now. This might require updates to anything relying on the output of "unique_kw" and "structural_kw" for types, as they now output to "unique" and "structural" like abilities always have. Thank you to @zetashift for reporting this!
- #39 - term declarations now take both path-prefixed wordy ids as well as path-prefixed symboly ids that are in parentheses.
- Previous version allowed documentation blocks anywhere. They are only supposed to be allowed right before term definitions (as "anonymous documentation blocks") or as a type of expression.
All Unison entities parsed, but doc blocks are only parsed as a doc block without breaking them down further into sections, etc.