[Relay] Check match expressions for completeness - #3203

Merged

tqchen merged 8 commits into

apache:masterfrom

slyubomirsky:match-exhaustion

Jun 13, 2019

Commits on May 30, 2019

Add a match exhaustion check
slyubomirsky
committed
1f967da
Matches are a trichotomy
slyubomirsky
committed
d3b7739
Add tests for case matching, add match completeness check to type checking, fix prelude functions and broken tests
slyubomirsky
committed
e112492
Make missing cases only a warning, not an error for now
slyubomirsky
committed
a2f2fce
Trim some poorly written logic
slyubomirsky
committed
31902f6
Make partial matching more aggressively search for clash
slyubomirsky
committed
fad18da
Add trickier test case
slyubomirsky
committed
b782c03
Fix rebase artifacts
slyubomirsky
committed
32f13b0