dhall_rust/dhall/src/semantics/tck, branch substitutions 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 






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







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 through normalization
2020-12-07T19:34:38+00:00

Nadrieril

2020-12-06T23:55:21+00:00

c785b7c0c6cd8b3b1cc15eb79caf982a757020ba












Thread cx through typecheck
2020-12-07T19:34:38+00:00

Nadrieril

2020-12-06T21:41:03+00:00

6287b7a7f9e421877ee13fefa586395fec844c99












Typecheck `with` using mutation
2020-11-03T23:18:58+00:00

Nadrieril

2020-11-02T04:06:05+00:00

85d946016d67515aa70fa01338512e3fd7df408e












spec: allow unions with mixed kinds
2020-06-25T14:12:09+00:00

Nadrieril

2020-04-11T21:05:00+00:00

9da112a1985124f549254943c81495e637fb43cc












Clippy
2020-04-07T11:07:59+00:00

Nadrieril

2020-04-07T11:07:59+00:00

214a3c998a3358849495b54a60d46f626b131f0a