Skip to content

Commit

Permalink
fix: potential stack overflow when computing types of lambda paramete…
Browse files Browse the repository at this point in the history 
…rs (#1173)

### Summary of Changes

Due to the interaction between the type computer and the scope provider,
the previous approach to prevent endless recursion when computing the
type of lambda parameters could fail. This PR provides a more robust
implementation to fix this issue.
  • Loading branch information
@lars-reimann
lars-reimann authored May 16, 2024
1 parent a07e893 commit d89511e
Show file tree
Hide file tree
Showing 4 changed files with 197 additions and 166 deletions.
Loading

0 comments on commit d89511e

Please sign in to comment.