Preliminary integration of the syntax for explicit universe application

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Preliminary integration of the syntax for explicit universe application #44

Closed kyoDralliam closed 6 years ago

kyoDralliam commented 7 years ago

This pull request implements some syntax coloring for explicit universe application. Syntax coloring does not work as soon as a number is present (i.e. u#('ua + 1)) which I don't really understand why...

cpitclaudel commented 7 years ago

Thanks! I'll look in more detail soon. Do you actually need to define a wrapper around the rx parser? I don't this mode uses rx anywhere else, so for consistency I'd tend to favor sticking with plain regexps (I'm not entirely sure from a quick read what the ueval thing does)

cpitclaudel commented 7 years ago

Any news on this? Let me know if you need help with the implementation.