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 12, 2017
1 parent 4b967d4 commit bd024e9
Show file tree
Hide file tree
Showing 6 changed files with 254 additions and 341 deletions.
Loading

0 comments on commit bd024e9

Please sign in to comment.