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

	Commit message (Expand)	Author	Files	Lines
2021-04-10	add type substitutions to serde_dhall	stuebinm	2	-0/+18
2021-04-03	release: dhall version 0.10.1	Nadrieril	1	-1/+1
2021-04-03	clippy: ignore unknown lints	Nadrieril	1	-1/+2
2021-04-03	clippy: ignore upper_case_acronyms	Nadrieril	1	-2/+3
2021-04-03	fix: fix formatting	Nadrieril	1	-1/+1
2021-04-03	Ignore clippy's needless question mark lint for the ast visitor macros.	Ceri Storey	1	-1/+2
2021-04-03	Avoid ambiguity from use of Itertools::intersperse.	Ceri Storey	2	-6/+5
2021-03-27	Replace a bunch of Err(…)? and format!("constant") calls.	Ceri Storey	2	-2/+2
2021-03-09	chore: fix clippy warnings	Nadrieril	1	-0/+1
2021-02-04	release: dhall version 0.10.0	Nadrieril	1	-1/+1
2021-01-22	chore: fix clippy warnings	Nadrieril	2	-8/+6
2020-12-08	tweak: factor a bit	Nadrieril	1	-24/+25
2020-12-08	fix: fix import ordering issue	Nadrieril	1	-7/+7
2020-12-07	Soothe clippy	Nadrieril	1	-0/+1
2020-12-07	Resolve imports and alternatives outside of the ast traversal	Nadrieril	6	-130/+294
2020-12-07	Defer name errors to typechecking	Nadrieril	4	-5/+13
2020-12-07	Avoid storing an import before we checked its hash	Nadrieril	2	-23/+28
2020-12-07	Unify `skip_resolve_expr` with normal resolution	Nadrieril	6	-39/+74
2020-12-07	Pass import results via the global context	Nadrieril	4	-13/+19
2020-12-07	Thread cx everywhere else imports are read	Nadrieril	7	-69/+68
2020-12-07	Tag cx ids with the cx lifetime	Nadrieril	3	-19/+31
2020-12-07	Thread cx through normalization	Nadrieril	15	-347/+395
2020-12-07	Thread cx through typecheck	Nadrieril	8	-28/+65
2020-12-07	Improve ergonomics of `Ctxt`	Nadrieril	2	-55/+55
2020-12-07	Make global store of imports and import results	Nadrieril	4	-62/+200
2020-12-06	An import location is not independent from the import mode	Nadrieril	2	-117/+107
2020-12-06	Prepare `ImportLocation` for more fields	Nadrieril	2	-38/+82
2020-11-27	If can return a type	Basile Henry	1	-2/+2
2020-11-20	release: dhall version 0.9.0	Nadrieril	1	-1/+1
2020-11-03	Remove NirInternal	Nadrieril	2	-50/+23
2020-11-03	Typecheck `with` using mutation	Nadrieril	3	-45/+25
2020-11-03	Normalize `with` by mutation.	Nadrieril	4	-57/+66
2020-11-03	Try to keep ownership of `Nir`s when convenient	Nadrieril	2	-55/+52
2020-11-02	Handle record type properly	Basile Henry	1	-1/+1
2020-11-02	Inline helper function	Basile Henry	1	-8/+4
2020-11-02	Refactor following PR review	Basile Henry	2	-29/+20
2020-11-01	Handle partially abstract with	Basile Henry	1	-8/+29
2020-11-01	Implement normalization for With op	Basile Henry	1	-2/+43
2020-11-01	Implement type checking for With op	Basile Henry	2	-31/+52
2020-11-01	fix: clippy	Nadrieril	2	-21/+18
2020-11-01	feat: add location to import error messages	Nadrieril	1	-2/+10
2020-11-01	Ensure that the hash always gets checked	Nadrieril	2	-19/+40
2020-11-01	Typed and TypedHir are the same	Nadrieril	3	-33/+26
2020-11-01	Untangle caching code	Nadrieril	10	-661/+155
2020-11-01	Store file cache in ImportEnv	Nadrieril	4	-21/+22
2020-11-01	Untangle ImportEnv::handle_import	Nadrieril	2	-29/+37
2020-11-01	Allow `Text/replace ` to support an abstract haystack	Basile Henry	1	-22/+28
2020-10-30	Update annotate-snippets dependency	Nadrieril	1	-12/+13
2020-10-30	Roll our own Value for binary decoding	Nadrieril	1	-12/+162
2020-10-30	Don't use serde_cbor::Value in binary encoding	Nadrieril	1	-40/+40