type system revision and new subtype algorithm#18457

Merged

JeffBezanson merged 18 commits intomasterfrom jb/subtype

Jan 16, 2017

+5,910-4,914

Commits on Jan 16, 2017

update examples/juliatypes.jl
JeffBezanson
committed
add subtype test suite
JeffBezanson
committed
new type union, unionall representation, new subtype and intersection algorithms
JeffBezanson
committed
implement where syntax
JeffBezanson
committed
make type declarations with triangular constraints work properly
JeffBezanson
committed
normalize Tuple{Vararg} to Tuple
JeffBezanson
committed
make ordered type cache more robust
JeffBezanson
committed
fix some type cache ordering bugs
JeffBezanson
committed
doc and NEWS updates for jb/subtype
JeffBezanson
committed
address review comments
JeffBezanson
committed
remove extraneous for loops for subtype algo

vtjnash
authored and
JeffBezanson
committed
fix some broken subtyping tests

vtjnash
authored and
JeffBezanson
committed
add a fastpath to type-equal for leaftype

vtjnash
authored and
JeffBezanson
committed
improve codegen of unionall arrays

vtjnash
authored and
JeffBezanson
committed
use Const(T) instead of Type{T} in inference

vtjnash
authored and
JeffBezanson
committed
return_type_tfunc was too pessimistic

vtjnash
authored and
JeffBezanson
committed
in jl_isa, avoid jl_wrap_Type in more cases

vtjnash
authored and
JeffBezanson
committed
Fix crash in Dict test

Keno
authored and
JeffBezanson
committed