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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Resolve imports and alternatives outside of the ast traversal	Nadrieril	2020-12-07	1	-2/+12
\|
*	Defer name errors to typechecking	Nadrieril	2020-12-07	1	-0/+3
\| \| \| \|	We aren't supposed to inspect anything before alternatives are chosen
*	Unify `skip_resolve_expr` with normal resolution	Nadrieril	2020-12-07	1	-2/+2
\|
*	Pass import results via the global context	Nadrieril	2020-12-07	1	-6/+7
\|
*	Thread cx everywhere else imports are read	Nadrieril	2020-12-07	1	-9/+11
\|
*	Thread cx through normalization	Nadrieril	2020-12-07	1	-19/+23
\|
*	Thread cx through typecheck	Nadrieril	2020-12-07	1	-3/+6
\|
*	Check code hashes in import	Nadrieril	2020-04-05	1	-0/+4
\|
*	Brutally make all of dhall pub	Nadrieril	2020-03-31	1	-4/+4
\|
*	Nir::normalize isn't useful	Nadrieril	2020-03-31	1	-6/+0
\| \| \| \| \|	It pretends to normalize but actually can't normalize under lambdas. The correct way to normalize a Nir is to convert it to Hir.
*	Remove top-level Expr aliases	Nadrieril	2020-03-31	1	-9/+5
\|
*	Run clippy	Nadrieril	2020-03-17	1	-3/+3
\|
*	Implement `as Location` imports	Nadrieril	2020-03-05	1	-0/+3
\|
*	Avoid re-typechecking after import	Nadrieril	2020-02-19	1	-1/+6
\|
*	Discard import headers while we don't use them	Nadrieril	2020-02-18	1	-9/+1
\|
*	Remove useless `normalize` option from ToExprOptions	Nadrieril	2020-02-18	1	-8/+2
\|
*	Borrow relevant Hir from Tir	Nadrieril	2020-02-18	1	-3/+17
\|
*	Rename Value to Nir	Nadrieril	2020-02-17	1	-3/+3
\|
*	Rename TyExpr to Tir	Nadrieril	2020-02-17	1	-2/+2
\|
*	Move hir and resolve into a module	Nadrieril	2020-02-17	1	-0/+130