dhall_rust/dhall/src/semantics/nze, branch derive-macro working copy forked from https://github.com/Nadrieril/dhall-rust https://stuebinm.eu/git/dhall_rust/atom/dhall/src/semantics/nze?h=derive-macro 2021-01-22T19:26:25Z chore: fix clippy warnings 2021-01-22T19:26:25Z Nadrieril 2021-01-22T19:23:44Z urn:sha1:9ac6740b21b87eca327b4e3acad5a6b647b3636c Resolve imports and alternatives outside of the ast traversal 2020-12-07T19:35:30Z Nadrieril 2020-12-07T19:02:07Z urn:sha1:4473f3549f331c51a7df0e307d356a06c00d7288 Defer name errors to typechecking 2020-12-07T19:35:13Z Nadrieril 2020-12-07T17:48:20Z urn:sha1:7a392b07166c089979e69d4c8a68da3298964c28 We aren't supposed to inspect anything before alternatives are chosen Pass import results via the global context 2020-12-07T19:34:39Z Nadrieril 2020-12-07T14:32:06Z urn:sha1:c1fe26d45c831eec015ad5c015236fce1928613a Thread cx everywhere else imports are read 2020-12-07T19:34:39Z Nadrieril 2020-12-07T14:15:43Z urn:sha1:8c5b3ff15f2125e9d731fc199e194e1993c36b37 Thread cx through normalization 2020-12-07T19:34:38Z Nadrieril 2020-12-06T23:55:21Z urn:sha1:c785b7c0c6cd8b3b1cc15eb79caf982a757020ba Remove NirInternal 2020-11-03T23:18:58Z Nadrieril 2020-11-03T20:35:22Z urn:sha1:ecc5242463308c16f38dbd5015b9f264f990b76a Normalize `with` by mutation. 2020-11-03T23:18:58Z Nadrieril 2020-11-02T03:47:15Z urn:sha1: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. Try to keep ownership of `Nir`s when convenient 2020-11-03T23:18:58Z Nadrieril 2020-11-02T01:03:59Z urn:sha1:055e70f52bb0d8740ce6ac00b98ae856c29642b2 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:08Z Nadrieril 2020-04-06T21:24:15Z urn:sha1:56efd2ac39149d8652bd625fbf0679c10823b137