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

	Commit message (Expand)	Author	Files	Lines
2019-08-06	Add some new tests and implement import alternatives	Nadrieril	1	-1/+1
2019-08-06	Remove old-style optional literals	Nadrieril	1	-23/+4
2019-08-06	Inline headers	Nadrieril	1	-0/+1
2019-08-03	rustfmt	Nadrieril	1	-25/+61
2019-08-03	Update dhall-lang submodule	Nadrieril	1	-2/+2
2019-08-03	Simplify Const checking logic	FintanH	1	-11/+7
2019-08-01	Add typechecking for RecursiveRecordTypeMerge.	FintanH	1	-7/+85
2019-08-01	Mark RecursiveRecordMerge as unreachable	FintanH	1	-0/+1
2019-08-01	Add the typechecking of RecursiveRecordMerge.	FintanH	1	-8/+73
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	1	-6/+6
2019-07-31	Add case for RightBasedRecordMerge in the typechecking phase.	Fintan Halpenny	1	-5/+46
2019-05-12	clippy	Nadrieril	1	-23/+10
2019-05-12	Include success or failure prefix in test filtering	Nadrieril	1	-4/+4
2019-05-12	Implement binary encoding	Nadrieril	1	-1/+1
2019-05-09	Merge Type and Typed	Nadrieril	1	-49/+40
2019-05-09	Make visibilities more consistent	Nadrieril	1	-9/+6
2019-05-09	Rewrite the StaticType trait and everything around it	Nadrieril	1	-1/+1
2019-05-09	Reduce the distance between Type and Typed	Nadrieril	1	-87/+78
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	1	-2/+1
2019-05-09	Make shift fallible and improve shift ergonomics	Nadrieril	1	-2/+11
2019-05-09	Detect duplicate record fields in typecheck	Nadrieril	1	-30/+33
2019-05-09	Update dhall-lang submodule	Nadrieril	1	-2/+14
2019-05-08	Typecheck record projection	Nadrieril	1	-7/+30
2019-05-08	Typecheck merge	Nadrieril	1	-12/+87
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	1	-2/+2
2019-05-07	Promote shift and subst_shift to traits	Nadrieril	1	-0/+1
2019-05-07	Clean up some of the SubExpr type-changing methods	Nadrieril	1	-3/+3
2019-05-07	Unify Type, TypeInternal and Typed	Nadrieril	1	-21/+7
2019-05-06	Move main datatypes into their own modules	Nadrieril	1	-208/+137
2019-05-06	Consolidate errors in the error module	Nadrieril	1	-103/+11
2019-05-06	Reorganize dhall into a phase structure	Nadrieril	1	-137/+20
2019-05-06	Merge TypedInternal and Typed	Nadrieril	1	-9/+0
2019-05-05	s/DoubleVar/AlphaVar/	Nadrieril	1	-8/+8
2019-05-05	Make Value equality be alpha-equivalence	Nadrieril	1	-7/+4
2019-05-05	Use alpha-normalization in equivalence checking	Nadrieril	1	-80/+2
2019-05-05	Implement alpha-normalization	Nadrieril	1	-9/+11
2019-05-04	Clarify match_vars implementation	Nadrieril	1	-12/+12
2019-05-04	Revert "Make SubExpr generic in the variable labels type"	Nadrieril	1	-34/+31
2019-05-04	Make SubExpr generic in the variable labels type	Nadrieril	1	-31/+34
2019-05-04	Keep Spans through normalization and typechecking	Nadrieril	1	-25/+29
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	1	-1/+1
2019-05-04	Remove dummy lifetimes	Nadrieril	1	-93/+74
2019-05-04	rustfmt	Nadrieril	1	-1/+1
2019-05-04	Rename dhall_generator to dhall_proc_macros	Nadrieril	1	-1/+1