Determine exhaustiveness as When
instead of bool
.
#568
Job | Run time |
---|---|
14s | |
37s | |
1m 54s | |
2m 44s | |
1m 43s | |
2m 22s | |
58s | |
1m 2s | |
53s | |
1m 0s | |
1m 59s | |
1m 41s | |
1m 45s | |
1m 48s | |
20m 40s |
When
instead of bool
.
#568
Job | Run time |
---|---|
14s | |
37s | |
1m 54s | |
2m 44s | |
1m 43s | |
2m 22s | |
58s | |
1m 2s | |
53s | |
1m 0s | |
1m 59s | |
1m 41s | |
1m 45s | |
1m 48s | |
20m 40s |