fstarlang / atom-fstar Goto Github PK

Hello there 👋 !

I'm working on adding F* support in GitHub (language entry and syntax highlighting) over at github/linguist.

We use a compiler to process grammars before linking them to Linguist. That compiler throws a warning for the editor key in fstar.cson because it doesn't recognize it. Is that a standard Atom grammar entry? Do you know where I could find its documentation?

Can we upgrade atom-fstar to use fstar --ide rather than the legacy interactive mode?

Naive question: How can I try this out?
I've tried installing this with apm:

[FStarIDE]$ apm install
Installing modules ✓
[FStarIDE]$

But then nothing changed after restarting the editor: no syntax highlighting for .fst files and language-fstar doesn't appear in the list of installed packages. Is this supposed to do anything at this point? :)

Store package settings files in the settings/ directory instead of scoped-properties/

Package.loadSettings (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:586:9)
<unknown> (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:188:43)
Package.measure (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:167:15)
Package.load (/Applications/Atom.app/Contents/Resources/app.asar/src/package.js:181:12)