| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
Now Typed is only used in dhall::phase, similarly to
Parsed/Resolved/Normalized
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Helps detect unused code
|
|
|
|
I have no idea how this didn't get caught before
|
|
|
|
Instead construct their values directly
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
It's a lot of hassle for not a lot of benefit
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|