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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add a test	Nadrieril	2020-04-05	1	-0/+1
\|
*	Reorganize API and internals of serde_dhall a bit	Nadrieril	2020-03-31	1	-0/+4
\|
*	Implement record puns	Nadrieril	2020-03-11	1	-4/+6
\|
*	Upstream all local tests	Nadrieril	2020-03-10	1	-9/+0
\| \| \| \|	See https://github.com/dhall-lang/dhall-lang/pull/933
*	Implement `as Location` imports	Nadrieril	2020-03-05	1	-0/+1
\|
*	Add a bunch of `as Location` unit tests	Nadrieril	2020-03-05	1	-1/+1
\|
*	Add a bunch of tests	Nadrieril	2020-03-05	1	-23/+0
\|
*	Prepare test buffer	Nadrieril	2020-03-05	1	-28/+23
\|
*	Borrow relevant Hir from Tir	Nadrieril	2020-02-18	1	-0/+2
\|
*	Start requiring Universe to build a Type	Nadrieril	2020-02-16	1	-0/+1
\|
*	Add local test files on top of dhall-lang tests	Nadrieril	2020-02-02	1	-8/+6
\|
*	More nice errors plus some refactor	Nadrieril	2020-02-02	1	-0/+2
\|
*	Fix more bugs	Nadrieril	2020-01-29	1	-0/+1
\|
*	Implement assert & merge and fix more bugs	Nadrieril	2020-01-28	1	-0/+1
\|
*	Fix all sorts of variable shenanigans	Nadrieril	2020-01-28	1	-0/+1
\|
*	Oops, this endeavour is doomed	Nadrieril	2020-01-17	1	-0/+1
\|
*	Implement rule aliasing and simplify parser code	Nadrieril	2019-09-05	1	-0/+2
\|
*	Don't URL-decode path segments	Nadrieril	2019-08-31	1	-0/+1
\|
*	Implement parsing of `toMap` keyword	Nadrieril	2019-08-31	1	-0/+2
\|
*	Remove rule aliasing	Nadrieril	2019-08-27	1	-0/+1
\|
*	Rework apply_builtin to enforce preservation of type information	Nadrieril	2019-08-25	1	-0/+2
\|
*	Keep type information through normalization	Nadrieril	2019-08-25	1	-0/+3
\|
*	Keep type information after RecursiveRecordTypeMerge	Nadrieril	2019-08-23	1	-1/+3
\|
*	Propagate type information in Value::app()	Nadrieril	2019-08-20	1	-0/+1
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-10	1	-1/+2
\|
*	Upstream a bunch of tests	Nadrieril	2019-08-08	1	-99/+6
\| \| \| \|	See https://github.com/dhall-lang/dhall-lang/pull/698
*	RFC3986 URLs	Nadrieril	2019-08-06	1	-0/+1
\|
*	Add some tests	Nadrieril	2019-08-06	1	-0/+3
\|
*	Remove old-style optional literals	Nadrieril	2019-08-06	1	-0/+3
\|
*	Update dhall-lang submodule	Nadrieril	2019-08-03	1	-0/+1
\|
*	Update test buffer	Nadrieril	2019-05-12	1	-97/+113
\|
*	Commit test buffer	Nadrieril	2019-05-12	1	-0/+113