Revision eb5cf3a9e49173a8405efd94aca6e5dd40e4b419 authored by Shuhei Kadowaki on 10 October 2021, 18:38:20 UTC, committed by Shuhei Kadowaki on 11 October 2021, 04:57:23 UTC
The primary purpose of this commit is to improve the handling of `TypeVar`s and `Vararg`s. This commit tries to modify all places where we call `widenconst` on those non-`Type` objects and make inference work if `widenconst` doesn't accept them. Now `widenconst` is ensured to return `Type` always (and as a result we can safely call e.g. `widenconst(x) <: widenconst(y)`).
1 parent a7a21c6
File | Mode | Size |
---|---|---|
clangsa | ||
flisp | ||
jsvm-emscripten | ||
support | ||
.gitignore | -rw-r--r-- | 369 bytes |
APInt-C.cpp | -rw-r--r-- | 15.2 KB |
APInt-C.h | -rw-r--r-- | 5.1 KB |
Makefile | -rw-r--r-- | 26.8 KB |
abi_aarch64.cpp | -rw-r--r-- | 15.3 KB |
abi_arm.cpp | -rw-r--r-- | 9.2 KB |
abi_llvm.cpp | -rw-r--r-- | 2.4 KB |
abi_ppc64le.cpp | -rw-r--r-- | 5.8 KB |
abi_win32.cpp | -rw-r--r-- | 2.9 KB |
abi_win64.cpp | -rw-r--r-- | 3.0 KB |
abi_x86.cpp | -rw-r--r-- | 3.3 KB |
abi_x86_64.cpp | -rw-r--r-- | 8.4 KB |
aotcompile.cpp | -rw-r--r-- | 37.5 KB |
array.c | -rw-r--r-- | 45.4 KB |
ast.c | -rw-r--r-- | 51.9 KB |
ast.scm | -rw-r--r-- | 20.8 KB |
bin2hex.scm | -rw-r--r-- | 388 bytes |
builtin_proto.h | -rw-r--r-- | 1.9 KB |
builtins.c | -rw-r--r-- | 68.8 KB |
ccall.cpp | -rw-r--r-- | 81.5 KB |
ccalltest.c | -rw-r--r-- | 24.7 KB |
cgmemmgr.cpp | -rw-r--r-- | 29.7 KB |
cgutils.cpp | -rw-r--r-- | 150.5 KB |
codegen-stubs.c | -rw-r--r-- | 4.0 KB |
codegen.cpp | -rw-r--r-- | 356.8 KB |
codegen_shared.h | -rw-r--r-- | 1.9 KB |
common_symbols1.inc | -rw-r--r-- | 2.1 KB |
common_symbols2.inc | -rw-r--r-- | 5.7 KB |
crc32c-tables.c | -rw-r--r-- | 43.4 KB |
crc32c.c | -rw-r--r-- | 19.8 KB |
datatype.c | -rw-r--r-- | 65.5 KB |
debuginfo.cpp | -rw-r--r-- | 62.3 KB |
debuginfo.h | -rw-r--r-- | 682 bytes |
disasm.cpp | -rw-r--r-- | 46.3 KB |
dlload.c | -rw-r--r-- | 11.9 KB |
dump.c | -rw-r--r-- | 110.0 KB |
features_aarch32.h | -rw-r--r-- | 1.1 KB |
features_aarch64.h | -rw-r--r-- | 4.6 KB |
features_x86.h | -rw-r--r-- | 3.9 KB |
file_constants.h | -rw-r--r-- | 708 bytes |
gc-debug.c | -rw-r--r-- | 46.9 KB |
gc-pages.c | -rw-r--r-- | 13.1 KB |
gc-stacks.c | -rw-r--r-- | 7.7 KB |
gc.c | -rw-r--r-- | 142.7 KB |
gc.h | -rw-r--r-- | 22.5 KB |
gen_sysimg_symtab.jl | -rw-r--r-- | 2.0 KB |
getopt.c | -rw-r--r-- | 4.3 KB |
getopt.h | -rw-r--r-- | 1.8 KB |
gf.c | -rw-r--r-- | 131.6 KB |
iddict.c | -rw-r--r-- | 6.0 KB |
init.c | -rw-r--r-- | 28.7 KB |
interpreter.c | -rw-r--r-- | 30.4 KB |
intrinsics.cpp | -rw-r--r-- | 59.2 KB |
intrinsics.h | -rw-r--r-- | 3.1 KB |
ircode.c | -rw-r--r-- | 32.2 KB |
jitlayers.cpp | -rw-r--r-- | 42.8 KB |
jitlayers.h | -rw-r--r-- | 8.6 KB |
jl_exported_data.inc | -rw-r--r-- | 3.6 KB |
jl_exported_funcs.inc | -rw-r--r-- | 15.2 KB |
jl_uv.c | -rw-r--r-- | 28.2 KB |
jlapi.c | -rw-r--r-- | 19.5 KB |
jlfrontend.scm | -rw-r--r-- | 9.4 KB |
jloptions.c | -rw-r--r-- | 30.2 KB |
jloptions.h | -rw-r--r-- | 1.4 KB |
jltypes.c | -rw-r--r-- | 101.0 KB |
julia-parser.scm | -rw-r--r-- | 109.5 KB |
julia-syntax.scm | -rw-r--r-- | 221.8 KB |
julia.expmap | -rw-r--r-- | 859 bytes |
julia.h | -rw-r--r-- | 92.3 KB |
julia_assert.h | -rw-r--r-- | 1.0 KB |
julia_atomics.h | -rw-r--r-- | 11.8 KB |
julia_fasttls.h | -rw-r--r-- | 1.6 KB |
julia_gcext.h | -rw-r--r-- | 6.6 KB |
julia_internal.h | -rw-r--r-- | 64.1 KB |
julia_locks.h | -rw-r--r-- | 4.3 KB |
julia_threads.h | -rw-r--r-- | 12.5 KB |
llvm-alloc-opt.cpp | -rw-r--r-- | 56.2 KB |
llvm-demote-float16.cpp | -rw-r--r-- | 5.5 KB |
llvm-final-gc-lowering.cpp | -rw-r--r-- | 11.6 KB |
llvm-gc-invariant-verifier.cpp | -rw-r--r-- | 7.2 KB |
llvm-julia-licm.cpp | -rw-r--r-- | 5.0 KB |
llvm-late-gc-lowering.cpp | -rw-r--r-- | 115.0 KB |
llvm-lower-handlers.cpp | -rw-r--r-- | 8.6 KB |
llvm-muladd.cpp | -rw-r--r-- | 3.3 KB |
llvm-multiversioning.cpp | -rw-r--r-- | 38.6 KB |
llvm-pass-helpers.cpp | -rw-r--r-- | 9.6 KB |
llvm-pass-helpers.h | -rw-r--r-- | 5.4 KB |
llvm-propagate-addrspaces.cpp | -rw-r--r-- | 11.6 KB |
llvm-ptls.cpp | -rw-r--r-- | 12.4 KB |
llvm-remove-addrspaces.cpp | -rw-r--r-- | 15.9 KB |
llvm-remove-ni.cpp | -rw-r--r-- | 1.5 KB |
llvm-simdloop.cpp | -rw-r--r-- | 9.3 KB |
llvm-version.h | -rw-r--r-- | 917 bytes |
llvmcalltest.cpp | -rw-r--r-- | 2.2 KB |
macroexpand.scm | -rw-r--r-- | 26.0 KB |
match.scm | -rw-r--r-- | 9.8 KB |
method.c | -rw-r--r-- | 40.1 KB |
mk_julia_flisp_boot.scm | -rw-r--r-- | 137 bytes |
module.c | -rw-r--r-- | 29.6 KB |
opaque_closure.c | -rw-r--r-- | 3.3 KB |
options.h | -rw-r--r-- | 5.6 KB |
partr.c | -rw-r--r-- | 17.4 KB |
precompile.c | -rw-r--r-- | 14.6 KB |
processor.cpp | -rw-r--r-- | 26.9 KB |
processor.h | -rw-r--r-- | 9.8 KB |
processor_arm.cpp | -rw-r--r-- | 65.0 KB |
processor_fallback.cpp | -rw-r--r-- | 4.6 KB |
processor_x86.cpp | -rw-r--r-- | 39.4 KB |
rtutils.c | -rw-r--r-- | 46.7 KB |
runtime_ccall.cpp | -rw-r--r-- | 10.7 KB |
runtime_intrinsics.c | -rw-r--r-- | 50.6 KB |
safepoint.c | -rw-r--r-- | 7.1 KB |
serialize.h | -rw-r--r-- | 3.1 KB |
signal-handling.c | -rw-r--r-- | 12.0 KB |
signals-mach.c | -rw-r--r-- | 23.7 KB |
signals-unix.c | -rw-r--r-- | 30.2 KB |
signals-win.c | -rw-r--r-- | 17.7 KB |
simplevector.c | -rw-r--r-- | 2.9 KB |
smallintset.c | -rw-r--r-- | 5.7 KB |
stackwalk.c | -rw-r--r-- | 28.8 KB |
staticdata.c | -rw-r--r-- | 69.8 KB |
subtype.c | -rw-r--r-- | 141.8 KB |
symbol.c | -rw-r--r-- | 5.2 KB |
sys.c | -rw-r--r-- | 22.7 KB |
task.c | -rw-r--r-- | 43.4 KB |
threading.c | -rw-r--r-- | 16.5 KB |
threading.h | -rw-r--r-- | 684 bytes |
timing.c | -rw-r--r-- | 1.8 KB |
timing.h | -rw-r--r-- | 4.3 KB |
toplevel.c | -rw-r--r-- | 39.0 KB |
typemap.c | -rw-r--r-- | 53.5 KB |
uprobes.d | -rw-r--r-- | 678 bytes |
utils.scm | -rw-r--r-- | 3.0 KB |
uv_constants.h | -rw-r--r-- | 783 bytes |
win32_ucontext.c | -rw-r--r-- | 2.9 KB |
win32_ucontext.h | -rw-r--r-- | 639 bytes |
Computing file changes ...