FStarLang / fstar-mode.el

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

cygwin vs. windows line endings when parsing version #40

Closed nikswamy closed 7 years ago

nikswamy commented 7 years ago

Hi Clement,

Many of us use cygwin emacs with a native windows F* using OCaml.

It turns out that in this configuration, fstar-mode.el is unable to parse the version of F*. It complains with

version-to-list: Invalid version syntax: '0.9.3.1-beta^M'

Notice the suspicious trailing ^M.

Could this be handled within fstar-mode.el, perhaps getting it to trim the string before parsing it?

Thanks, Nik

cpitclaudel commented 7 years ago

Thanks for the report. Should be fixed now.