Stabel

Timeline
Login

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