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

	Commit message (Expand)	Author	Files	Lines
2020-01-30	Remove old typecheck module	Nadrieril	1	-1/+0
2020-01-30	Move builtins-related code to its own module	Nadrieril	1	-177/+0
2020-01-29	Move envs to their own files	Nadrieril	1	-2/+1
2020-01-29	Remove dead code	Nadrieril	1	-622/+2
2020-01-29	Use TyExpr in Typed	Nadrieril	1	-1/+1
2020-01-28	Thread env through nztion to fix Foo/build closures	Nadrieril	1	-7/+13
2020-01-27	Fix a bunch of bugs and more tck	Nadrieril	1	-10/+16
2020-01-25	More typecheck	Nadrieril	1	-48/+53
2020-01-25	Make most type errors stringy	Nadrieril	1	-98/+53
2020-01-25	Typecheck more cases	Nadrieril	1	-2/+9
2020-01-24	Restore all types in Value::to_tyexpr	Nadrieril	1	-5/+7
2020-01-21	Simplify type error type	Nadrieril	1	-30/+12
2020-01-17	Simplify	Nadrieril	1	-11/+11
2020-01-17	Tweak: handle empty lists in typeck	Nadrieril	1	-4/+10
2020-01-17	Remove Shift/Subst traits	Nadrieril	1	-1/+1
2020-01-17	Store corresponding binder id in AlphaVar	Nadrieril	1	-1/+2
2020-01-17	Introduce a notion of binder	Nadrieril	1	-13/+14
2020-01-17	Construct T/Build closures in Expr space	Nadrieril	1	-2/+1
2020-01-17	Tiny clarification	Nadrieril	1	-13/+10
2020-01-17	s/TypecheckContext/TyCtx/	Nadrieril	1	-14/+8
2019-12-24	Ensure inferred type is always in normal form	Nadrieril	1	-1/+4
2019-12-24	Ensure the output of type inference matches the spec variable names	Nadrieril	1	-7/+7
2019-12-24	Extend merge to work on Optionals	Nadrieril	1	-2/+14
2019-12-23	Add two new Integer builtins	Nadrieril	1	-0/+3
2019-12-22	Implement parsing for record completion	Nadrieril	1	-0/+1
2019-12-22	Update dhall-lang submodule	Nadrieril	1	-1/+9
2019-12-20	Move ValueKind into value.rs	Nadrieril	1	-1/+1
2019-12-20	s/RawExpr/UnspannedExpr/	Nadrieril	1	-3/+3
2019-12-20	s/ExprF/ExprKind/	Nadrieril	1	-22/+23
2019-12-20	Move error module to root of crate	Nadrieril	1	-1/+1
2019-12-19	Rename ValueF to ValueKind	Nadrieril	1	-36/+36
2019-12-15	Refer to semantics module properly	Nadrieril	1	-7/+7
2019-12-15	Avoid mention of `crate::` outside of top-level imports	Nadrieril	1	-27/+20
2019-12-15	fixup! Reexport dhall_syntax as a module in dhall	Nadrieril	1	-1/+3
2019-12-15	Move contents of dhall under a semantics submodule	Nadrieril	1	-0/+0
2019-12-15	Reexport dhall_syntax as a module in dhall	Nadrieril	1	-12/+12
2019-11-11	typo	Nadrieril	1	-2/+2
2019-11-11	Parse projection by expression	Nadrieril	1	-0/+1
2019-11-11	Propagate more spans	Nadrieril	1	-3/+3
2019-11-11	Display first pretty type error	Nadrieril	1	-1/+1
2019-11-11	Store a `Span` in `Value`	Nadrieril	1	-4/+10
2019-11-11	Capture absence of span in Span itself	Nadrieril	1	-1/+5
2019-11-11	Run `cargo fmt`	Nadrieril	1	-2/+6
2019-09-03	Upgrade rust toolchain	Nadrieril	1	-6/+2
2019-08-31	Implement parsing of `toMap` keyword	Nadrieril	1	-0/+1
2019-08-28	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	1	-8/+8
2019-08-27	clippy	Nadrieril	1	-1/+1
2019-08-25	Enforce type information almost everywhere	Nadrieril	1	-13/+8
2019-08-25	Keep type information through normalization	Nadrieril	1	-10/+11
2019-08-23	Clarify which syntax elements are completely handled in the tck phase	Nadrieril	1	-3/+6