https://github.com/JuliaLang/julia
Revision f6ec50afdfc8d52eecb9bf23ab805038e1dc8007 authored by Jameson Nash on 20 January 2021, 17:04:43 UTC, committed by KristofferC on 21 January 2021, 07:11:16 UTC
This helps refine our knowledge of the `[limited]` flag setting, which
previously would always exclude a result from the cache when hitting a
cycle. However, we really only need to exclude a result if the result
might be dependent on that flag setting. That makes this formally part
of the lattice, though can be annoying to work with yet another wrapper,
so we try to add/remove it late/early to propagate it when necessary.

(cherry picked from commit 5f10eb9085fd5a622430d020c8bc9141c7acb7c7)
1 parent 9533cf8
History
Tip revision: f6ec50afdfc8d52eecb9bf23ab805038e1dc8007 authored by Jameson Nash on 20 January 2021, 17:04:43 UTC
inference: make Limited tracking part of the type lattice (#39116)
Tip revision: f6ec50a
File Mode Size
.devcontainer
base
cli
contrib
deps
doc
etc
src
stdlib
test
.clang-format -rw-r--r-- 3.3 KB
.gitattributes -rw-r--r-- 65 bytes
.gitignore -rw-r--r-- 283 bytes
.mailmap -rw-r--r-- 11.0 KB
CITATION.bib -rw-r--r-- 2.6 KB
CONTRIBUTING.md -rw-r--r-- 19.9 KB
HISTORY.md -rw-r--r-- 292.0 KB
LICENSE.md -rw-r--r-- 5.0 KB
Make.inc -rw-r--r-- 49.3 KB
Makefile -rw-r--r-- 25.2 KB
NEWS.md -rw-r--r-- 21.2 KB
README.md -rw-r--r-- 6.9 KB
VERSION -rw-r--r-- 12 bytes
sysimage.mk -rw-r--r-- 3.9 KB

README.md

back to top