dhall_rust/dhall/src/operations, branch derive-macro working copy forked from https://github.com/Nadrieril/dhall-rust https://stuebinm.eu/git/dhall_rust/atom/dhall/src/operations?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 Thread cx through normalization 2020-12-07T19:34:38Z Nadrieril 2020-12-06T23:55:21Z urn:sha1:c785b7c0c6cd8b3b1cc15eb79caf982a757020ba Thread cx through typecheck 2020-12-07T19:34:38Z Nadrieril 2020-12-06T21:41:03Z urn:sha1:6287b7a7f9e421877ee13fefa586395fec844c99 If can return a type 2020-11-27T22:08:50Z Basile Henry 2020-11-27T22:08:14Z urn:sha1:711ad900153aedb7b35896c0705c932972edded2 Typecheck `with` using mutation 2020-11-03T23:18:58Z Nadrieril 2020-11-02T04:06:05Z urn:sha1:85d946016d67515aa70fa01338512e3fd7df408e 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 Handle record type properly 2020-11-02T22:38:03Z Basile Henry 2020-11-02T22:38:03Z urn:sha1:6375a0f2c3b123af5b1ff8c79d02caef6d2ed7e1 Inline helper function 2020-11-02T22:09:14Z Basile Henry 2020-11-02T22:09:14Z urn:sha1:8b016bbabb6be73f395feda73e4e40a4c552536b Refactor following PR review 2020-11-02T22:06:29Z Basile Henry 2020-11-02T22:06:29Z urn:sha1:f485ad425a786b680526a36a23bf58db9b0224e4