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

	Commit message (Expand)	Author	Files	Lines
2019-08-01	Mark RecursiveRecordMerge as unreachable	FintanH	1	-0/+1
2019-08-01	Add the typechecking of RecursiveRecordMerge.	FintanH	2	-8/+126
2019-07-31	Add unreachable call for RightBasedRecordMerge case	FintanH	1	-0/+1
2019-07-31	Reuse the merge_maps function to implement the right-biased union	FintanH	2	-7/+7
2019-07-31	Add case for RightBasedRecordMerge in the typechecking phase.	Fintan Halpenny	1	-5/+46
2019-05-12	Finish implementing binary encoding	Nadrieril	1	-6/+8
2019-05-12	clippy	Nadrieril	2	-120/+112
2019-05-12	Include success or failure prefix in test filtering	Nadrieril	2	-6/+6
2019-05-12	Implement binary encoding	Nadrieril	5	-25/+310
2019-05-10	Write a custom map type that allows duplicates	Nadrieril	1	-29/+38
2019-05-09	Merge Type and Typed	Nadrieril	2	-104/+54
2019-05-09	Fix missing methods for tests	Nadrieril	1	-0/+8
2019-05-09	Make visibilities more consistent	Nadrieril	5	-57/+51
2019-05-09	Rewrite Deserialize trait around new Value and Type	Nadrieril	1	-7/+1
2019-05-09	Rewrite the StaticType trait and everything around it	Nadrieril	2	-47/+12
2019-05-09	Tweak Typed	Nadrieril	1	-15/+16
2019-05-09	Reduce the distance between Type and Typed	Nadrieril	2	-109/+97
2019-05-09	Remove TypeIntermediate in favor of special-purpose functions	Nadrieril	1	-214/+183
2019-05-09	Small utility SubExpr::from_builtin	Nadrieril	1	-9/+3
2019-05-09	ExprF need not be generic in Label	Nadrieril	2	-7/+5
2019-05-09	Make shift fallible and improve shift ergonomics	Nadrieril	2	-11/+20
2019-05-09	Detect duplicate record fields in typecheck	Nadrieril	3	-71/+71
2019-05-09	Generate normalization tests automatically	Nadrieril	2	-368/+0
2019-05-09	Correctly shift free variables in normalization	Nadrieril	1	-1/+1
2019-05-09	Update dhall-lang submodule	Nadrieril	2	-15/+37
2019-05-08	Typecheck record projection	Nadrieril	1	-7/+30
2019-05-08	Typecheck merge	Nadrieril	2	-12/+90
2019-05-08	Move binop normalization into a separate function	Nadrieril	1	-165/+153
2019-05-08	Implement normalization for record merging operators	Nadrieril	2	-21/+113
2019-05-08	Rename the record combining operators internally	Nadrieril	1	-3/+3
2019-05-08	Implement normalization of missing builtins	Nadrieril	1	-21/+68
2019-05-07	Don't discard normalization work done by typechecking	Nadrieril	1	-52/+93
2019-05-07	Slight improvement to typecheck ergonomics	Nadrieril	1	-59/+28
2019-05-07	Unify typecheck and normalization contexts	Nadrieril	2	-5/+2
2019-05-07	Promote shift and subst_shift to traits	Nadrieril	3	-29/+42
2019-05-07	Move AlphaVar and AlphaLabel into a new module	Nadrieril	1	-1/+2
2019-05-07	Small mistake	Nadrieril	1	-1/+3
2019-05-07	Clean up some of the SubExpr type-changing methods	Nadrieril	2	-4/+4
2019-05-07	Unify Type, TypeInternal and Typed	Nadrieril	2	-116/+43
2019-05-06	Move main datatypes into their own modules	Nadrieril	3	-1194/+160
2019-05-06	Consolidate errors in the error module	Nadrieril	4	-125/+25
2019-05-06	Reorganize dhall into a phase structure	Nadrieril	6	-0/+4093