| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
Rename File to FilePath and have more consistent naming.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
For clarity, and consistency with Value
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Now Typed is only used in dhall::phase, similarly to
Parsed/Resolved/Normalized
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Helps detect unused code
|
|
|
|
|
|
Instead construct their values directly
|