Error not parsed: expected a module

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Error not parsed: expected a module #12

Closed msprotz closed 9 years ago

msprotz commented 9 years ago

protz@Joprotze-Z420:~/Code/misc $ fstar scratch.fs
scratch.fs: Expected a module

(just do a file that contains type t = T)

s-zanella commented 9 years ago

I think fstar-mode.el is not at fault here. The interactive mode of F* (--in flag) should catch the error and report it:

$ bin/fstar.exe --in
#push
type t = T
#end

Unexpected error; please file a bug report, ideally with a minimized version of the source program that triggered the error.
Failure("Unset current module")

@msprotz Can you report the issue to FStarLang/FStar?