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

	Commit message (Collapse)	Author	Files	Lines
2021-01-22	chore: fix clippy warnings	Nadrieril	1	-4/+2

2020-12-07	Thread cx through normalization	Nadrieril	2	-35/+43

2020-12-07	Thread cx through typecheck	Nadrieril	1	-4/+4

2020-11-27	If can return a type	Basile Henry	1	-2/+2

2020-11-03	Typecheck `with` using mutation	Nadrieril	1	-43/+20

2020-11-03	Normalize `with` by mutation.	Nadrieril	1	-52/+24
	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.
2020-11-03	Try to keep ownership of `Nir`s when convenient	Nadrieril	1	-54/+51
	The goal is that we might avoid cloning internals in the common case where a value is not shared
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	1	-8/+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	1	-1/+50

2020-09-14	spec: Enable `with` optimizations	Nadrieril	3	-2/+5

2020-06-25	spec: fix precedence of `===` and `with`	Nadrieril	1	-2/+2

2020-04-10	Deserialize `Prelude.Map` and `toMap` to a map instead of a list	Nadrieril	2	-5/+5

2020-04-07	Split operations module into submodules	Nadrieril	4	-0/+919