summaryrefslogtreecommitdiff
path: root/tests_buffer (follow)
Commit message (Expand)AuthorAgeFilesLines
* tests: add some testsNadrieril2020-11-051-5/+0
* spec: allow unions with mixed kindsNadrieril2020-06-251-1/+0
* spec: fix precedence of `===` and `with`Nadrieril2020-06-251-1/+0
* Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril2020-04-101-0/+1
* Move duplicate field checking to parserNadrieril2020-04-071-0/+1
* Check code hashes in importNadrieril2020-04-051-0/+2
* Add a testNadrieril2020-04-051-0/+1
* Reorganize API and internals of serde_dhall a bitNadrieril2020-03-311-0/+4
* Implement record punsNadrieril2020-03-111-4/+6
* Upstream all local testsNadrieril2020-03-101-9/+0
* Implement `as Location` importsNadrieril2020-03-051-0/+1
* Add a bunch of `as Location` unit testsNadrieril2020-03-051-1/+1
* Add a bunch of testsNadrieril2020-03-051-23/+0
* Prepare test bufferNadrieril2020-03-051-28/+23
* Borrow relevant Hir from TirNadrieril2020-02-181-0/+2
* Start requiring Universe to build a TypeNadrieril2020-02-161-0/+1
* Add local test files on top of dhall-lang testsNadrieril2020-02-021-8/+6
* More nice errors plus some refactorNadrieril2020-02-021-0/+2
* Fix more bugsNadrieril2020-01-291-0/+1
* Implement assert & merge and fix more bugsNadrieril2020-01-281-0/+1
* Fix all sorts of variable shenanigansNadrieril2020-01-281-0/+1
* Oops, this endeavour is doomedNadrieril2020-01-171-0/+1
* Implement rule aliasing and simplify parser codeNadrieril2019-09-051-0/+2
* Don't URL-decode path segmentsNadrieril2019-08-311-0/+1
* Implement parsing of `toMap` keywordNadrieril2019-08-311-0/+2
* Remove rule aliasingNadrieril2019-08-271-0/+1
* Rework apply_builtin to enforce preservation of type informationNadrieril2019-08-251-0/+2
* Keep type information through normalizationNadrieril2019-08-251-0/+3
* Keep type information after RecursiveRecordTypeMergeNadrieril2019-08-231-1/+3
* Propagate type information in Value::app()Nadrieril2019-08-201-0/+1
* Update dhall-lang submoduleNadrieril2019-08-101-1/+2
* Upstream a bunch of testsNadrieril2019-08-081-99/+6
* RFC3986 URLsNadrieril2019-08-061-0/+1
* Add some testsNadrieril2019-08-061-0/+3
* Remove old-style optional literalsNadrieril2019-08-061-0/+3
* Update dhall-lang submoduleNadrieril2019-08-031-0/+1
* Update test bufferNadrieril2019-05-121-97/+113
* Commit test bufferNadrieril2019-05-121-0/+113
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-13 19:07:04 +0000