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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Store file cache in ImportEnv	Nadrieril	2020-11-01	1	-2/+2
\|
*	Update annotate-snippets dependency	Nadrieril	2020-10-30	1	-12/+13
\|
*	test: use errors instead of panics to signify test failure	Nadrieril	2020-06-24	1	-0/+11
\|
*	fixup! Release serde_dhall version 0.5.2	fteychene	2020-05-15	1	-1/+1
\|
*	feat: Add cache resolution on resolve	fteychene	2020-05-15	1	-0/+14
\|
*	Brutally make all of dhall pub	Nadrieril	2020-03-31	2	-8/+8
\|
*	Upgrade annotate-snippets version	Nadrieril	2020-03-31	1	-4/+2
\|
*	Run clippy	Nadrieril	2020-03-17	1	-2/+3
\|
*	Implement conservative sanity checking	Nadrieril	2020-03-05	1	-0/+1
\|
*	Cache imports correctly	Nadrieril	2020-03-05	1	-2/+2
\|
*	Implement remote imports and cleanup import chaining	Nadrieril	2020-03-05	1	-0/+6
\|
*	Implement `missing` and `env:VAR` imports	Nadrieril	2020-03-05	1	-0/+2
\|
*	Expose fewer pub things	Nadrieril	2020-02-19	1	-1/+1
\|
*	Avoid re-typechecking after import	Nadrieril	2020-02-19	1	-1/+0
\|
*	Discard import headers while we don't use them	Nadrieril	2020-02-18	1	-2/+2
\|
*	TyExpr always carries a type	Nadrieril	2020-02-13	1	-2/+0
\|
*	Resolve variables alongside import resolution	Nadrieril	2020-02-09	1	-19/+37
\|
*	Add basic pretty type errors to all errors	Nadrieril	2020-02-04	1	-53/+2
\|
*	Tweak errors	Nadrieril	2020-02-02	1	-6/+3
\|
*	Use Spans consistently by value	Nadrieril	2020-02-02	1	-5/+5
\|
*	More errors	Nadrieril	2020-02-02	1	-17/+23
\|
*	More nice errors plus some refactor	Nadrieril	2020-02-02	2	-61/+117
\|
*	Implement once nice error using annotate_snippets	Nadrieril	2020-02-01	2	-0/+103
\|
*	Move parse and resolve up a level	Nadrieril	2020-01-30	1	-1/+1
\|
*	Move main API to lib.rs	Nadrieril	2020-01-30	1	-1/+1
\|
*	Move Value-related stuff under semantics::nze	Nadrieril	2020-01-30	1	-1/+1
\|
*	Remove dead code	Nadrieril	2020-01-29	1	-11/+6
\|
*	Make most type errors stringy	Nadrieril	2020-01-25	1	-47/+48
\|
*	Typecheck more cases	Nadrieril	2020-01-25	1	-0/+1
\|
*	Simplify type error type	Nadrieril	2020-01-21	1	-9/+4
\|
*	Reimplement basic tck/nze with proper environments	Nadrieril	2020-01-20	1	-0/+5
\| \| \| \|	Inspired from dhall_haskell
*	s/TypecheckContext/TyCtx/	Nadrieril	2020-01-17	1	-6/+3
\|
*	Extend merge to work on Optionals	Nadrieril	2019-12-24	1	-1/+1
\|
*	Add debug output to unhandled type error message	Nadrieril	2019-12-24	1	-1/+1
\|
*	Update dhall-lang submodule	Nadrieril	2019-12-22	1	-0/+1
\|
*	Move error module to root of crate	Nadrieril	2019-12-20	1	-0/+178
\|
*	Move contents of dhall under a semantics submodule	Nadrieril	2019-12-15	1	-179/+0
\|
*	Reexport dhall_syntax as a module in dhall	Nadrieril	2019-12-15	1	-1/+1
\|
*	Add more detail to TypeMismatch error	Nadrieril	2019-11-11	1	-3/+14
\|
*	Remove unused error texts	Nadrieril	2019-11-11	34	-1765/+0
\| \| \| \| \|	Those were copied from dhall-haskell back before I (Nadrieril) forked dhall-rust from Nanotech. They have never been used.
*	Add a few more pretty errors	Nadrieril	2019-11-11	1	-8/+8
\|
*	Move "Type error" error prefix	Nadrieril	2019-11-11	1	-7/+11
\|
*	Display first pretty type error	Nadrieril	2019-11-11	1	-4/+4
\|
*	Implement basicest Display for TypeError	Nadrieril	2019-11-11	1	-43/+18
\|
*	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	2019-08-28	1	-4/+4
\| \| \| \|	For clarity, and consistency with Value
*	Enforce type information almost everywhere	Nadrieril	2019-08-25	1	-1/+0
\|
*	Standardize records of mixed kinds	Nadrieril	2019-08-20	1	-2/+0
\|
*	Reuse work to avoid complicated recursion in record merging	Nadrieril	2019-08-20	1	-1/+0
\|
*	Merge TypedValue and Value	Nadrieril	2019-08-19	1	-27/+27
\|
*	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	1	-27/+28
\| \| \| \| \|	Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized