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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #198 from Nadrieril/bless-tests	Nadrieril	2020-11-05	2	-20/+32
\|\
\| *	Overwrite test outputs with a `--bless` option	Nadrieril	2020-11-05	2	-20/+32
\|/
*	Merge pull request #197 from Nadrieril/cleanup-test-exclusion	Nadrieril	2020-11-05	1	-193/+182
\|\
\| *	Centralize test exclusion into a single function	Nadrieril	2020-11-05	1	-193/+182
\|/
*	tests: add some tests	Nadrieril	2020-11-05	18	-5/+25
*	test: commit a forgotten file	Nadrieril	2020-11-05	1	-0/+6
*	Merge pull request #196 from Nadrieril/allow-mutation-in-normalization	Nadrieril	2020-11-03	7	-193/+152
\|\
\| *	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 pull request #191 from basile-henry/text-replace	Basile Henry	2020-11-03	2	-22/+28
\|\
\| *	Merge remote-tracking branch 'upstream/master' into text-replace	Basile Henry	2020-11-03	37	-798/+489
\| \|\ \| \|/ \|/\|
* \|	fix: We now support dhall v19	Nadrieril	2020-11-02	1	-0/+2
* \|	tests: add regression tests for `with` kind inference	Nadrieril	2020-11-02	4	-0/+9
* \|	Merge pull request #193 from basile-henry/with-no-desugar	Nadrieril	2020-11-02	6	-47/+108
\|\ \
\| * \	Merge branch 'master' into with-no-desugar	Nadrieril	2020-11-02	1	-3/+6
\| \|\ \ \| \|/ / \|/\| \|
* \| \|	Merge pull request #195 from basile-henry/workaround-clippy-issue	Nadrieril	2020-11-02	1	-3/+6
\|\ \ \
\| * \| \|	CI: Use a work around to not hit the clippy issue	Basile Henry	2020-11-02	1	-3/+6
\|/ / /
\| * \|	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
* \|	Merge pull request #192 from Nadrieril/rework-caching	Nadrieril	2020-11-01	17	-740/+288
\|\ \
\| * \|	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	3	-36/+55
\| * \|	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
\|/ /
\| *	Update dhall-lang to latest master	Basile Henry	2020-11-03	1	-0/+0
\| *	Allow `Text/replace ` to support an abstract haystack	Basile Henry	2020-11-01	2	-22/+28
\|/
*	chore: update nix shell	Nadrieril	2020-11-01	1	-6/+6
*	Merge pull request #190 from Nadrieril/update-deps	Nadrieril	2020-10-30	8	-434/+600
\|\
\| *	Add deps.rs badge	Nadrieril	2020-10-30	1	-4/+7
\| *	Update other dependencies	Nadrieril	2020-10-30	1	-312/+314
\| *	Update abnf dependency	Nadrieril	2020-10-30	3	-14/+24
\| *	Update pretty dependency	Nadrieril	2020-10-30	3	-36/+34
\| *	Update annotate-snippets dependency	Nadrieril	2020-10-30	3	-15/+19
\| *	Update serde_cbor dependency	Nadrieril	2020-10-30	2	-4/+3
\| *	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: serde_dhall version 0.8.0	Nadrieril	2020-10-28	5	-5/+8
*	release: dhall version 0.8.0	Nadrieril	2020-10-28	4	-4/+4
*	Merge pull request #189 from Nadrieril/serialize	Nadrieril	2020-10-28	18	-224/+1278
\|\
\| *	Fix clippy and formatting	Nadrieril	2020-10-28	2	-2/+4