summaryrefslogtreecommitdiff
path: root/tests_buffer (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | See https://github.com/dhall-lang/dhall-lang/pull/698
* 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