Play

View Ticket
Login
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.