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 @vtjnash
jrevels authored and vtjnash committed Sep 14, 2017
1 parent 873152b commit cfe424e
Show file tree
Hide file tree
Showing 6 changed files with 254 additions and 341 deletions.
Loading

0 comments on commit cfe424e

Please sign in to comment.