Uncaught Error: ENOENT: no such file or directory, lstat 'C:\FStarProjects\atom-fstar-build.json'

[A-Manning]

Tried installing fstar-interactive, and I got this error as soon as I tried to use ctrl-shift-I.

fstar-interactive seems to be looking for a atom-fstar-build.json file in the folder of my fstar program, which doesn't necessarily exist.

[s-zanella]

Sadly the Atom mode has fallen behind the development of F*. I don't think you will be able to get much more than (incomplete) syntax highlighting without a significant overhaul.

[A-Manning]

Hoping to deprecate fstar-interactive and include F* in atom-script instead.

As for syntax highlighting, I'd love to fix it myself but I find myself struggling with F*'s syntax often and so I don't think I'm ready to yet. Better documentation in fstar-mode.el or a syntax reference could help.