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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\| \| \| \| \|	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	2	-55/+52
\| \| \| \| \|	The goal is that we might avoid cloning internals in the common case where a value is not shared
*	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
\| \| \| \| \| \| \| \|	This is crude but helpful. See #40
\| *	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
\|
*	Update serde_cbor dependency	Nadrieril	2020-10-30	1	-1/+1
\|
*	Roll our own Value for binary decoding	Nadrieril	2020-10-30	1	-12/+162
\|
*	Don't use serde_cbor::Value in binary encoding	Nadrieril	2020-10-30	1	-40/+40
\|
*	release: dhall version 0.8.0	Nadrieril	2020-10-28	2	-2/+2
\|
*	No need to escape underscores in pretty-printing	Nadrieril	2020-10-28	5	-5/+7
\|
*	Prefer u64/i64 to usize/isize	Nadrieril	2020-10-28	3	-9/+8
\|
*	fix: add missing test	Nadrieril	2020-10-28	1	-0/+6
\|
*	Make `SimpleValue` deserializable within other types	Nadrieril	2020-10-27	1	-0/+1
\| \| \| \|	Fixes https://github.com/Nadrieril/dhall-rust/issues/184
*	Release dhall version 0.7.4	Nadrieril	2020-10-25	2	-2/+2
\|
*	Refactor Text/replace eval	Basile Henry	2020-10-25	1	-42/+29
\|
*	Implement Text/replace	Basile Henry	2020-10-25	3	-3/+65
\|
*	Disable With related tests	Basile Henry	2020-10-25	1	-1/+10
\|
*	Release dhall version 0.7.2	Nadrieril	2020-10-24	2	-2/+2
\|
*	chore: use latest libtest-mimic	Nadrieril	2020-10-16	1	-2/+1
\|
*	Make reqwest an optional dependency	Basile Henry	2020-10-10	2	-2/+9
\| \| \| \| \| \| \| \| \|	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
*	Release dhall version 0.7.0	Nadrieril	2020-09-15	2	-2/+2
\|
*	spec: Enable `with` optimizations	Nadrieril	2020-09-14	15	-31/+80
\|
*	fix: fix Cargo.toml for publication	Nadrieril	2020-08-05	1	-0/+1
\|
*	Release dhall version 0.6.0	Nadrieril	2020-08-05	2	-2/+2
\|
*	spec: allow trailing delimiters	Nadrieril	2020-06-25	25	-6/+51
\|
*	test: mark excluded tests as ignored instead of deleting them	Nadrieril	2020-06-25	1	-11/+6
\|
*	fix: always set XDG_CACHE_HOME in tests.	Nadrieril	2020-06-25	1	-10/+11
\| \| \| \| \| \|	We do NOT want to write in real directories during tests, but it's even worse if it's the user's directory. We really need a non-stupid cache abstraction.