Skip to content

Match Char with char constant in F##2656

Merged
nikswamy merged 3 commits intoFStarLang:masterfrom
kant2002:kant/fix-2647
Jul 27, 2022
Merged

Match Char with char constant in F##2656
nikswamy merged 3 commits intoFStarLang:masterfrom
kant2002:kant/fix-2647

Conversation

@kant2002
Copy link
Copy Markdown
Contributor

Fixes #2647

@kant2002
Copy link
Copy Markdown
Contributor Author

@aseemr I think I make this works. Can somebody take a look, otherwise basic printf samples does not working in F#

@nikswamy
Copy link
Copy Markdown
Collaborator

Thanks!

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

Successfully merging this pull request may close these issues.

Match with char type produce incorrect extract as F#

2 participants