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

F# build does not parse unicode characters #1625

mtzguido opened this Issue Jan 7, 2019 · 0 comments


None yet
1 participant
Copy link

mtzguido commented Jan 7, 2019

This works with the OCaml build

module Bug

let f = fun xx

But with the F# build it says:

Bug.fst(3,14-3,15): (Error 168) Syntax error (Exception of type 'FStar.Errors+Err' was thrown.)
1 error was reported (see above)

Should be fixable by updating lex.fsl.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment