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

	Commit message (Expand)	Author	Files	Lines
2021-01-22	chore: fix clippy warnings	Nadrieril	1	-4/+4
2020-12-07	Thread cx everywhere else imports are read	Nadrieril	1	-2/+2
2020-12-07	Thread cx through normalization	Nadrieril	1	-97/+100
2020-11-03	Remove NirInternal	Nadrieril	1	-50/+12
2020-11-03	Normalize `with` by mutation.	Nadrieril	1	-0/+24
2020-04-06	Move BinOp and Builtin definitions in the relevant module	Nadrieril	1	-4/+3
2020-04-06	Move builtins module up a level	Nadrieril	1	-2/+3
2020-04-06	Extract operation-related code to a new module	Nadrieril	1	-1/+2
2020-04-06	Only need to store OpKind in Nir	Nadrieril	1	-9/+12
2020-04-06	Avoid a few allocations	Nadrieril	1	-3/+5
2020-04-06	Factor our operations in normalization	Nadrieril	1	-2/+2
2020-04-06	Split off operations from main expr enum	Nadrieril	1	-22/+24
2020-03-31	Brutally make all of dhall pub	Nadrieril	1	-21/+21
2020-03-31	Nir::normalize isn't useful	Nadrieril	1	-76/+0
2020-03-31	Improve handling of builtin types in Nir	Nadrieril	1	-8/+27
2020-03-31	Move conversion to SimpleVal/Ty to simple module	Nadrieril	1	-81/+0
2020-03-31	Remove top-level Expr aliases	Nadrieril	1	-5/+5
2020-03-31	Rename LitKind to NumKind	Nadrieril	1	-5/+5
2020-03-31	Add SimpleType to mirror SimpleValue	Nadrieril	1	-1/+47
2020-03-31	Add SimpleValue type to facilitate deserialization	Nadrieril	1	-0/+34
2020-03-17	Run clippy	Nadrieril	1	-5/+5
2020-02-18	Remove useless `normalize` option from ToExprOptions	Nadrieril	1	-3/+0
2020-02-17	Remove spans from Nir	Nadrieril	1	-15/+7
2020-02-17	Rename Value to Nir	Nadrieril	1	-121/+116
2020-02-16	Avoid recomputing universes in tck	Nadrieril	1	-3/+3
2020-02-15	Introduce proper Type struct	Nadrieril	1	-1/+4
2020-02-15	Factor some tck code to avoid needing get_type_tyexpr	Nadrieril	1	-2/+2
2020-02-13	Simplify conversions to/from TyExpr	Nadrieril	1	-17/+3
2020-02-11	Introduce LitKind to factor out common enum nodes	Nadrieril	1	-16/+5
2020-02-11	Remove the Embed variant from ExprKind	Nadrieril	1	-11/+5
2020-02-09	Remove types from NzEnv	Nadrieril	1	-12/+6
2020-02-09	Remove all types from Value	Nadrieril	1	-73/+7
2020-02-09	Take Hir for typecheck	Nadrieril	1	-2/+5
2020-02-09	Remove extra types stored in Value	Nadrieril	1	-9/+6
2020-02-09	Remove most TyExpr from normalization	Nadrieril	1	-65/+55
2020-02-09	Add Hir as untyped alternative to TyExpr	Nadrieril	1	-5/+5
2020-02-09	Remove move type propagation through Value	Nadrieril	1	-63/+21
2020-02-09	Remove most reliance on types stored in Value	Nadrieril	1	-24/+36
2020-02-05	Normalize toMap	Nadrieril	1	-0/+6
2020-02-02	Use Spans consistently by value	Nadrieril	1	-3/+3
2020-02-02	More errors	Nadrieril	1	-0/+3
2020-02-02	More nice errors plus some refactor	Nadrieril	1	-3/+0
2020-02-01	Implement once nice error using annotate_snippets	Nadrieril	1	-0/+4
2020-01-31	Factor out custom Lazy struct	Nadrieril	1	-35/+18
2020-01-30	Use Rc equality to shortcut Value equality	Nadrieril	1	-2/+1
2020-01-30	Tweak ConstantClosure	Nadrieril	1	-13/+7
2020-01-30	Eval Thunk by move	Nadrieril	1	-4/+3
2020-01-30	Use OnceCell to enable returning &ValKind	Nadrieril	1	-68/+53
2020-01-30	Replace Form with a pair of RefCells, in preparation for OnceCell	Nadrieril	1	-88/+71
2020-01-30	Move Form::PartialExpr into Thunk	Nadrieril	1	-36/+46