search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

Add .fsti extension to auto-mode-alist #11

Closed s-zanella closed 9 years ago

s-zanella commented 9 years ago

It's missing

cpitclaudel commented 9 years ago

What's the full list of extensions? fst, fsi, fsti?

catalin-hritcu commented 9 years ago

Just fst and fsti (fsi is F#)

cpitclaudel commented 9 years ago

Done, thanks!

aseemr commented 9 years ago

fsi is also a valid extension for F* interfaces. There are several .fsi files in lib/.

catalin-hritcu commented 9 years ago

Maybe we should rename them then ...

aseemr commented 9 years ago

Why (just curious, no strong preferences).

catalin-hritcu commented 9 years ago

Because that extension is already taken by a much more popular tool, which can be very confusing.

catalin-hritcu commented 9 years ago

For instance have a look at this: https://github.com/github/linguist/pull/2590

beurdouche commented 9 years ago

I am personally in favour of using .fsti for files which contains F* code and .fsi for things which is F# or common syntactic subset.

cpitclaudel commented 9 years ago

Is there any reason to open files in the common subset as F* files in Emacs, though? Wouldn't we want to leave these to fsharp-mode?

catalin-hritcu commented 9 years ago

Is there any reason to open files in the common subset as F* files in Emacs, though? Wouldn't we want to leave these to fsharp-mode?

If they are F# is there any reason not to open them as F#? :)

cpitclaudel commented 9 years ago

@catalin-hritcu I agree, but I'm not an F* programmer, so I can't really say :) As a package developer, I'd rather reduce the overlap with other packages; users should feel free to add the file association themselves. I'll add a note in the README.