dhall_rust/dhall/src/semantics, branch substitutions working copy forked from https://github.com/Nadrieril/dhall-rust https://stuebinm.eu/git/dhall_rust/atom/dhall/src/semantics?h=substitutions 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 chore: fix clippy warnings 2021-01-22T19:26:25Z Nadrieril 2021-01-22T19:23:44Z urn:sha1:9ac6740b21b87eca327b4e3acad5a6b647b3636c tweak: factor a bit 2020-12-08T20:25:20Z Nadrieril 2020-12-07T20:03:37Z urn:sha1:d79f700ace3bf016bc578272fd800732dbaa1922 fix: fix import ordering issue 2020-12-08T20:25:20Z Nadrieril 2020-12-07T19:58:05Z urn:sha1:70508b6a6cff9cd1bb6383be939914edf1fc653a 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 Avoid storing an import before we checked its hash 2020-12-07T19:35:13Z Nadrieril 2020-12-07T17:16:06Z urn:sha1:f478bc16a3b8414770d84dd87f3e46b869d31750 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 everywhere else imports are read 2020-12-07T19:34:39Z Nadrieril 2020-12-07T14:15:43Z urn:sha1:8c5b3ff15f2125e9d731fc199e194e1993c36b37