PR #28955 add inference lattice element for Tuples

add inference lattice element for Tuples #28955

jrevels merged 4 commits into master from jr/tuplelattice

jrevels commented on 2018-08-30

JeffBezanson changed the title ~~WIP: add type lattice element for Tuples~~ WIP: add inference lattice element for Tuples 7 years ago

JeffBezanson added compiler:inference

jrevels force pushed from 2eb09056 to d8123652 7 years ago

JeffBezanson commented on 2018-09-17

jrevels force pushed from 91463b89 to 7c366517 7 years ago

jrevels changed the title ~~WIP: add inference lattice element for Tuples~~ add inference lattice element for Tuples 7 years ago

jrevels force pushed from 437334bb to 856ab90b 7 years ago

jrevels commented on 2018-09-24

jrevels force pushed from f5cdfd86 to c75af8bb 7 years ago

Keno approved these changes on 2018-10-05

jrevels force pushed from 9ab2cafa to ccaf8508 7 years ago

Replace `InferenceResult` varargs hack with new inference lattice ele…

f4b5c58a

add tests for new PartialTuple capabilities

8e38182f

Don't eliminate PiNodes for mismatched types

45017f6e

Turn some asserts into runtime traps instead

29d8f089

jrevels force pushed from ccaf8508 to 29d8f089 7 years ago

Keno approved these changes on 2018-10-05

jrevels merged 0a685d3f into master 7 years ago

jrevels deleted the jr/tuplelattice branch 7 years ago

Reviewers

Keno

JeffBezanson

Assignees

No one assigned

Labels

compiler:inference

Milestone

No milestone