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

	Commit message (Collapse)	Author	Files	Lines
2020-03-17	Run clippy	Nadrieril	1	-2/+3

2020-03-05	Implement conservative sanity checking	Nadrieril	1	-0/+1

2020-03-05	Cache imports correctly	Nadrieril	1	-2/+2

2020-03-05	Implement remote imports and cleanup import chaining	Nadrieril	1	-0/+6

2020-03-05	Implement `missing` and `env:VAR` imports	Nadrieril	1	-0/+2

2020-02-19	Expose fewer pub things	Nadrieril	1	-1/+1

2020-02-19	Avoid re-typechecking after import	Nadrieril	1	-1/+0

2020-02-18	Discard import headers while we don't use them	Nadrieril	1	-2/+2

2020-02-13	TyExpr always carries a type	Nadrieril	1	-2/+0

2020-02-09	Resolve variables alongside import resolution	Nadrieril	1	-19/+37

2020-02-04	Add basic pretty type errors to all errors	Nadrieril	1	-53/+2

2020-02-02	Tweak errors	Nadrieril	1	-6/+3

2020-02-02	Use Spans consistently by value	Nadrieril	1	-5/+5

2020-02-02	More errors	Nadrieril	1	-17/+23

2020-02-02	More nice errors plus some refactor	Nadrieril	2	-61/+117

2020-02-01	Implement once nice error using annotate_snippets	Nadrieril	2	-0/+103

2020-01-30	Move parse and resolve up a level	Nadrieril	1	-1/+1

2020-01-30	Move main API to lib.rs	Nadrieril	1	-1/+1

2020-01-30	Move Value-related stuff under semantics::nze	Nadrieril	1	-1/+1

2020-01-29	Remove dead code	Nadrieril	1	-11/+6

2020-01-25	Make most type errors stringy	Nadrieril	1	-47/+48

2020-01-25	Typecheck more cases	Nadrieril	1	-0/+1

2020-01-21	Simplify type error type	Nadrieril	1	-9/+4

2020-01-20	Reimplement basic tck/nze with proper environments	Nadrieril	1	-0/+5
	Inspired from dhall_haskell
2020-01-17	s/TypecheckContext/TyCtx/	Nadrieril	1	-6/+3

2019-12-24	Extend merge to work on Optionals	Nadrieril	1	-1/+1

2019-12-24	Add debug output to unhandled type error message	Nadrieril	1	-1/+1

2019-12-22	Update dhall-lang submodule	Nadrieril	1	-0/+1

2019-12-20	Move error module to root of crate	Nadrieril	1	-0/+178

2019-12-15	Move contents of dhall under a semantics submodule	Nadrieril	1	-179/+0

2019-12-15	Reexport dhall_syntax as a module in dhall	Nadrieril	1	-1/+1

2019-11-11	Add more detail to TypeMismatch error	Nadrieril	1	-3/+14

2019-11-11	Remove unused error texts	Nadrieril	34	-1765/+0
	Those were copied from dhall-haskell back before I (Nadrieril) forked dhall-rust from Nanotech. They have never been used.
2019-11-11	Add a few more pretty errors	Nadrieril	1	-8/+8

2019-11-11	Move "Type error" error prefix	Nadrieril	1	-7/+11

2019-11-11	Display first pretty type error	Nadrieril	1	-4/+4

2019-11-11	Implement basicest Display for TypeError	Nadrieril	1	-43/+18

2019-08-28	Rename SubExpr to Expr, and Expr to RawExpr	Nadrieril	1	-4/+4
	For clarity, and consistency with Value
2019-08-25	Enforce type information almost everywhere	Nadrieril	1	-1/+0

2019-08-20	Standardize records of mixed kinds	Nadrieril	1	-2/+0

2019-08-20	Reuse work to avoid complicated recursion in record merging	Nadrieril	1	-1/+0

2019-08-19	Merge TypedValue and Value	Nadrieril	1	-27/+27

2019-08-19	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	1	-27/+28
	Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
2019-08-19	s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible	Nadrieril	1	-10/+10

2019-08-13	Implement inline headers parsing	Nadrieril	1	-4/+4

2019-08-13	Add new error type for serde_dhall	Nadrieril	1	-12/+0

2019-08-13	Move api into its own crate	Nadrieril	1	-0/+10

2019-08-08	Add support for dependent types	Nadrieril	1	-2/+4

2019-08-06	Add some new tests and implement import alternatives	Nadrieril	1	-1/+1

2019-08-01	Add typechecking for RecursiveRecordTypeMerge.	FintanH	1	-0/+3
	The implementation brings with it intersection_with_key over HashMaps to help with the type checking of records of records. The implementation first checks that the Const values line up with the LHS and RHS. Then checks that combining the records does not result in a FieldCollision. It will finally return the shared Const type of the arguments.