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

	Commit message (Expand)	Author	Files	Lines
2020-11-05	test: commit a forgotten file	Nadrieril	1	-0/+6
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	tests: add regression tests for `with` kind inference	Nadrieril	4	-0/+9
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	2	-12/+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	5	-41/+57
2020-11-01	fix: clippy	Nadrieril	2	-21/+18
2020-11-01	feat: add location to import error messages	Nadrieril	11	-10/+81
2020-11-01	Ensure that the hash always gets checked	Nadrieril	5	-19/+52
2020-11-01	Don't pollute the dhall cache directory	Nadrieril	2	-36/+48
2020-11-01	Typed and TypedHir are the same	Nadrieril	3	-33/+26
2020-11-01	Untangle caching code	Nadrieril	11	-662/+156
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	2	-13/+14
2020-10-30	Update serde_cbor dependency	Nadrieril	1	-1/+1
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
2020-10-28	release: dhall version 0.8.0	Nadrieril	2	-2/+2
2020-10-28	No need to escape underscores in pretty-printing	Nadrieril	5	-5/+7
2020-10-28	Prefer u64/i64 to usize/isize	Nadrieril	3	-9/+8
2020-10-28	fix: add missing test	Nadrieril	1	-0/+6
2020-10-27	Make `SimpleValue` deserializable within other types	Nadrieril	1	-0/+1
2020-10-25	Release dhall version 0.7.4	Nadrieril	2	-2/+2
2020-10-25	Refactor Text/replace eval	Basile Henry	1	-42/+29
2020-10-25	Implement Text/replace	Basile Henry	3	-3/+65
2020-10-25	Disable With related tests	Basile Henry	1	-1/+10
2020-10-24	Release dhall version 0.7.2	Nadrieril	2	-2/+2
2020-10-16	chore: use latest libtest-mimic	Nadrieril	1	-2/+1
2020-10-10	Make reqwest an optional dependency	Basile Henry	2	-2/+9
2020-09-15	Release dhall version 0.7.0	Nadrieril	2	-2/+2
2020-09-14	spec: Enable `with` optimizations	Nadrieril	15	-31/+80
2020-08-05	fix: fix Cargo.toml for publication	Nadrieril	1	-0/+1
2020-08-05	Release dhall version 0.6.0	Nadrieril	2	-2/+2
2020-06-25	spec: allow trailing delimiters	Nadrieril	25	-6/+51
2020-06-25	test: mark excluded tests as ignored instead of deleting them	Nadrieril	1	-11/+6
2020-06-25	fix: always set XDG_CACHE_HOME in tests.	Nadrieril	1	-10/+11
2020-06-25	fix: exclude prelude test for now	Nadrieril	1	-1/+3
2020-06-25	fix: ignore a test on Windows	Nadrieril	1	-0/+1
2020-06-25	spec: support Dhall v17.0.0	Nadrieril	15	-0/+90
2020-06-25	spec!: remove Optional/build and Optional/fold	Nadrieril	6	-48/+28
2020-06-25	chore: garbage collect removed tests	Nadrieril	3	-12/+0
2020-06-25	spec: remove Unicode character from `dhall.abnf`	Nadrieril	2	-2/+1