Play

Timeline
Login

9 check-ins related to "exhaustiveness-checking"

2020-10-23
04:46
TypeChecker now checks to see if a multiword handles every possible leading type. Fixes [56a0fe1350]... check-in: dbcb88d2fc user: robin.hansen tags: trunk
04:44
Add error message for inexhaustive multiwords. Closed-Leaf check-in: 30f96733db user: robin.hansen tags: exhaustiveness-checking
04:34
Add more tests to verify correctness of inexhaustiveness check. check-in: 9b6ee57feb user: robin.hansen tags: exhaustiveness-checking
2020-10-22
04:54
Inexhaustiveness check now handles recursive patterns, and doesn't report an error when a total bran... check-in: 511a510477 user: robin.hansen tags: exhaustiveness-checking
2020-10-20
05:00
First pass at recursive inexhaustiveness check. check-in: 64a19161a8 user: robin.hansen tags: exhaustiveness-checking
2020-10-19
06:01
First pass at inexhaustiveness check. Doesn't handle recursive cases. check-in: 52f96fb742 user: robin.hansen tags: exhaustiveness-checking
2020-10-17
12:24
Add missing implementation in test case. check-in: f10c7e0002 user: robin.hansen tags: exhaustiveness-checking
2020-10-16
05:02
Prepare for exhaustiveness checking. check-in: e9251da064 user: robin.hansen tags: exhaustiveness-checking
2020-10-13
05:00
Unions with generic branches can now be used in multiwords. Fixing [0dd72ccbb4]. check-in: 1fd01c7a22 user: robin.hansen tags: trunk