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

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove the Embed variant from ExprKind	Nadrieril	2020-02-11	15	-137/+80
*	Remove need for Embed	Nadrieril	2020-02-10	4	-20/+22
*	Remove types from NzEnv	Nadrieril	2020-02-09	7	-42/+47
*	Automate conversion between envs	Nadrieril	2020-02-09	3	-22/+26
*	Remove all types from Value	Nadrieril	2020-02-09	5	-89/+16
*	Take Hir for typecheck	Nadrieril	2020-02-09	7	-57/+58
*	Resolve variables alongside import resolution	Nadrieril	2020-02-09	8	-83/+161
*	Resolve by ref instead of by mut	Nadrieril	2020-02-09	3	-274/+81
*	Introduce environment for import resolution	Nadrieril	2020-02-09	1	-31/+56
*	Remove extra types stored in Value	Nadrieril	2020-02-09	3	-47/+20
*	Remove most TyExpr from normalization	Nadrieril	2020-02-09	16	-126/+98
*	Add Hir as untyped alternative to TyExpr	Nadrieril	2020-02-09	5	-65/+133
*	Remove move type propagation through Value	Nadrieril	2020-02-09	5	-237/+86
*	Remove most reliance on types stored in Value	Nadrieril	2020-02-09	5	-67/+88
*	Upgrade Rust toolchain	Nadrieril	2020-02-09	3	-4/+1
*	Merge pull request #130 from Nadrieril/improve-tests	Nadrieril Feneanar	2020-02-09	173	-184/+633
\|\
\| *	Track error output of parsing and binary decoding tests	Nadrieril	2020-02-09	63	-7/+325
\| *	Remove distinction between failure and error tests	Nadrieril	2020-02-09	2	-40/+4
\| *	Add option to overwrite test files	Nadrieril	2020-02-09	2	-48/+136
\| *	Move ui outputs to a sensible place	Nadrieril	2020-02-09	109	-16/+11
\| *	Massively deduplicate test harness	Nadrieril	2020-02-09	4	-159/+199
\| *	Track output of import errors	Nadrieril	2020-02-09	4	-0/+44
\|/
*	Add forgotten test outputs	Nadrieril	2020-02-06	6	-0/+40
*	Merge pull request #129 from Nadrieril/missing-features	Nadrieril Feneanar	2020-02-06	14	-106/+361
\|\
\| *	Implement some record simplifications	Nadrieril	2020-02-06	2	-13/+98
\| *	Normalize toMap	Nadrieril	2020-02-05	4	-19/+55
\| *	Typecheck record completion	Nadrieril	2020-02-05	2	-38/+51
\| *	Typecheck projection by type	Nadrieril	2020-02-05	2	-12/+25
\| *	Implement typechecking of toMap	Nadrieril	2020-02-04	11	-26/+134
\|/
*	Merge pull request #128 from Nadrieril/nice-errors-everywhere	Nadrieril Feneanar	2020-02-04	85	-183/+484
\|\
\| *	Workaround panic in a serde_dhall example	Nadrieril	2020-02-04	1	-2/+4
\| *	Add basic pretty type errors to all errors	Nadrieril	2020-02-04	84	-181/+480
\|/
*	Add local test files on top of dhall-lang tests	Nadrieril	2020-02-02	6	-54/+68
*	Merge pull request #127 from Nadrieril/nicer-type-errors	Nadrieril Feneanar	2020-02-02	27	-144/+539
\|\
\| *	Tweak errors	Nadrieril	2020-02-02	9	-65/+63
\| *	Use Spans consistently by value	Nadrieril	2020-02-02	5	-23/+19
\| *	Fix spans for unions and records	Nadrieril	2020-02-02	4	-21/+28
\| *	Let rustfmt format string literals	Nadrieril	2020-02-02	2	-43/+45
\| *	More errors	Nadrieril	2020-02-02	12	-35/+140
\| *	More nice errors plus some refactor	Nadrieril	2020-02-02	15	-174/+272
\| *	Implement once nice error using annotate_snippets	Nadrieril	2020-02-01	11	-27/+216
\|/
*	Rewrite normalization and typechecking with environments (#126)	Nadrieril Feneanar	2020-01-31	109	-3371/+3154
\|\
\| *	Fix module paths in serde_dhall	Nadrieril	2020-01-31	2	-2/+2
\| *	Factor out custom Lazy struct	Nadrieril	2020-01-31	3	-35/+83
\| *	Use Rc equality to shortcut Value equality	Nadrieril	2020-01-30	1	-2/+1
\| *	Tweak ConstantClosure	Nadrieril	2020-01-30	2	-25/+21
\| *	Eval Thunk by move	Nadrieril	2020-01-30	1	-4/+3
\| *	Get rid of all the manual Ref borrows	Nadrieril	2020-01-30	2	-149/+75
\| *	Use OnceCell to enable returning &ValKind	Nadrieril	2020-01-30	4	-71/+64
\| *	Replace Form with a pair of RefCells, in preparation for OnceCell	Nadrieril	2020-01-30	1	-88/+71