diff options
| author | Nadrieril | 2020-03-13 21:29:08 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
| commit | f4a1a6b8d4de5f83649b2ddd90d65f6e6d76e5e1 (patch) | |
| tree | 4430f8e81cc8d451ed16c8b45d6f2ce8ed2f8c56 /dhall/src/syntax | |
| parent | ef3734a3e9381b2e91552089774126f58f560bc3 (diff) | |
Nir::normalize isn't useful
It pretends to normalize but actually can't normalize under lambdas. The
correct way to normalize a Nir is to convert it to Hir.
Diffstat (limited to 'dhall/src/syntax')
0 files changed, 0 insertions, 0 deletions