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

	Commit message (Expand)	Author	Files	Lines
2019-05-07	Fix derive	Nadrieril	2	-1/+3
2019-05-06	Move main datatypes into their own modules	Nadrieril	10	-1199/+1217
2019-05-06	Move api-related modules into an api module	Nadrieril	7	-38/+41
2019-05-06	Consolidate errors in the error module	Nadrieril	42	-188/+196
2019-05-06	Reorganize dhall into a phase structure	Nadrieril	15	-477/+499
2019-05-06	Merge TypedInternal and Typed	Nadrieril	4	-75/+34
2019-05-05	Remove main	Nadrieril	1	-93/+0
2019-05-05	s/DoubleVar/AlphaVar/	Nadrieril	3	-44/+44
2019-05-05	Implement normalization simplifications	Nadrieril	1	-10/+15
2019-05-05	Preserve text WHNF on concatenation	Nadrieril	1	-9/+9
2019-05-05	WHNF for TextLit means no interpolations of text and strict alternation	Nadrieril	1	-41/+63
2019-05-05	Fix Integer equality	Nadrieril	1	-4/+5
2019-05-05	Make Value equality be alpha-equivalence	Nadrieril	3	-21/+99
2019-05-05	Use alpha-normalization in equivalence checking	Nadrieril	1	-80/+2
2019-05-05	Implement alpha-normalization	Nadrieril	4	-69/+194
2019-05-04	Clarify match_vars implementation	Nadrieril	1	-12/+12
2019-05-04	subst_shift now correctly preserves WHNF	Nadrieril	1	-26/+24
2019-05-04	We actually don't need SubExpr::shift anymore	Nadrieril	1	-4/+5
2019-05-04	Revert "Make SubExpr generic in the variable labels type"	Nadrieril	7	-102/+85
2019-05-04	Make SubExpr generic in the variable labels type	Nadrieril	7	-85/+102
2019-05-04	Keep Spans through normalization and typechecking	Nadrieril	3	-36/+39
2019-05-04	Thread Spans through the AST	Nadrieril	1	-1/+1
2019-05-04	Move `Note`s into the spine of the AST	Nadrieril	2	-9/+5
2019-05-04	Remove dummy lifetimes	Nadrieril	8	-268/+203
2019-05-04	rustfmt	Nadrieril	4	-4/+4
2019-05-04	Rename dhall_generator to dhall_proc_macros	Nadrieril	6	-13/+13
2019-05-04	Rename dhall_core to dhall_syntax	Nadrieril	11	-33/+33
2019-05-03	No need for extra stack in tests anymore	Nadrieril	2	-13/+6
2019-05-03	Remove some deprecated functions	Nadrieril	3	-124/+30
2019-05-03	Rework normalization to reduce expensive Value copying	Nadrieril	1	-457/+494
2019-05-03	Apply builtin arguments lazily	Nadrieril	1	-143/+165
2019-05-03	Avoid unnecessary RefCell::borrow_mut	Nadrieril	2	-20/+37
2019-05-02	Update dhall-lang submodule	Nadrieril	1	-0/+1
2019-05-02	Update normalization tests	Nadrieril	1	-11/+12
2019-05-02	Update dhall-lang submodule	Nadrieril	1	-16/+25
2019-05-02	Update dhall-lang submodule	Nadrieril	1	-1/+1
2019-05-02	Typecheck text interpolation	Nadrieril	1	-3/+16
2019-05-02	Typecheck missing builtin cases	Nadrieril	1	-29/+47
2019-05-02	Remove shift0	Nadrieril	2	-32/+26
2019-05-02	Instead of possibly nonexistent Type, treat Sort specially	Nadrieril	7	-242/+282
2019-05-02	Store Thunk in Normalized	Nadrieril	5	-41/+44
2019-05-02	Tweaks	Nadrieril	3	-76/+78
2019-04-30	Remove now useless TypedOrType type	Nadrieril	1	-86/+34
2019-04-30	Fix NF tracking error	Nadrieril	1	-2/+3
2019-04-30	Fix shifting. This completely destroys sharing so performance is dead.	Nadrieril	1	-3/+7
2019-04-30	Lazily process unnormalizable expression	Nadrieril	1	-9/+36
2019-04-30	Avoid some rewrapping of thunks	Nadrieril	2	-36/+51
2019-04-30	Mutate thunk contents directly if sole owner	Nadrieril	1	-2/+8
2019-04-30	Normalize mutably	Nadrieril	1	-30/+120
2019-04-30	Don't borrow from thunk more than necessary	Nadrieril	2	-37/+62