We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
let _ = x:int -> bool let _ = #x:int -> bool let _ = #[@@@1]x:int -> bool let _ = [@@@1]x:int -> bool let _ = (x:int) -> bool let _ = (#x:int) -> bool let _ = (#[@@@1]x:int) -> bool let _ = ([@@@1]x:int) -> bool
Only the last line fails to parse.
* Error 168 at B.fst(11,21-11,21): - Syntax error
The text was updated successfully, but these errors were encountered:
Add a test for FStarLang#3530
971eb6d
31ab322
Merge pull request #3531 from mtzguido/3530
6c63d20
Fixing #3530
No branches or pull requests
Only the last line fails to parse.
The text was updated successfully, but these errors were encountered: