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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Test type error messages	Nadrieril	2019-11-11	1	-0/+29
\|
*	Generate import tests automatically	Nadrieril	2019-11-11	1	-0/+42
\|
*	Update dhall-lang submodule	Nadrieril	2019-09-20	1	-1/+7
\|
*	Update dhall-lang submodule	Nadrieril	2019-09-20	1	-39/+13
\|
*	Don't URL-decode path segments	Nadrieril	2019-08-31	1	-0/+4
\|
*	Implement parsing of `toMap` keyword	Nadrieril	2019-08-31	1	-9/+0
\|
*	Rework test harness to prepare for new types of tests	Nadrieril	2019-08-30	1	-184/+299
\|
*	Typecheck before normalizing in tests	Nadrieril	2019-08-16	1	-1/+4
\|
*	Use precedence climbing to parse expressions with operators	Nadrieril	2019-08-15	1	-2/+3
\| \| \| \|	This speeds up parsing around 30%
*	Implement inline headers parsing	Nadrieril	2019-08-13	1	-15/+1
\|
*	Fix a test	Nadrieril	2019-08-12	1	-2/+0
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-10	1	-4/+9
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-08	1	-0/+3
\|
*	Add support for dependent types	Nadrieril	2019-08-08	1	-1/+4
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-07	1	-0/+1
\|
*	Flatten nested let bindings	Nadrieril	2019-08-07	1	-0/+3
\|
*	Normalize field selection further by inspecting the argument	Nadrieril	2019-08-07	1	-0/+12
\|
*	Remove an annoying redundancy in the test harness	Nadrieril	2019-08-07	1	-35/+30
\|
*	Add binary-decode tests	Nadrieril	2019-08-07	1	-2/+21
\|
*	Various parsing tweaks	Nadrieril	2019-08-07	1	-4/+0
\|
*	Generalize empty list annotations	Nadrieril	2019-08-06	1	-0/+2
\|
*	Add toMap keyword	Nadrieril	2019-08-06	1	-0/+21
\|
*	Auto-generate typechecking tests list	Nadrieril	2019-08-06	1	-3/+33
\|
*	Change URL parsing	Nadrieril	2019-08-06	1	-0/+1
\|
*	Change some tests	Nadrieril	2019-08-06	1	-15/+13
\|
*	RFC3986 URLs	Nadrieril	2019-08-06	1	-2/+18
\|
*	Add some tests	Nadrieril	2019-08-06	1	-2/+18
\|
*	Inline headers	Nadrieril	2019-08-06	1	-0/+8
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-5/+10
\|
*	Finish implementing binary encoding	Nadrieril	2019-05-12	1	-2/+3
\|
*	Split-off printer and binary encoding tests from parser tests	Nadrieril	2019-05-12	1	-0/+26
\|
*	Include success or failure prefix in test filtering	Nadrieril	2019-05-12	1	-10/+10
\|
*	Implement binary encoding	Nadrieril	2019-05-12	1	-0/+4
\| \| \| \|	Closes #39
*	Generate normalization tests automatically	Nadrieril	2019-05-09	1	-25/+79
\|
*	Simplify test harness	Nadrieril	2019-04-10	1	-2/+2
\|
*	Rename spec tests	Nadrieril	2019-04-08	1	-2/+2
\|
*	Move spec tests into the relevant files	Nadrieril	2019-04-08	1	-2/+2
\|
*	rustfmt	Nadrieril	2019-04-06	1	-1/+3
\|
*	Update dhall-lang submodule	Nadrieril	2019-04-05	1	-0/+1
\|
*	Manually rustfmt like a nazi	Nadrieril	2019-03-27	1	-2/+10
\|
*	Parse multiline strings correctly	Nadrieril	2019-03-24	1	-15/+21
\| \| \| \|	Closes #24
*	Generate parser tests list automatically	Nadrieril	2019-03-24	1	-0/+42
\|
*	Split-off core into its own crate	Nadrieril	2019-03-06	1	-6/+0
\|
*	Move part of parser into its own crate to limit recompilation times	Nadrieril	2019-03-02	1	-34/+1
\|
*	Split abnf_to_pest and dhall into their own crates	Nadrieril	2019-03-01	1	-0/+39