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

	Commit message (Expand)	Author	Files	Lines
2019-05-09	ExprF need not be generic in Label	Nadrieril	4	-15/+9
2019-05-09	Make shift fallible and improve shift ergonomics	Nadrieril	8	-129/+169
2019-05-09	Detect duplicate record fields in typecheck	Nadrieril	5	-77/+79
2019-05-09	Generate normalization tests automatically	Nadrieril	3	-368/+5
2019-05-09	Correctly shift free variables in normalization	Nadrieril	2	-11/+11
2019-05-09	Update dhall-lang submodule	Nadrieril	2	-15/+37
2019-05-08	Typecheck record projection	Nadrieril	2	-7/+32
2019-05-08	Typecheck merge	Nadrieril	3	-12/+97
2019-05-08	Move binop normalization into a separate function	Nadrieril	1	-165/+153
2019-05-08	Implement normalization for record merging operators	Nadrieril	3	-21/+120
2019-05-08	Rename the record combining operators internally	Nadrieril	1	-3/+3
2019-05-08	Implement normalization of missing builtins	Nadrieril	2	-23/+75
2019-05-08	Fix Context shifting	Nadrieril	1	-15/+24
2019-05-08	shift on lookup instead of on insert	Nadrieril	2	-27/+71
2019-05-07	Replace hashmap-based context with a vec-based one	Nadrieril	1	-14/+37
2019-05-07	Don't discard normalization work done by typechecking	Nadrieril	3	-83/+147
2019-05-07	Slight improvement to typecheck ergonomics	Nadrieril	1	-59/+28
2019-05-07	Unify typecheck and normalization contexts	Nadrieril	5	-76/+115
2019-05-07	Promote shift and subst_shift to traits	Nadrieril	7	-115/+161
2019-05-07	Move AlphaVar and AlphaLabel into a new module	Nadrieril	6	-106/+112
2019-05-07	Small mistake	Nadrieril	2	-2/+4
2019-05-07	Document Value and Thunk	Nadrieril	2	-8/+21
2019-05-07	Clean up some of the SubExpr type-changing methods	Nadrieril	3	-6/+6
2019-05-07	Unify Type, TypeInternal and Typed	Nadrieril	3	-117/+43
2019-05-07	Fix derive	Nadrieril	1	-0/+2
2019-05-06	Move main datatypes into their own modules	Nadrieril	10	-1199/+1217
2019-05-06	Move api-related modules into an api module	Nadrieril	7	-38/+41
2019-05-06	Consolidate errors in the error module	Nadrieril	42	-188/+196
2019-05-06	Reorganize dhall into a phase structure	Nadrieril	15	-477/+499
2019-05-06	Merge TypedInternal and Typed	Nadrieril	4	-75/+34
2019-05-05	Remove main	Nadrieril	1	-93/+0
2019-05-05	s/DoubleVar/AlphaVar/	Nadrieril	3	-44/+44
2019-05-05	Implement normalization simplifications	Nadrieril	1	-10/+15
2019-05-05	Preserve text WHNF on concatenation	Nadrieril	1	-9/+9
2019-05-05	WHNF for TextLit means no interpolations of text and strict alternation	Nadrieril	1	-41/+63
2019-05-05	Fix Integer equality	Nadrieril	1	-4/+5
2019-05-05	Make Value equality be alpha-equivalence	Nadrieril	3	-21/+99
2019-05-05	Use alpha-normalization in equivalence checking	Nadrieril	1	-80/+2
2019-05-05	Implement alpha-normalization	Nadrieril	4	-69/+194
2019-05-04	Clarify match_vars implementation	Nadrieril	1	-12/+12
2019-05-04	subst_shift now correctly preserves WHNF	Nadrieril	1	-26/+24
2019-05-04	We actually don't need SubExpr::shift anymore	Nadrieril	1	-4/+5
2019-05-04	Revert "Make SubExpr generic in the variable labels type"	Nadrieril	6	-100/+83
2019-05-04	Make SubExpr generic in the variable labels type	Nadrieril	6	-83/+100
2019-05-04	Keep Spans through normalization and typechecking	Nadrieril	3	-36/+39
2019-05-04	Thread Spans through the AST	Nadrieril	1	-1/+1
2019-05-04	Move `Note`s into the spine of the AST	Nadrieril	2	-9/+5
2019-05-04	Remove dummy lifetimes	Nadrieril	7	-267/+202
2019-05-04	rustfmt	Nadrieril	3	-3/+3
2019-05-04	Rename dhall_generator to dhall_proc_macros	Nadrieril	4	-4/+4