summaryrefslogtreecommitdiff
path: root/dhall/tests/common (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Move spec tests into the relevant filesNadrieril2019-04-081-176/+0
|
* Restrict public APINadrieril2019-04-071-16/+47
| | | | Closes #20
* Avoid constructing exprs manually when possibleNadrieril2019-04-071-1/+1
|
* Augment stack size for typecheck testsNadrieril2019-04-071-5/+15
|
* Move binary decoding to new APINadrieril2019-04-061-14/+11
|
* Massage import loading into new APINadrieril2019-04-061-2/+7
| | | | Closes #9
* s/DhallError/ImportError/Nadrieril2019-04-061-3/+3
|
* Add type-inference testsNadrieril2019-04-061-0/+16
| | | | Closes #49
* Move recursion out of ExprNadrieril2019-03-311-1/+1
|
* Improve import handling in parserNadrieril2019-03-211-4/+9
|
* Reorganize dhall_core a bitNadrieril2019-03-211-1/+1
|
* Make parser implementation non-recursiveNadrieril2019-03-201-16/+1
|
* Cleanup parser codeNadrieril2019-03-201-1/+1
|
* Handle simple parsing cases with new macrosNadrieril2019-03-201-1/+1
|
* rustfmtNadrieril2019-03-191-1/+1
|
* Test printer in parser testsNadrieril2019-03-191-0/+5
| | | | Closes #30
* Add travis integrationNadrieril2019-03-191-11/+15
|
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-4/+1
|
* Use Rc consistently everywhereNadrieril2019-03-171-9/+9
|
* Split different tests features into their own filesNadrieril2019-03-151-0/+121