Skip to content

Add tests to serve as some documentation for PostInferenceChecks #15416

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

Merged
vzarytovskii merged 16 commits into from
Aug 25, 2023
Merged

Add tests to serve as some documentation for PostInferenceChecks #15416

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
c13e87a
Flatten a CPS to an accumulator
Smaug123 Jun 15, 2023
2096185
Expose members for test
Smaug123 Jun 16, 2023
cc4f8e7
Add docstrings
Smaug123 Jun 16, 2023
ee574f5
Add tests of the properties I claimed in the PR
Smaug123 Jun 17, 2023
9151946
Merge branch 'main' into remove-stacks
Smaug123 Jun 17, 2023
167d384
Merge branch 'main' into remove-stacks
Smaug123 Jun 22, 2023
028cfa8
Fix base case
Smaug123 Jul 4, 2023
1705157
Merge remote-tracking branch 'origin/main' into remove-stacks
Smaug123 Jul 4, 2023
c1e71b9
Merge branch 'remove-stacks' of github.com:Smaug123/fsharp-1 into rem…
Smaug123 Jul 4, 2023
0fa4cfd
Apparently I'm breaking the law
Smaug123 Jul 4, 2023
e5f4cb4
Merge main
Smaug123 Aug 21, 2023
fb282c9
Restore comment that got lost
Smaug123 Aug 21, 2023
e37836f
Get rid of one call
Smaug123 Aug 21, 2023
7d3fc81
Revert "Get rid of one call"
Smaug123 Aug 21, 2023
5115d92
Revert change
Smaug123 Aug 21, 2023
69ae3ce
Merge remote-tracking branch 'origin/main' into remove-stacks
Smaug123 Aug 21, 2023
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
Next Next commit
Revert "Get rid of one call" 
This reverts commit e37836f.
  • Loading branch information
@Smaug123
Smaug123 committed Aug 21, 2023
commit 7d3fc81b50adbd072dc9b715201f348880094201
4 changes: 3 additions & 1 deletion src/Compiler/Checking/PostInferenceChecks.fs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1012,7 +1012,9 @@ and CheckExprLinear (cenv: cenv) (env: env) expr (ctxt: PermitByRefExpr) (acc :
| Expr.DebugPoint (_, innerExpr) ->
CheckExprLinear cenv env innerExpr ctxt acc

| _ -> failwith "unreachable: it was the caller's responsibility to ensure we were in one of the above cases"
| _ ->
// not a linear expression
CheckExpr cenv env expr ctxt

/// Check a resumable code expression (the body of a ResumableCode delegate or
/// the body of the MoveNextMethod for a state machine)
Expand Down