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	-1/+1
\|\
\| *	Reuse the merge_maps function to implement the right-biased union	FintanH	2019-07-31	1	-1/+1
\| \|
* \|	Add typechecking for RecursiveRecordTypeMerge.	FintanH	2019-08-01	1	-0/+32
\|/ \| \| \| \| \| \| \| \| \|	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.
*	clippy	Nadrieril	2019-05-12	1	-97/+102
\|
*	Make visibilities more consistent	Nadrieril	2019-05-09	1	-10/+7
\|
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	1	-5/+4
\|
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	1	-9/+9
\|
*	Generate normalization tests automatically	Nadrieril	2019-05-09	1	-361/+0
\|
*	Correctly shift free variables in normalization	Nadrieril	2019-05-09	1	-1/+1
\|
*	Update dhall-lang submodule	Nadrieril	2019-05-09	1	-13/+23
\|
*	Move binop normalization into a separate function	Nadrieril	2019-05-08	1	-165/+153
\|
*	Implement normalization for record merging operators	Nadrieril	2019-05-08	1	-21/+110
\|
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	1	-21/+68
\|
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	1	-0/+1
\|
*	Small mistake	Nadrieril	2019-05-07	1	-1/+3
\|
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	1	-984/+15
\|
*	Reorganize dhall into a phase structure	Nadrieril	2019-05-06	1	-0/+1888