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 | |