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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Split-off printer and binary encoding tests from parser tests	Nadrieril	2019-05-12	1	-37/+59
\|
*	Include success or failure prefix in test filtering	Nadrieril	2019-05-12	3	-14/+8
\|
*	Implement binary encoding	Nadrieril	2019-05-12	7	-32/+355
\| \| \| \|	Closes #39
*	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	8	-241/+191
\|
*	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	3	-368/+5
\|
*	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
\|
*	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
\|
*	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	3	-6/+6
\|
*	Unify Type, TypeInternal and Typed	Nadrieril	2019-05-07	3	-117/+43
\|
*	Fix derive	Nadrieril	2019-05-07	1	-0/+2
\|
*	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
\|
*	Merge TypedInternal and Typed	Nadrieril	2019-05-06	4	-75/+34
\|
*	Remove main	Nadrieril	2019-05-05	1	-93/+0
\|
*	s/DoubleVar/AlphaVar/	Nadrieril	2019-05-05	3	-44/+44
\|
*	Implement normalization simplifications	Nadrieril	2019-05-05	1	-10/+15
\|
*	Preserve text WHNF on concatenation	Nadrieril	2019-05-05	1	-9/+9
\|
*	WHNF for TextLit means no interpolations of text and strict alternation	Nadrieril	2019-05-05	1	-41/+63
\|
*	Fix Integer equality	Nadrieril	2019-05-05	1	-4/+5
\|
*	Make Value equality be alpha-equivalence	Nadrieril	2019-05-05	3	-21/+99
\| \| \| \|	Closes #66, #65