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

	Commit message (Expand)	Author	Age	Files	Lines
*	test: try using the `dhall` crate as a user	Nadrieril	2021-01-22	1	-0/+38
*	chore: update reqwest dependency	Nadrieril	2021-01-08	1	-1/+1
*	tweak: factor a bit	Nadrieril	2020-12-08	1	-24/+25
*	fix: fix import ordering issue	Nadrieril	2020-12-08	3	-7/+10
*	Soothe clippy	Nadrieril	2020-12-07	1	-0/+1
*	Resolve imports and alternatives outside of the ast traversal	Nadrieril	2020-12-07	6	-130/+294
*	Defer name errors to typechecking	Nadrieril	2020-12-07	4	-5/+13
*	Avoid storing an import before we checked its hash	Nadrieril	2020-12-07	2	-23/+28
*	Add tests	Nadrieril	2020-12-07	4	-0/+4
*	Unify `skip_resolve_expr` with normal resolution	Nadrieril	2020-12-07	6	-39/+74
*	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	8	-84/+80
*	Tag cx ids with the cx lifetime	Nadrieril	2020-12-07	3	-19/+31
*	Thread cx through normalization	Nadrieril	2020-12-07	16	-425/+475
*	Thread cx through typecheck	Nadrieril	2020-12-07	8	-28/+65
*	Improve ergonomics of `Ctxt`	Nadrieril	2020-12-07	2	-55/+55
*	Make global store of imports and import results	Nadrieril	2020-12-07	5	-62/+201
*	Exclude the new test on Windows	Nadrieril	2020-12-06	1	-0/+1
*	An import location is not independent from the import mode	Nadrieril	2020-12-06	5	-121/+109
*	Prepare `ImportLocation` for more fields	Nadrieril	2020-12-06	3	-39/+83
*	Add test	Nadrieril	2020-12-06	3	-0/+4
*	If can return a type	Basile Henry	2020-11-27	3	-10/+4
*	release: dhall version 0.9.0	Nadrieril	2020-11-20	2	-2/+2
*	tests: commit a forgotten output	Nadrieril	2020-11-05	1	-0/+6
*	Overwrite test outputs with a `--bless` option	Nadrieril	2020-11-05	1	-15/+25
*	Centralize test exclusion into a single function	Nadrieril	2020-11-05	1	-193/+182
*	tests: add some tests	Nadrieril	2020-11-05	17	-0/+25
*	test: commit a forgotten file	Nadrieril	2020-11-05	1	-0/+6
*	Remove NirInternal	Nadrieril	2020-11-03	2	-50/+23
*	Typecheck `with` using mutation	Nadrieril	2020-11-03	3	-45/+25
*	Normalize `with` by mutation.	Nadrieril	2020-11-03	4	-57/+66
*	Try to keep ownership of `Nir`s when convenient	Nadrieril	2020-11-03	2	-55/+52
*	Merge remote-tracking branch 'upstream/master' into text-replace	Basile Henry	2020-11-03	34	-795/+474
\|\
\| *	tests: add regression tests for `with` kind inference	Nadrieril	2020-11-02	4	-0/+9
\| *	Handle record type properly	Basile Henry	2020-11-02	1	-1/+1
\| *	Inline helper function	Basile Henry	2020-11-02	1	-8/+4
\| *	Refactor following PR review	Basile Henry	2020-11-02	2	-29/+20
\| *	Handle partially abstract with	Basile Henry	2020-11-01	2	-12/+29
\| *	Implement normalization for With op	Basile Henry	2020-11-01	1	-2/+43
\| *	Implement type checking for With op	Basile Henry	2020-11-01	5	-41/+57
\| *	fix: clippy	Nadrieril	2020-11-01	2	-21/+18
\| *	feat: add location to import error messages	Nadrieril	2020-11-01	11	-10/+81
\| *	Ensure that the hash always gets checked	Nadrieril	2020-11-01	5	-19/+52
\| *	Don't pollute the dhall cache directory	Nadrieril	2020-11-01	2	-36/+48
\| *	Typed and TypedHir are the same	Nadrieril	2020-11-01	3	-33/+26
\| *	Untangle caching code	Nadrieril	2020-11-01	11	-662/+156
\| *	Store file cache in ImportEnv	Nadrieril	2020-11-01	4	-21/+22
\| *	Untangle ImportEnv::handle_import	Nadrieril	2020-11-01	2	-29/+37
* \|	Allow `Text/replace ` to support an abstract haystack	Basile Henry	2020-11-01	1	-22/+28
\|/
*	Update annotate-snippets dependency	Nadrieril	2020-10-30	2	-13/+14