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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/master' into fintan/typecheck-combine-types	FintanH	2019-08-03	1	-0/+2
\|\
\| *	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.
* \|	Add typechecking for RecursiveRecordTypeMerge.	FintanH	2019-08-01	1	-0/+3
\|/ \| \| \| \| \| \| \| \| \|	The implementation brings with it intersection_with_key over HashMaps to help with the type checking of records of records. The implementation first checks that the Const values line up with the LHS and RHS. Then checks that combining the records does not result in a FieldCollision. It will finally return the shared Const type of the arguments.
*	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	35	-0/+1934