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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Rework apply_builtin to enforce preservation of type information	Nadrieril	2019-08-25	1	-17/+15
\|
*	Enforce type information almost everywhere	Nadrieril	2019-08-25	1	-30/+36
\|
*	Check consistency of type information	Nadrieril	2019-08-25	1	-25/+28
\|
*	Keep type information through normalization	Nadrieril	2019-08-25	1	-11/+28
\|
*	Don't use take_mut::take lightly since normalize_whnf might panic	Nadrieril	2019-08-21	1	-9/+18
\|
*	Reduce API surface of dhall crate	Nadrieril	2019-08-20	1	-8/+5
\|
*	Propagate type information in Value::app()	Nadrieril	2019-08-20	1	-8/+15
\|
*	Track evaluation status alongside ValueF in VoVF	Nadrieril	2019-08-20	1	-26/+18
\|
*	No need for Cow in return type of get_type	Nadrieril	2019-08-20	1	-3/+2
\|
*	Introduce a new enum to store either a Value or a ValueF	Nadrieril	2019-08-20	1	-3/+51
\|
*	Naming tweaks	Nadrieril	2019-08-20	1	-3/+3
\|
*	Add Value::from_builtin	Nadrieril	2019-08-20	1	-2/+5
\|
*	Clarify conversion of Const/Builtin to Value	Nadrieril	2019-08-20	1	-5/+2
\|
*	Cleanup	Nadrieril	2019-08-20	1	-13/+3
\|
*	Tweak Value API	Nadrieril	2019-08-19	1	-28/+19
\|
*	Merge TypedValue and Value	Nadrieril	2019-08-19	1	-129/+63
\|
*	Reduce untyped construction of Values	Nadrieril	2019-08-19	1	-40/+28
\|
*	Use TypedValue instead of Typed in normalize and typecheck	Nadrieril	2019-08-19	1	-28/+20
\| \| \| \| \|	Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
*	s/to_valuef/to_whnf/ and avoid cloning ValueFs when possible	Nadrieril	2019-08-19	1	-20/+18
\|
*	Merge ValueInternal and TypedValueInternal	Nadrieril	2019-08-18	1	-111/+79
\|
*	Rework ValueInternal and clarify invariants around ValueF	Nadrieril	2019-08-18	1	-49/+54
\|
*	s/Thunk/Value/	Nadrieril	2019-08-17	1	-361/+362
\|
*	Use generic Shift/Subst impls	Nadrieril	2019-08-16	1	-128/+40
\|
*	s/Value/ValueF/	Nadrieril	2019-08-16	1	-106/+106
\|
*	Remove dead code	Nadrieril	2019-08-16	1	-1/+4
\|
*	Reduce api surface of dhall crate	Nadrieril	2019-08-16	1	-13/+6
\| \| \| \|	Helps detect unused code
*	rustfmt	Nadrieril	2019-08-15	1	-2/+1
\|
*	Fix variable substitution	Nadrieril	2019-08-15	1	-4/+2
\| \| \| \|	I have no idea how this didn't get caught before
*	Remove special closures from Value	Nadrieril	2019-08-15	1	-94/+1
\| \| \| \|	Instead construct their values directly
*	Fix typo in normalization	Nadrieril	2019-08-14	1	-1/+1
\|
*	Considerably simplify Embed handling	Nadrieril	2019-08-13	1	-5/+3
\|
*	Stop tracking the absence of Embed values at the type level	Nadrieril	2019-08-13	1	-5/+5
\|
*	s/TypeThunk/TypedThunk/g	Nadrieril	2019-08-13	1	-12/+12
\|
*	Remove dhall::expr!() macro	Nadrieril	2019-08-10	1	-5/+45
\| \| \| \|	It's a lot of hassle for not a lot of benefit
*	Add support for dependent types	Nadrieril	2019-08-08	1	-1/+18
\|
*	Remove union literals from the language	Nadrieril	2019-08-07	1	-12/+3
\|
*	Prepare for https://github.com/dhall-lang/dhall-lang/pull/630	Nadrieril	2019-08-06	1	-3/+5
\|
*	clippy	Nadrieril	2019-05-12	1	-1/+1
\|
*	Make visibilities more consistent	Nadrieril	2019-05-09	1	-13/+10
\|
*	ExprF need not be generic in Label	Nadrieril	2019-05-09	1	-3/+1
\|
*	Make shift fallible and improve shift ergonomics	Nadrieril	2019-05-09	1	-53/+68
\|
*	Detect duplicate record fields in typecheck	Nadrieril	2019-05-09	1	-6/+6
\|
*	Implement normalization of missing builtins	Nadrieril	2019-05-08	1	-2/+7
\|
*	Promote shift and subst_shift to traits	Nadrieril	2019-05-07	1	-3/+7
\|
*	Move AlphaVar and AlphaLabel into a new module	Nadrieril	2019-05-07	1	-103/+2
\|
*	Small mistake	Nadrieril	2019-05-07	1	-1/+1
\|
*	Document Value and Thunk	Nadrieril	2019-05-07	1	-5/+16
\|
*	Move main datatypes into their own modules	Nadrieril	2019-05-06	1	-0/+616