Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cygwin vs. windows line endings when parsing version #40

Closed
nikswamy opened this issue Dec 8, 2016 · 1 comment
Closed

cygwin vs. windows line endings when parsing version #40

nikswamy opened this issue Dec 8, 2016 · 1 comment

Comments

@nikswamy
Copy link
Contributor

nikswamy commented Dec 8, 2016

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
Copy link
Contributor

Thanks for the report. Should be fixed now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants