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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Merge pull request #203 from Nadrieril/fix-import-bug	Nadrieril	2020-12-06	6	-108/+145
\|\
\| *	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
\|/
*	chore: remove leftover file	Nadrieril	2020-12-06	1	-1/+0
*	Merge pull request #202 from basile-henry/if-type	Nadrieril	2020-11-28	5	-10/+5
\|\
\| *	Add .direnv to .gitignore	Basile Henry	2020-11-27	1	-0/+1
\| *	Update dhall-lang	Basile Henry	2020-11-27	1	-0/+0
\| *	If can return a type	Basile Henry	2020-11-27	3	-10/+4
\|/
*	release: serde_dhall version 0.9.0	Nadrieril	2020-11-20	5	-5/+8
*	release: dhall version 0.9.0	Nadrieril	2020-11-20	4	-4/+4
*	Merge pull request #201 from Nadrieril/parse-binary	Nadrieril	2020-11-20	4	-1/+64
\|\
\| *	Expose binary parsing in the API	Nadrieril	2020-11-20	4	-1/+64
\|/
*	tests: commit a forgotten output	Nadrieril	2020-11-05	1	-0/+6
*	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