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

	Commit message (Expand)	Author	Files	Lines
2020-02-09	Remove most TyExpr from normalization	Nadrieril	3	-21/+9
2020-02-09	Add Hir as untyped alternative to TyExpr	Nadrieril	1	-58/+12
2020-02-09	Remove move type propagation through Value	Nadrieril	1	-30/+12
2020-02-09	Remove most reliance on types stored in Value	Nadrieril	2	-29/+35
2020-02-09	Massively deduplicate test harness	Nadrieril	1	-1/+4
2020-02-05	Typecheck record completion	Nadrieril	1	-25/+51
2020-02-05	Typecheck projection by type	Nadrieril	1	-2/+25
2020-02-04	Implement typechecking of toMap	Nadrieril	1	-1/+79
2020-02-04	Add basic pretty type errors to all errors	Nadrieril	1	-46/+66
2020-02-02	Add local test files on top of dhall-lang tests	Nadrieril	1	-0/+1
2020-02-02	Tweak errors	Nadrieril	1	-44/+43
2020-02-02	Use Spans consistently by value	Nadrieril	2	-10/+10
2020-02-02	Let rustfmt format string literals	Nadrieril	1	-43/+44
2020-02-02	More errors	Nadrieril	1	-5/+79
2020-02-02	More nice errors plus some refactor	Nadrieril	2	-97/+113
2020-02-01	Implement once nice error using annotate_snippets	Nadrieril	1	-22/+32
2020-01-30	Tweak ConstantClosure	Nadrieril	1	-12/+14
2020-01-30	Get rid of all the manual Ref borrows	Nadrieril	1	-34/+20
2020-01-30	Avoid unnecessary allocations of `Value`s	Nadrieril	2	-3/+4
2020-01-30	Move main API to lib.rs	Nadrieril	2	-3/+3
2020-01-30	Move normalize under nze	Nadrieril	2	-2/+2
2020-01-30	Introduce Thunks and normalize lazily	Nadrieril	2	-25/+28
2020-01-30	Increase encapsulation for Closures	Nadrieril	1	-5/+5
2020-01-30	Make unnormalized Values unobservable	Nadrieril	1	-3/+1
2020-01-30	s/as_whnf/kind/	Nadrieril	1	-17/+15
2020-01-30	Encapsulate partially applied builtin in a separate struct	Nadrieril	1	-11/+15
2020-01-30	Remove debug output in type errors	Nadrieril	1	-12/+3
2020-01-30	No need for the current env to tck Foo/build closures	Nadrieril	1	-13/+0
2020-01-30	Move builtins-related code to its own module	Nadrieril	3	-15/+12
2020-01-29	Cleanup variable handling	Nadrieril	2	-11/+25
2020-01-29	Move envs to their own files	Nadrieril	4	-59/+144
2020-01-29	s/QuoteEnv/VarEnv/	Nadrieril	1	-18/+16
2020-01-29	Use NameEnv in tyexpr_to_expr	Nadrieril	1	-18/+9
2020-01-29	Remove dead code	Nadrieril	2	-27/+8
2020-01-29	Fix insufficient normalization	Nadrieril	2	-7/+15
2020-01-29	Use TyExpr in Typed	Nadrieril	1	-1/+8
2020-01-29	Fix more bugs	Nadrieril	1	-33/+36
2020-01-28	Implement assert & merge and fix more bugs	Nadrieril	1	-90/+118
2020-01-28	Thread env through nztion to fix Foo/build closures	Nadrieril	1	-3/+11
2020-01-28	Fix all sorts of variable shenanigans	Nadrieril	1	-1/+14
2020-01-27	Fix a bunch of bugs and more tck	Nadrieril	2	-29/+45
2020-01-25	Moar typecheck	Nadrieril	1	-145/+342
2020-01-25	More typecheck	Nadrieril	1	-8/+231
2020-01-25	Enable comparing Closures for equality	Nadrieril	1	-1/+2
2020-01-25	Typecheck more cases	Nadrieril	1	-53/+134
2020-01-24	Implement basic typecheck with new approach	Nadrieril	1	-0/+147
2020-01-23	Implement basic env-based normalization for Value-based TyExpr	Nadrieril	1	-0/+8
2020-01-21	Simplify type error type	Nadrieril	1	-2/+1
2020-01-20	Reimplement basic tck/nze with proper environments	Nadrieril	1	-7/+9
2020-01-19	Restore more types in value_to_tyexpr	Nadrieril	2	-1/+15