Commits

Commits on Apr 13, 2023

subtype: simple_union allocation optimization (JuliaLang#49293 )
N5N3
committedApr 13, 2023
Subtype: fix union estimation on non-type parameters. (JuliaLang#49345 )
N5N3
committedApr 13, 2023

Commits on Apr 5, 2023

Avoid re-intersection for simple case
N5N3
committedApr 5, 2023
Skip the subtype check in rename_unionall
N5N3
committedApr 5, 2023
Enable seperatable subtyping for equality check.
N5N3
committedApr 5, 2023

Commits on Mar 30, 2023

fix obviously_disjoint for Union Types (JuliaLang#49177 )
N5N3
committedMar 30, 2023

Commits on Mar 29, 2023

Merge pull request JuliaLang#49133 from N5N3/interbug-find
N5N3
committedMar 29, 2023

Commits on Mar 28, 2023

Subtype: Add a fastpath for nested constructor with identity name. (JuliaLang#49159 )

N5N3
and
vtjnash
committedMar 28, 2023

Commits on Mar 24, 2023

replace NULL with a innervar
N5N3
committedMar 24, 2023
Fix intersection bug caused by intvalued clean.
N5N3
committedMar 24, 2023
Make subtype handle offset from intersection correctly.
N5N3
committedMar 24, 2023
Merge pull request JuliaLang#49073 from N5N3/interbug-find
N5N3
committedMar 24, 2023

Commits on Mar 21, 2023

NFC clean for JuliaLang#49049
N5N3
committedMar 21, 2023
restore_env for re-intersection of concrete var.
N5N3
committedMar 21, 2023
code clean for intvalued.
N5N3
committedMar 21, 2023
Fix invdepth within existential subtyping. (JuliaLang#49049 )
N5N3
committedMar 21, 2023

Commits on Mar 16, 2023

Unwrap y::UnionALL eagerly when x<:y if x isa ∀-var. (JuliaLang#49023 )
N5N3
committedMar 16, 2023
Add test for JuliaLang#48961 (JuliaLang#49014 )
N5N3
committedMar 16, 2023

Commits on Mar 8, 2023

Fix Vararg methods widening with unused type variable (JuliaLang#48953 )
N5N3
committedMar 8, 2023

Commits on Feb 16, 2023

Intersect: avoid re-wrapping inner-var (JuliaLang#48695 )

N5N3
and
vtjnash
committedFeb 16, 2023
Make sure rename_unionall rename all enclosing UnionAlls (JuliaLang#48691 )
N5N3
committedFeb 16, 2023

Commits on Feb 14, 2023

Inference: more thorough UnionAll renaming in apply_type_tfunc (JuliaLang#48662 )
N5N3
committedFeb 14, 2023

Commits on Feb 10, 2023

Limit the src style in structured broadcast (JuliaLang#48467 )
N5N3
committedFeb 10, 2023

Commits on Feb 9, 2023

Avoid split y::Union when comparing with a forall var.
N5N3
committedFeb 9, 2023

Commits on Feb 8, 2023

Merge pull request JuliaLang#48534 from N5N3/Test2
N5N3
committedFeb 8, 2023
also drop JL_ROOTED_VALUE_COLLECTION
N5N3
committedFeb 8, 2023

Commits on Feb 5, 2023

Subtype: skip more identical check for X::Tuple <: Y::Tuple
N5N3
committedFeb 5, 2023
Intersect: remove dead code
N5N3
committedFeb 5, 2023

Commits on Feb 2, 2023

Subtype: avoid false alarm caused by eager forall_exists_subtype. (JuliaLang#48441 )
N5N3
committedFeb 2, 2023

Commits on Feb 1, 2023

Subtype: avoid repeated failing equal_union. (JuliaLang#48410 )
N5N3
committedFeb 1, 2023
Subtype: Code clean for union state stack. (JuliaLang#48479 )
N5N3
committedFeb 1, 2023

Commits on Jan 12, 2023

Some small patch for typeintersect. (JuliaLang#48224 )
N5N3
committedJan 12, 2023

Commits on Jan 10, 2023

Merge pull request JuliaLang#48167 from N5N3/inter-fix2
N5N3
committedJan 10, 2023
"Widen" T>:Any to Any in simple_join.
N5N3
committedJan 10, 2023
More thorough reachable_var check.
N5N3
committedJan 10, 2023