https://github.com/JuliaLang/julia
Revision 1d08d70fb07cfcfc9e89ae1a2521411b1e1724e5 authored by Jameson Nash on 25 February 2020, 17:47:56 UTC, committed by Jameson Nash on 03 March 2020, 22:04:18 UTC
We want tmerge to form a smaller supertype, so we need to make sure the
result is on the intersection of the supertype and simplicity lattice.
Previously, we first only checked the supertype lattice, then considered
the simplicity lattice only if that failed.

fix #34834
1 parent 4eb0943
History
Tip revision: 1d08d70fb07cfcfc9e89ae1a2521411b1e1724e5 authored by Jameson Nash on 25 February 2020, 17:47:56 UTC
inference: prevent tmerge from picking a larger type
Tip revision: 1d08d70
File Mode Size
base
contrib
deps
doc
etc
src
stdlib
test
ui
.appveyor.yml -rw-r--r-- 2.1 KB
.gitattributes -rw-r--r-- 65 bytes
.gitignore -rw-r--r-- 273 bytes
.mailmap -rw-r--r-- 11.0 KB
.travis.yml -rw-r--r-- 6.1 KB
CITATION.bib -rw-r--r-- 2.6 KB
CONTRIBUTING.md -rw-r--r-- 21.4 KB
HISTORY.md -rw-r--r-- 275.6 KB
LICENSE.md -rw-r--r-- 5.0 KB
Make.inc -rw-r--r-- 41.0 KB
Makefile -rw-r--r-- 27.1 KB
NEWS.md -rw-r--r-- 5.3 KB
README.md -rw-r--r-- 6.3 KB
VERSION -rw-r--r-- 10 bytes
sysimage.mk -rw-r--r-- 3.8 KB

README.md

back to top