Merge pull request #4650 from roc-lang/detect-reachable-by-recursion-only

Provide warning for defs that are used only in (mutual) recursion
This commit is contained in:
Ayaz 2022-12-02 13:39:52 -06:00 committed by GitHub
commit b5a195eaf0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 262 additions and 19 deletions

View file

@ -68,7 +68,7 @@ pub fn infer_borrow<'a>(
let sccs = matrix.strongly_connected_components_all();
for group in sccs.groups() {
for (group, _) in sccs.groups() {
// This is a fixed-point analysis
//
// all functions initiall own all their parameters