summaryrefslogtreecommitdiff
path: root/tests_buffer (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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