Jump to fsti's when jumping to a module. Allow user preference for this.

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Jump to fsti's when jumping to a module. Allow user preference for this. #108

Open jaybosamiya opened 5 years ago

jaybosamiya commented 5 years ago

Closes #107.

Supports the user choosing whether they want this new feature.

jaybosamiya commented 5 years ago

This is very much a hack (I just check for whether the path+"i" exists), so I am not sure whether we should merge this in; however, it is a starting point for building the feature in, which is why I opened up a PR for it.

@cpitclaudel I would strongly appreciate your thoughts on this. Thanks :)