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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update test buffer	Nadrieril	2019-05-12	1	-97/+113
\|
*	Commit test buffer	Nadrieril	2019-05-12	1	-0/+113
\|
*	Tweak	Nadrieril	2019-05-12	1	-12/+12
\|
*	Finish implementing binary encoding	Nadrieril	2019-05-12	2	-8/+11
\|
*	clippy	Nadrieril	2019-05-12	9	-131/+122
\|
*	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	13	-82/+465
\| \| \| \|	Closes #39
*	oops	Nadrieril	2019-05-10	1	-0/+1
\|
*	Write a custom map type that allows duplicates	Nadrieril	2019-05-10	9	-75/+269
\|
*	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	11	-314/+257
\|
*	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	2	-9/+7
\|
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	8	-213/+105
\|
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	9	-138/+182
\|
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	9	-115/+124
\|
*	Generate normalization tests automatically	Nadrieril	2019-05-09	5	-394/+85
\|
*	Correctly shift free variables in normalization	Nadrieril	2019-05-09	2	-11/+11
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-09	6	-43/+106
\|
*	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	4	-14/+14
\|
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	3	-24/+87
\|
*	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	4	-84/+148
\|
*	Slight improvement to typecheck ergonomics	Nadrieril	2019-05-07	1	-59/+28
\|
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	5	-76/+115
\|
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	7	-115/+161
\|
*	Move AlphaVar and AlphaLabel into a new module	Nadrieril	2019-05-07	6	-106/+112
\|
*	Merge branch 'reorganize'	Nadrieril	2019-05-07	68	-2109/+1881
\|\
\| *	Reorganize dhall_syntax	Nadrieril	2019-05-07	8	-8/+12
\| \|
\| *	Small mistake	Nadrieril	2019-05-07	2	-2/+4
\| \|
\| *	Document Value and Thunk	Nadrieril	2019-05-07	2	-8/+21
\| \|
\| *	Clean up some of the SubExpr type-changing methods	Nadrieril	2019-05-07	6	-119/+27
\| \|
\| *	Unify Type, TypeInternal and Typed	Nadrieril	2019-05-07	3	-117/+43
\| \|
\| *	Fix derive	Nadrieril	2019-05-07	3	-3/+5
\| \|
\| *	Move main datatypes into their own modules	Nadrieril	2019-05-06	10	-1199/+1217
\| \|
\| *	Move api-related modules into an api module	Nadrieril	2019-05-06	7	-38/+41
\| \|
\| *	Consolidate errors in the error module	Nadrieril	2019-05-06	42	-188/+196
\| \|
\| *	Reorganize dhall into a phase structure	Nadrieril	2019-05-06	15	-477/+499
\| \|