Skip to main content

Browse the archive

https://github.com/JuliaLang/julia
19 April 2024, 06:28:37 UTC
Revision bbe91dbfaa27dae35cce2b27ef68cb12ff6a1aba authored by Shuhei Kadowaki on 11 October 2021, 05:47:03 UTC, committed by KristofferC on 08 November 2021, 09:15:05 UTC 
inference: improve `TypeVar`/`Vararg` handling
 
During working on the incoming lattice overhaul, I found it's quite
confusing that `TypeVar` and `Vararg` can appear in the same context
as valid `Type` objects as well as extended lattice elements.
Since it usually needs special cases to operate on `TypeVar` and `Vararg`
(e.g. they can not be used in subtyping as an obvious example), I believe
it would be great avoid bugs and catch logic errors in the future development
if we separate contexts where they can appear from ones where `Type`
objects and extended lattice elements are expected.

So this commit:
- tries to separate their context, e.g. now `TypeVar` and `Vararg` should
  not be used in `_limit_type_size`, which is supposed to return `Type`,
  but they should be handled its helper function `__limit_type_size`
- makes sure `tfunc`s don't return `TypeVar`s and `TypeVar` never spills
  into the abstract state
- makes sure `widenconst` are not called on `TypeVar` and `Vararg`,
  and now `widenconst` is ensured to return `Type` always
- and does other general refactors

(cherry picked from commit d60f92cd3a92cd12cae55893e55e6d9e14b0052e)
1 parent 9723f82
History
Tip revision: bbe91dbfaa27dae35cce2b27ef68cb12ff6a1aba authored by Shuhei Kadowaki on 11 October 2021, 05:47:03 UTC
inference: improve `TypeVar`/`Vararg` handling
Tip revision: bbe91db
File Mode Size
Artifacts
Base64
CRC32c
CompilerSupportLibraries_jll
Dates
DelimitedFiles
Distributed
FileWatching
Future
GMP_jll
InteractiveUtils
LLVMLibUnwind_jll
LazyArtifacts
LibCURL_jll
LibGit2
LibGit2_jll
LibSSH2_jll
LibUV_jll
LibUnwind_jll
Libdl
LinearAlgebra
Logging
MPFR_jll
Markdown
MbedTLS_jll
Mmap
MozillaCACerts_jll
OpenBLAS_jll
OpenLibm_jll
PCRE2_jll
Printf
Profile
REPL
Random
SHA
Serialization
SharedArrays
Sockets
SparseArrays
SuiteSparse_jll
TOML
Test
UUIDs
Unicode
Zlib_jll
dSFMT_jll
libLLVM_jll
libblastrampoline_jll
nghttp2_jll
p7zip_jll
.gitignore -rw-r--r-- 233 bytes
ArgTools.version -rw-r--r-- 222 bytes
Downloads.version -rw-r--r-- 237 bytes
LibCURL.version -rw-r--r-- 218 bytes
Makefile -rw-r--r-- 2.9 KB
NetworkOptions.version -rw-r--r-- 262 bytes
Pkg.version -rw-r--r-- 201 bytes
Statistics.version -rw-r--r-- 238 bytes
SuiteSparse.version -rw-r--r-- 244 bytes
Tar.version -rw-r--r-- 192 bytes
back to top