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

	Commit message (Expand)	Author	Age	Files	Lines
...
\| * \| \|	Separate both parser proc_macros into their own files	Nadrieril	2019-09-02	3	-90/+95
\| * \| \|	Use proper hygiene for `Parsers` and `Rule`	Nadrieril	2019-09-02	4	-19/+44
\| * \| \|	Properly parse the argument of make_parser as an impl	Nadrieril	2019-09-02	2	-100/+65
\| * \| \|	Get rid of EntryPoint magic	Nadrieril	2019-09-02	3	-168/+80
\| * \| \|	Avoid use of bind_by_move_pattern_guards feature	Nadrieril	2019-09-02	2	-3/+9
\| * \| \|	Make make_parser into a proc_macro_attribute	Nadrieril	2019-09-01	3	-7/+12
\| * \| \|	Change parser macros to use a function-like syntax	Nadrieril	2019-09-01	6	-998/+1188
\| * \| \|	Rewrite the make_parser macro as a proc_macro	Nadrieril	2019-09-01	6	-209/+456
\|/ / /
\| * \|	Move Canonicalize into resolve.	Fintan Halpenny	2019-09-03	4	-80/+81
\| * \|	No need for as_ref call	Fintan Halpenny	2019-09-03	1	-1/+1
\| * \|	swp file accidentally checked in	Fintan Halpenny	2019-09-03	1	-0/+0
\| \|/
\| *	Merge remote-tracking branch 'origin/master' into fintan/canonicalize	Fintan Halpenny	2019-09-02	41	-3905/+3474
\| \|\ \| \|/ \|/\|
* \|	Update dhall-lang submodule	Nadrieril	2019-08-31	1	-0/+0
* \|	Don't URL-decode path segments	Nadrieril	2019-08-31	7	-26/+36
* \|	Merge pull request #109 from Nadrieril/tomap-parsing	Nadrieril Feneanar	2019-08-31	9	-10/+38
\|\ \
\| * \|	Implement parsing of `toMap` keyword	Nadrieril	2019-08-31	9	-10/+38
\|/ /
* \|	Rework test harness to prepare for new types of tests	Nadrieril	2019-08-30	3	-362/+457
* \|	Cleanup conversion of `Value` to `Expr`	Nadrieril	2019-08-30	4	-103/+67
* \|	Merge pull request #108 from Nadrieril/rename-subexpr	Nadrieril Feneanar	2019-08-30	13	-135/+129
\|\ \
\| * \|	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	2019-08-28	13	-135/+129
\|/ /
* \|	clippy	Nadrieril	2019-08-27	7	-24/+28
* \|	Merge pull request #107 from Nadrieril/rework-parser	Nadrieril Feneanar	2019-08-27	6	-224/+288
\|\ \
\| * \|	s/token_rule/rule/	Nadrieril	2019-08-27	1	-20/+20
\| * \|	Rework parse macros to avoid the large ParsedValue enum	Nadrieril	2019-08-27	4	-149/+140
\| * \|	Remove rule aliasing	Nadrieril	2019-08-27	3	-108/+95
\| * \|	Wording	Nadrieril	2019-08-26	1	-13/+13
\| * \|	Remove rule_group macro	Nadrieril	2019-08-26	1	-22/+4
\| * \|	Match on rules in parser instead of on ParsedValues	Nadrieril	2019-08-26	3	-26/+130
\|/ /
* \|	Merge pull request #106 from Nadrieril/dont-compile-twice	Nadrieril Feneanar	2019-08-26	3	-3/+7
\|\ \
\| * \|	Tweak tests to avoid double compilation	Nadrieril	2019-08-26	3	-3/+7
\|/ /
* \|	Merge pull request #105 from Nadrieril/keep-type-info	Nadrieril Feneanar	2019-08-26	9	-481/+521
\|\ \
\| * \|	Check correctness of type info in a few more places	Nadrieril	2019-08-26	1	-17/+43
\| * \|	Remove now unnecessary VoVF enum	Nadrieril	2019-08-25	3	-98/+53
\| * \|	Rework apply_builtin to enforce preservation of type information	Nadrieril	2019-08-25	3	-200/+173
\| * \|	Enforce type information almost everywhere	Nadrieril	2019-08-25	5	-63/+53
\| * \|	Check consistency of type information	Nadrieril	2019-08-25	2	-27/+30
\| * \|	Keep type information through normalization	Nadrieril	2019-08-25	4	-90/+173
\| * \|	Clarify which syntax elements are completely handled in the tck phase	Nadrieril	2019-08-23	2	-25/+24
\| * \|	Keep type information after RecursiveRecordTypeMerge	Nadrieril	2019-08-23	3	-90/+26
\| * \|	Don't use take_mut::take lightly since normalize_whnf might panic	Nadrieril	2019-08-21	1	-9/+18
\| * \|	Reduce API surface of dhall crate	Nadrieril	2019-08-20	3	-24/+10
\| * \|	Move type construction fns from serde_dhall to dhall	Nadrieril	2019-08-20	2	-27/+40
\| * \|	Use Ret in apply_builtin	Nadrieril	2019-08-20	2	-96/+101
\| * \|	Propagate type information in Value::app()	Nadrieril	2019-08-20	4	-35/+34
\| * \|	Track evaluation status alongside ValueF in VoVF	Nadrieril	2019-08-20	3	-68/+80
\| * \|	No need for Cow in return type of get_type	Nadrieril	2019-08-20	4	-27/+24
\| * \|	Introduce a new enum to store either a Value or a ValueF	Nadrieril	2019-08-20	5	-76/+153
\| * \|	Naming tweaks	Nadrieril	2019-08-20	5	-45/+35
\| * \|	Add Value::from_builtin	Nadrieril	2019-08-20	3	-37/+24
\|/ /
* \|	Clarify conversion of Const/Builtin to Value	Nadrieril	2019-08-20	2	-21/+29