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.

Sign up for GitHub

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

Core typechecker fix for returns annotation #3229

Merged
merged 2 commits into from
Mar 27, 2024
+6 −3
Merged

Core typechecker fix for returns annotation #3229

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
9c47c7e
close the guard produced by the core checking of returns
aseemr Mar 26, 2024
abe9bd7
snap
aseemr Mar 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Loading
Loading status checks…
snap
@aseemr
aseemr committed Mar 26, 2024

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode
commit abe9bd707d1051861c1e5d24c72d0c4d3bd75cc7
6 changes: 4 additions & 2 deletions ocaml/fstar-lib/generated/FStar_TypeChecker_Core.ml
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.