Update Juvix grammar to support 0.5.0

anoma / vscode-juvix

VSCode extension for Juvix

GNU General Public License v3.0

3 stars 2 forks source link

Closed paulcadman closed 2 months ago

paulcadman commented 1 year ago

The traits work (https://github.com/anoma/juvix/pull/2320) introduced the trait and instance keywords.

There may be other changes required to support highlighting of the new function syntax etc. but I'm not sure.

jonaprieto commented 2 months ago

These keywords, trait and instance, are already in the Juvix syntax file.