By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Cover the GADT and multi-selector paths of the prefix rule A constructor written in GADT syntax, a record field written there, and one field declaration naming two selectors each reach code the resources did not exercise. Dropped ScopedTypeVariables with them: the annotation on the listify predicate binds no type variable, so the extension was never load-bearing.
Total
22s
Created Started Finished
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | 0s | 0s | 0s | 1s | 0s |
| Eval | 0s | 21s | 21s | 22s | 0s |
| Build | 16s | 0s | 5s | 22s | 0s |
| Suite | 0s | 22s | 22s | 22s | 0s |