Parents and children of check-in [30f96733db]
|
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 | |