dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

	Commit message (Collapse)	Author	Age	Files	Lines
*	Replace a bunch of Err(…)? and format!("constant") calls.	Ceri Storey	2021-03-27	2	-2/+2
\|
*	chore: fix clippy warnings	Nadrieril	2021-01-22	1	-4/+4
\|
*	tweak: factor a bit	Nadrieril	2020-12-08	1	-24/+25
\|
*	fix: fix import ordering issue	Nadrieril	2020-12-08	1	-7/+7
\|
*	Resolve imports and alternatives outside of the ast traversal	Nadrieril	2020-12-07	4	-65/+154
\|
*	Defer name errors to typechecking	Nadrieril	2020-12-07	4	-5/+13
\| \| \| \|	We aren't supposed to inspect anything before alternatives are chosen
*	Avoid storing an import before we checked its hash	Nadrieril	2020-12-07	2	-23/+28
\|
*	Unify `skip_resolve_expr` with normal resolution	Nadrieril	2020-12-07	4	-30/+49
\|
*	Pass import results via the global context	Nadrieril	2020-12-07	4	-13/+19
\|
*	Thread cx everywhere else imports are read	Nadrieril	2020-12-07	5	-36/+53
\|
*	Tag cx ids with the cx lifetime	Nadrieril	2020-12-07	2	-4/+4
\| \| \| \|	To make sure we don't let ids escape and we don't mix scopes.
*	Thread cx through normalization	Nadrieril	2020-12-07	10	-238/+287
\|
*	Thread cx through typecheck	Nadrieril	2020-12-07	4	-17/+33
\|
*	Improve ergonomics of `Ctxt`	Nadrieril	2020-12-07	1	-10/+9
\|
*	Make global store of imports and import results	Nadrieril	2020-12-07	2	-62/+88
\|
*	An import location is not independent from the import mode	Nadrieril	2020-12-06	2	-117/+107
\|
*	Prepare `ImportLocation` for more fields	Nadrieril	2020-12-06	2	-38/+82
\|
*	Remove NirInternal	Nadrieril	2020-11-03	2	-50/+23
\|
*	Typecheck `with` using mutation	Nadrieril	2020-11-03	2	-2/+5
\|
*	Normalize `with` by mutation.	Nadrieril	2020-11-03	3	-5/+42
\| \| \| \| \|	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	Nadrieril	2020-11-03	1	-1/+1
\| \| \| \| \|	The goal is that we might avoid cloning internals in the common case where a value is not shared
*	Implement type checking for With op	Basile Henry	2020-11-01	1	-30/+2
\|
*	fix: clippy	Nadrieril	2020-11-01	2	-21/+18
\|
*	feat: add location to import error messages	Nadrieril	2020-11-01	1	-2/+10
\| \| \| \|	This is crude but helpful. See #40
*	Ensure that the hash always gets checked	Nadrieril	2020-11-01	2	-19/+40
\|
*	Typed and TypedHir are the same	Nadrieril	2020-11-01	3	-33/+26
\|
*	Untangle caching code	Nadrieril	2020-11-01	4	-653/+130
\|
*	Store file cache in ImportEnv	Nadrieril	2020-11-01	3	-19/+20
\|
*	Untangle ImportEnv::handle_import	Nadrieril	2020-11-01	2	-29/+37
\|
*	Make reqwest an optional dependency	Basile Henry	2020-10-10	1	-1/+5
\| \| \| \| \| \| \| \| \|	This adds a feature to the Cargo.toml to be able to control if dhall depends on reqwest. This makes it possible to build dhall-rust for any arch (not just wasm32) without depending on reqwest. To disable reqwest as a dependency, we can now use `default-features = false` when adding the dhall dependency. Closes #169
*	spec: Enable `with` optimizations	Nadrieril	2020-09-14	1	-2/+30
\|
*	spec: allow unions with mixed kinds	Nadrieril	2020-06-25	1	-15/+5
\|
*	fix: panic on remote import on wasm	Nadrieril	2020-06-24	1	-4/+2
\| \| \| \|	Sadly we would need proper async support for that to work
*	Refactor cache path resolution	Nadrieril	2020-05-30	1	-62/+21
\|
*	Fix cache path resolution on wasm	Nadrieril	2020-05-30	1	-0/+7
\|
*	Make reqwest build on wasm	Nadrieril	2020-05-30	2	-5/+15
\|
*	test: Add remaining tests for cache	fteychene	2020-05-15	1	-0/+398
\|
*	fixup! test: Add some unit tests for cache	fteychene	2020-05-15	1	-30/+55
\|
*	fixup! test: Add some unit tests for cache	fteychene	2020-05-15	1	-56/+32
\|
*	fixup! fixup! Release serde_dhall version 0.5.2	fteychene	2020-05-15	1	-31/+55
\|
*	test: Add some unit tests for cache	fteychene	2020-05-15	1	-12/+121
\|
*	fixup! Release serde_dhall version 0.5.2	fteychene	2020-05-15	2	-54/+67
\|
*	feat: Add cache resolution on resolve	fteychene	2020-05-15	3	-28/+182
\|
*	Clippy	Nadrieril	2020-04-07	1	-3/+3
\|
*	Move duplicate field checking to parser	Nadrieril	2020-04-07	2	-41/+24
\|
*	Move BinOp and Builtin definitions in the relevant module	Nadrieril	2020-04-06	4	-12/+11
\|
*	Move builtins module up a level	Nadrieril	2020-04-06	4	-501/+5
\|
*	Extract operation-related code to a new module	Nadrieril	2020-04-06	5	-809/+18
\|
*	Only need to store OpKind in Nir	Nadrieril	2020-04-06	2	-82/+77
\|
*	Fix normalization bug	Nadrieril	2020-04-06	1	-49/+49
\|