Closed mtzguido closed 3 years ago
I added a patch to F* to provide error/warning numbers to fstar-mode some time ago, but never made fstar-mode actually display it. I think this should do it, and be backwards compatible.
Fixes FStarLang/FStar#2009
I added a patch to F* to provide error/warning numbers to fstar-mode some time ago, but never made fstar-mode actually display it. I think this should do it, and be backwards compatible.
Fixes FStarLang/FStar#2009