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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add case for RightBasedRecordMerge in the typechecking phase.	Fintan Halpenny	2019-07-31	1	-0/+2
\| \| \| \| \| \| \| \| \| \| \| \|	The implementation checks the types and kinds of the LHS and RHS. In the happy path it unions the HashMap prefering keys on the RHS over the LHS, and the result is the type of the resulting HashMap. The error cases are: - If the kinds of the records differ it results in a RecordMismatch error. - If either the LHS or RHS are not records it results in a MustCombineRecord error.
*	Implement binary encoding	Nadrieril	2019-05-12	1	-0/+12
\| \| \| \|	Closes #39
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-0/+1
\|
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	1	-0/+2
\|
*	Typecheck record projection	Nadrieril	2019-05-08	1	-0/+2
\|
*	Typecheck merge	Nadrieril	2019-05-08	1	-0/+7
\|
*	Unify typecheck and normalization contexts	Nadrieril	2019-05-07	1	-6/+0
\|
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	1	-1/+1
\|
*	Consolidate errors in the error module	Nadrieril	2019-05-06	1	-0/+169