By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Model root provenance as an ADT and lift the defaults to the top level Review feedback on #204: a `Bool` field is easy to read past, so make the provenance a two-constructor type instead. Pattern matching on `Configured` versus `Default` now forces every dead-root check to say what it does with a defaulted section, rather than relying on a guard against a flag. The default root sections also become top-level bindings, so the TOML decoder can name them directly instead of destructuring `defaultConfig` in a where clause.
Total
2h34m49s
Created Started Finished
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | 0s | 7s | 7s | 7s | 0s |
| Eval | 7s | 2h33m46s | 2h33m46s | 2h33m53s | 2h00m00s |
| Build | 2h33m53s | 1m10s | 55s | 2h34m49s | 0s |
| Suite | 0s | 2h35m03s | 2h34m49s | 2h34m49s | 2h00m00s |