dhall_rust/dhall/src/semantics/tck, branch derive-macro working copy forked from https://github.com/Nadrieril/dhall-rust https://stuebinm.eu/git/dhall_rust/atom/dhall/src/semantics/tck?h=derive-macro 2021-03-27T10:51:05Z Replace a bunch of Err(…)? and format!("constant") calls. 2021-03-27T10:51:05Z Ceri Storey 2021-03-27T10:10:54Z urn:sha1:6053e48575cf3b421f3eb8a6af33c853a518d9c9 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 Unify `skip_resolve_expr` with normal resolution 2020-12-07T19:34:39Z Nadrieril 2020-12-07T15:24:36Z urn:sha1:922199ab322efa7b62bf4698cf5ed9e2d7a378c0 Pass import results via the global context 2020-12-07T19:34:39Z Nadrieril 2020-12-07T14:32:06Z urn:sha1:c1fe26d45c831eec015ad5c015236fce1928613a 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 Typecheck `with` using mutation 2020-11-03T23:18:58Z Nadrieril 2020-11-02T04:06:05Z urn:sha1:85d946016d67515aa70fa01338512e3fd7df408e spec: allow unions with mixed kinds 2020-06-25T14:12:09Z Nadrieril 2020-04-11T21:05:00Z urn:sha1:9da112a1985124f549254943c81495e637fb43cc Clippy 2020-04-07T11:07:59Z Nadrieril 2020-04-07T11:07:59Z urn:sha1:214a3c998a3358849495b54a60d46f626b131f0a