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

	Commit message (Expand)	Author	Files	Lines
2019-08-13	Implement Hash for ParsedSubExpr	Nadrieril	2	-23/+34
2019-08-13	Store Imports in their own node instead of in Embed	Nadrieril	4	-13/+25
2019-08-13	Considerably simplify Embed handling	Nadrieril	4	-10/+4
2019-08-13	Stop tracking the absence of Embed values at the type level	Nadrieril	5	-30/+28
2019-08-13	No need to track the absence of `Span`s at the type level	Nadrieril	4	-39/+36
2019-08-13	Typos	Nadrieril	1	-2/+2
2019-08-13	s/TypeThunk/TypedThunk/g	Nadrieril	5	-86/+96
2019-08-13	Swap Typed and TypeThunk	Nadrieril	2	-91/+129
2019-08-13	Add new error type for serde_dhall	Nadrieril	1	-12/+0
2019-08-13	Move api into its own crate	Nadrieril	6	-436/+16
2019-08-12	Remove ensure_... macros in typecheck	Nadrieril	1	-115/+89
2019-08-10	Remove dhall::expr!() macro	Nadrieril	5	-42/+126
2019-08-10	Update dhall-lang submodule	Nadrieril	1	-0/+13
2019-08-08	Update dhall-lang submodule	Nadrieril	1	-0/+1
2019-08-08	Add support for dependent types	Nadrieril	7	-26/+83
2019-08-07	Update dhall-lang submodule	Nadrieril	1	-0/+3
2019-08-07	Flatten nested let bindings	Nadrieril	1	-6/+40
2019-08-07	Remove an annoying redundancy in the test harness	Nadrieril	2	-15/+3
2019-08-07	Add binary-decode tests	Nadrieril	2	-1/+53
2019-08-07	Add truncated Natural subtraction	Nadrieril	2	-0/+11
2019-08-07	Remove union literals from the language	Nadrieril	4	-37/+6
2019-08-07	Various parsing tweaks	Nadrieril	1	-3/+3
2019-08-07	Forbid surrogate pairs and non-characters	Nadrieril	1	-0/+2
2019-08-06	Generalize empty list annotations	Nadrieril	1	-2/+6
2019-08-06	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	4	-45/+71
2019-08-06	rustfmt	Nadrieril	1	-1/+2
2019-08-06	Auto-generate typechecking tests list	Nadrieril	1	-395/+0
2019-08-06	Change some tests	Nadrieril	1	-0/+5
2019-08-06	RFC3986 URLs	Nadrieril	1	-1/+7
2019-08-06	Add some tests	Nadrieril	1	-0/+10
2019-08-06	Add some new tests and implement import alternatives	Nadrieril	3	-4/+4
2019-08-06	rustfmt	Nadrieril	1	-7/+10
2019-08-06	Update dhall-lang submodule	Nadrieril	1	-0/+2
2019-08-06	Remove old-style optional literals	Nadrieril	3	-37/+16
2019-08-06	Inline headers	Nadrieril	3	-15/+21
2019-08-03	rustfmt	Nadrieril	2	-26/+64
2019-08-03	Update dhall-lang submodule	Nadrieril	1	-12/+12
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	3	-7/+120
2019-08-01	Mark RecursiveRecordMerge as unreachable	FintanH	1	-0/+1
2019-08-01	Add the typechecking of RecursiveRecordMerge.	FintanH	3	-8/+129
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	2	-7/+7
2019-07-31	Add case for RightBasedRecordMerge in the typechecking phase.	Fintan Halpenny	2	-5/+48
2019-05-12	Finish implementing binary encoding	Nadrieril	1	-6/+8
2019-05-12	clippy	Nadrieril	6	-126/+118
2019-05-12	Split-off printer and binary encoding tests from parser tests	Nadrieril	1	-37/+59
2019-05-12	Include success or failure prefix in test filtering	Nadrieril	3	-14/+8
2019-05-12	Implement binary encoding	Nadrieril	7	-32/+355