diff options
| author | Nadrieril | 2020-01-30 18:04:16 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-30 18:04:16 +0000 |
| commit | 7062de011eab7954f4bcf78fa1cf970ba91d6a5a (patch) | |
| tree | f587d2d468d467bd5759ae4e2b8b69f9edc827fc /dhall/src/semantics/nze/normalize.rs | |
| parent | 8ff022fa2cec34bc1d46ac3655d0c3d228ef893c (diff) | |
Remove Value visitor
It's mostly useful when we can change types, but it's also too
constraining if we can, because then we can't enforce complex invariants
like the one for TextLit.
Diffstat (limited to 'dhall/src/semantics/nze/normalize.rs')
0 files changed, 0 insertions, 0 deletions