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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Rename dhall_generator to dhall_proc_macros	Nadrieril	2019-05-04	1	-26/+0
\|
*	Remove obsolete dhall_expr!() macro	Nadrieril	2019-04-18	1	-6/+0
\|
*	Document roughly the dhall subcrates	Nadrieril	2019-04-14	1	-0/+5
\| \| \| \|	Closes #72
*	Add SimpleType and SimpeStaticType. Derive the latter	Nadrieril	2019-04-10	1	-3/+3
\|
*	Rename some modules	Nadrieril	2019-04-06	1	-5/+5
\|
*	s/Type/StaticType/	Nadrieril	2019-04-06	1	-1/+1
\|
*	Split dhall_expr!() into 2	Nadrieril	2019-04-06	1	-1/+12
\|
*	Remove some redundant namespacing	Nadrieril	2019-03-31	1	-3/+3
\|
*	Lay groundwork for DhallType deriving	Nadrieril	2019-03-24	1	-1/+8
\|
*	Prepare dhall_generator for a new module	Nadrieril	2019-03-24	1	-163/+3
\|
*	Refactor printer	Nadrieril	2019-03-24	1	-3/+3
\| \| \| \| \|	Avoids stupid stack overflows when adding variants, gets precedences right, and updates to latest grammar changes
*	Represent Optional literals more faithfully	Nadrieril	2019-03-21	1	-15/+7
\|
*	Rename Record/Union to RecordType/UnionType	Nadrieril	2019-03-21	1	-2/+2
\|
*	Reorganize dhall_core a bit	Nadrieril	2019-03-21	1	-12/+12
\|
*	CI tweaks	Nadrieril	2019-03-19	1	-1/+0
\|
*	Skip build-only subcrates in code coverage	Nadrieril	2019-03-19	1	-0/+1
\|
*	Implement a few more primitives	Nadrieril	2019-03-18	1	-0/+8
\|
*	Split List literal between empty and non-empty	Nadrieril	2019-03-18	1	-3/+6
\|
*	Use Rc consistently everywhere	Nadrieril	2019-03-17	1	-2/+2
\|
*	Use Rc instead of Box in AST to allow structural sharing	Nadrieril	2019-03-16	1	-7/+8
\| \| \| \|	Closes #29
*	Use Box more uniformly in AST	Nadrieril	2019-03-16	1	-4/+6
\| \| \| \|	Closes #28
*	Store an Option in OptionalLit instead of a vec	Nadrieril	2019-03-16	1	-3/+3
\| \| \| \|	Closes #21
*	Store a vec in App	Nadrieril	2019-03-15	1	-1/+1
\| \| \| \|	Closes #26
*	Considerably simplify typecheck using dhall_expr!()	Nadrieril	2019-03-09	1	-27/+57
\| \| \| \|	Closes #17
*	Obey clippy lints	Nadrieril	2019-03-09	1	-8/+7
\| \| \| \|	Closes #14
*	Remove the pervasive Label type parameter	Nadrieril	2019-03-09	1	-4/+4
\| \| \| \|	Closes #1
*	Use new Label type everywhere	Nadrieril	2019-03-09	1	-8/+8
\|
*	Use new Label type instead of &str in parser	Nadrieril	2019-03-09	1	-2/+2
\|
*	Rename dhall! to dhall_expr! for clarity	Nadrieril	2019-03-09	1	-1/+1
\|
*	Clean up some of the mess	Nadrieril	2019-03-08	1	-2/+2
\|
*	Rename Expr back to its true name	Nadrieril	2019-03-08	1	-6/+6
\|
*	Finally get rid of all the &'i str	Nadrieril	2019-03-08	1	-2/+2
\|
*	Slowly propagate the new type parameter throughout the codebase	Nadrieril	2019-03-08	1	-8/+6
\|
*	Generalise Context on its type of keys	Nadrieril	2019-03-08	1	-10/+14
\|
*	Make Expr generic in its type of labels	Nadrieril	2019-03-08	1	-2/+2
\|
*	rustfmt	Nadrieril	2019-03-06	1	-1/+2
\|
*	Finally get rid of old parser	Nadrieril	2019-03-06	1	-1/+1
\|
*	Start parsing imports	Nadrieril	2019-03-06	1	-1/+3
\|
*	Handle correctly captured variables in dhall!	Nadrieril	2019-03-06	1	-34/+56
\|
*	rustfmt	Nadrieril	2019-03-06	1	-20/+23
\|
*	Simplify normalization using dhall! macro	Nadrieril	2019-03-06	1	-7/+24
\|
*	Add proc_macro the generated dhall expressions	Nadrieril	2019-03-06	1	-0/+87