Skip to content

Commit

Permalink
redesign type inference outer loop (PR #21677)
Browse files Browse the repository at this point in the history 
removes the global work queue, which allows increasing the precision of cycle detection and resolution, and decreases the need for the threading synchronization lock surrounding inference

updates `inInference` flag usage to be merely a hint for `jl_type_infer` to not bother trying to infer a method (helps avoid accidental infinite recursion over inferring type inference), enable inferring inference

(cherry picked from commit 5847317)
  • Loading branch information
@jrevels @ararslan
jrevels authored and ararslan committed Sep 14, 2017
1 parent 4aa661a commit 88fa433
Show file tree
Hide file tree
Showing 6 changed files with 254 additions and 341 deletions.
Loading

0 comments on commit 88fa433

Please sign in to comment.