Skip to content

Commit

Permalink
redesign type inference outer loop (PR JuliaLang#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
  • Loading branch information
@jrevels @vtjnash
jrevels authored and vtjnash committed May 15, 2017
1 parent a204bfd commit 5847317
Show file tree
Hide file tree
Showing 6 changed files with 254 additions and 341 deletions.
Loading

0 comments on commit 5847317

Please sign in to comment.