dhall_rust/dhall/src/semantics/resolve, branch derive-macro working copy forked from https://github.com/Nadrieril/dhall-rust Replace a bunch of Err(…)? and format!("constant") calls. 2021-03-27T10:51:05+00:00 Ceri Storey 2021-03-27T10:10:54+00:00 6053e48575cf3b421f3eb8a6af33c853a518d9c9 






tweak: factor a bit
2020-12-08T20:25:20+00:00

Nadrieril

2020-12-07T20:03:37+00:00

d79f700ace3bf016bc578272fd800732dbaa1922












fix: fix import ordering issue
2020-12-08T20:25:20+00:00

Nadrieril

2020-12-07T19:58:05+00:00

70508b6a6cff9cd1bb6383be939914edf1fc653a












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







Avoid storing an import before we checked its hash
2020-12-07T19:35:13+00:00

Nadrieril

2020-12-07T17:16:06+00:00

f478bc16a3b8414770d84dd87f3e46b869d31750












Unify `skip_resolve_expr` with normal resolution
2020-12-07T19:34:39+00:00

Nadrieril

2020-12-07T15:24:36+00:00

922199ab322efa7b62bf4698cf5ed9e2d7a378c0












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












Tag cx ids with the cx lifetime
2020-12-07T19:34:39+00:00

Nadrieril

2020-12-07T13:47:21+00:00

3c522217b7445c6df9e170d830f485086ad7e062

To make sure we don't let ids escape and we don't mix scopes.





To make sure we don't let ids escape and we don't mix scopes.