2020-10-23
| ||
04:46 | • Closed ticket [56a0fe1350]: Exhaustiveness checking plus 3 other changes artifact: 091dc72a12 user: robin.hansen | |
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 | |
2020-05-22
| ||
12:17 | • New ticket [56a0fe1350] Exhaustiveness checking. artifact: 306882b89b user: robin.hansen | |
Ticket UUID: | 56a0fe135037283fdb5473b3af4663c74dd63eb1 | |||
Title: | Exhaustiveness checking | |||
Status: | Closed | Type: | Feature | |
Severity: | Severe | System: | Compiler | |
Resolution: | Fixed | Modified: | 2020-10-23 04:46:48 | |
User Comments: | ||||
robin.hansen added on 2020-05-22 12:17:56:
Type checker should perform exhaustiveness checking on multiwords, to make sure all patterns are accounted for. |