dhall_rust/dhall/src/semantics/nze, branch derive-macro working copy forked from https://github.com/Nadrieril/dhall-rust chore: fix clippy warnings 2021-01-22T19:26:25+00:00 Nadrieril 2021-01-22T19:23:44+00:00 9ac6740b21b87eca327b4e3acad5a6b647b3636c 






Resolve imports and alternatives outside of the ast traversal
2020-12-07T19:35:30+00:00

Nadrieril

2020-12-07T19:02:07+00:00

4473f3549f331c51a7df0e307d356a06c00d7288












Defer name errors to typechecking
2020-12-07T19:35:13+00:00

Nadrieril

2020-12-07T17:48:20+00:00

7a392b07166c089979e69d4c8a68da3298964c28

We aren't supposed to inspect anything before alternatives are chosen





We aren't supposed to inspect anything before alternatives are chosen







Pass import results via the global context
2020-12-07T19:34:39+00:00

Nadrieril

2020-12-07T14:32:06+00:00

c1fe26d45c831eec015ad5c015236fce1928613a












Thread cx everywhere else imports are read
2020-12-07T19:34:39+00:00

Nadrieril

2020-12-07T14:15:43+00:00

8c5b3ff15f2125e9d731fc199e194e1993c36b37












Thread cx through normalization
2020-12-07T19:34:38+00:00

Nadrieril

2020-12-06T23:55:21+00:00

c785b7c0c6cd8b3b1cc15eb79caf982a757020ba












Remove NirInternal
2020-11-03T23:18:58+00:00

Nadrieril

2020-11-03T20:35:22+00:00

ecc5242463308c16f38dbd5015b9f264f990b76a












Normalize `with` by mutation.
2020-11-03T23:18:58+00:00

Nadrieril

2020-11-02T03:47:15+00:00

9e8ae42b2742e27a70a7fb8ea79ae21060d43fc1

This is Cow-style mutation: we clone only what's shared and then mutate
it. This it more legible and more efficient than the immutable version.





This is Cow-style mutation: we clone only what's shared and then mutate
it. This it more legible and more efficient than the immutable version.







Try to keep ownership of `Nir`s when convenient
2020-11-03T23:18:58+00:00

Nadrieril

2020-11-02T01:03:59+00:00

055e70f52bb0d8740ce6ac00b98ae856c29642b2

The goal is that we might avoid cloning internals in the common case
where a value is not shared





The goal is that we might avoid cloning internals in the common case
where a value is not shared







Move BinOp and Builtin definitions in the relevant module
2020-04-06T21:26:08+00:00

Nadrieril

2020-04-06T21:24:15+00:00

56efd2ac39149d8652bd625fbf0679c10823b137