| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
For clarity, and consistency with Value
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Now Typed is only used in dhall::phase, similarly to
Parsed/Resolved/Normalized
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Helps detect unused code
|
|
|
|
|
|
|
|
|
|
|
|
|
|
They weren't worth it
|
|
It's a lot of hassle for not a lot of benefit
|
|
|