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

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove old-style optional literals	Nadrieril	2019-08-06	3	-37/+16
*	Inline headers	Nadrieril	2019-08-06	4	-15/+29
*	rustfmt	Nadrieril	2019-08-03	2	-26/+64
*	Merge pull request #93 from Nadrieril/catchup-spec	Nadrieril Feneanar	2019-08-03	3	-19/+24
\|\
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-5/+10
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-12/+12
\| *	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-2/+2
* \|	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types	FintanH	2019-08-03	3	-9/+129
\|\\|
\| *	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine	FintanH	2019-08-03	3	-15/+58
\| \|\
\| * \|	Mark RecursiveRecordMerge as unreachable	FintanH	2019-08-01	1	-0/+1
\| * \|	Add the typechecking of RecursiveRecordMerge.	FintanH	2019-08-01	3	-8/+129
* \| \|	Simplify Const checking logic	FintanH	2019-08-03	1	-11/+7
* \| \|	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types	FintanH	2019-08-03	3	-6/+50
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Add unreachable call for RightBasedRecordMerge case	FintanH	2019-07-31	1	-0/+1
\| * \|	Reuse the merge_maps function to implement the right-biased union	FintanH	2019-07-31	2	-7/+7
\| * \|	Add case for RightBasedRecordMerge in the typechecking phase.	Fintan Halpenny	2019-07-31	2	-5/+48
\| \|/
* /	Add typechecking for RecursiveRecordTypeMerge.	FintanH	2019-08-01	3	-7/+120
\|/
*	Finish implementing binary encoding	Nadrieril	2019-05-12	2	-8/+11
*	clippy	Nadrieril	2019-05-12	6	-126/+118
*	Split-off printer and binary encoding tests from parser tests	Nadrieril	2019-05-12	2	-37/+85
*	Include success or failure prefix in test filtering	Nadrieril	2019-05-12	4	-24/+18
*	Implement binary encoding	Nadrieril	2019-05-12	8	-32/+359
*	Write a custom map type that allows duplicates	Nadrieril	2019-05-10	1	-29/+38
*	Merge Type and Typed	Nadrieril	2019-05-09	3	-105/+55
*	Fix missing methods for tests	Nadrieril	2019-05-09	1	-0/+8
*	Make visibilities more consistent	Nadrieril	2019-05-09	10	-125/+106
*	Rewrite Deserialize trait around new Value and Type	Nadrieril	2019-05-09	7	-88/+73
*	Rewrite the StaticType trait and everything around it	Nadrieril	2019-05-09	9	-276/+223
*	Tweak Typed	Nadrieril	2019-05-09	1	-15/+16
*	Reduce the distance between Type and Typed	Nadrieril	2019-05-09	3	-157/+108
*	Remove TypeIntermediate in favor of special-purpose functions	Nadrieril	2019-05-09	1	-214/+183
*	Small utility SubExpr::from_builtin	Nadrieril	2019-05-09	1	-9/+3
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	4	-15/+9
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	8	-129/+169
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	5	-77/+79
*	Generate normalization tests automatically	Nadrieril	2019-05-09	4	-393/+84
*	Correctly shift free variables in normalization	Nadrieril	2019-05-09	2	-11/+11
*	Update dhall-lang submodule	Nadrieril	2019-05-09	2	-15/+37
*	Typecheck record projection	Nadrieril	2019-05-08	2	-7/+32
*	Typecheck merge	Nadrieril	2019-05-08	3	-12/+97
*	Move binop normalization into a separate function	Nadrieril	2019-05-08	1	-165/+153
*	Implement normalization for record merging operators	Nadrieril	2019-05-08	3	-21/+120
*	Rename the record combining operators internally	Nadrieril	2019-05-08	1	-3/+3
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	2	-23/+75
*	Fix Context shifting	Nadrieril	2019-05-08	1	-15/+24
*	shift on lookup instead of on insert	Nadrieril	2019-05-08	2	-27/+71
*	Replace hashmap-based context with a vec-based one	Nadrieril	2019-05-07	1	-14/+37
*	Don't discard normalization work done by typechecking	Nadrieril	2019-05-07	3	-83/+147
*	Slight improvement to typecheck ergonomics	Nadrieril	2019-05-07	1	-59/+28
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	5	-76/+115