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

ref #21677
(cherry picked from commit 5847317)
  • Loading branch information
@jrevels @ararslan
jrevels authored and ararslan committed Sep 9, 2017
1 parent 4b967d4 commit 7a5511f
Show file tree
Hide file tree
Showing 6 changed files with 253 additions and 340 deletions.
Loading

0 comments on commit 7a5511f

Please sign in to comment.