summaryrefslogtreecommitdiff
path: root/dhall/tests (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Move spec tests into the relevant filesNadrieril2019-04-084-824/+0
|
* Restrict public APINadrieril2019-04-071-16/+47
| | | | Closes #20
* Avoid constructing exprs manually when possibleNadrieril2019-04-074-1/+4
|
* Augment stack size for typecheck testsNadrieril2019-04-072-8/+18
|
* Put a Cow in TypeNadrieril2019-04-071-3/+3
|
* Add Sort type universeNadrieril2019-04-061-6/+6
|
* Move binary decoding to new APINadrieril2019-04-061-14/+11
|
* Massage import loading into new APINadrieril2019-04-061-2/+7
| | | | Closes #9
* Rename some modulesNadrieril2019-04-061-0/+0
|
* s/Type/StaticType/Nadrieril2019-04-061-7/+7
|
* s/DhallError/ImportError/Nadrieril2019-04-061-3/+3
|
* Factor out the recursion when possible in typecheckNadrieril2019-04-061-2/+2
|
* Add type-inference testsNadrieril2019-04-062-0/+149
| | | | Closes #49
* Update dhall-lang submoduleNadrieril2019-04-041-36/+36
|
* Move recursion out of ExprNadrieril2019-03-311-1/+1
|
* rustfmtNadrieril2019-03-311-4/+1
|
* Remove some redundant namespacingNadrieril2019-03-311-16/+16
|
* Derive DhallType for anonymous structs and enumsNadrieril2019-03-261-0/+24
|
* Derive DhallType for structsNadrieril2019-03-261-10/+27
|
* Update dhall-lang submoduleNadrieril2019-03-261-5/+5
|
* Lay groundwork for DhallType derivingNadrieril2019-03-241-0/+15
|
* Parse multiline strings correctlyNadrieril2019-03-241-8/+0
| | | | Closes #24
* Generate parser tests list automaticallyNadrieril2019-03-241-67/+2
|
* Parser import hash and headersNadrieril2019-03-241-1/+1
|
* Disallow builtins as bound variablesNadrieril2019-03-241-1/+1
|
* Handle merge and record projectionNadrieril2019-03-231-6/+6
|
* Update dhall-lang submoduleNadrieril2019-03-231-2/+3
|
* Handle double overflows in parserNadrieril2019-03-231-2/+2
|
* Parse unicode escapes in stringNadrieril2019-03-231-1/+1
|
* Handle quoted labelsNadrieril2019-03-221-1/+1
|
* Parse a lot more of the import typesNadrieril2019-03-221-7/+7
|
* Improve import handling in parserNadrieril2019-03-212-5/+10
|
* Follow the spec for handling DoublesNadrieril2019-03-211-1/+1
|
* 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
|
* Obsolete old parser macros; performance is now deadNadrieril2019-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
|
* Implement a few more primitivesNadrieril2019-03-181-21/+21
|
* Split List literal between empty and non-emptyNadrieril2019-03-181-3/+3
|
* 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-154-238/+241
|
* Rework test harnessNadrieril2019-03-152-591/+594
|
* Update spec submodule and add new testsNadrieril2019-03-151-1/+172
|
* Handle and parse interpolated stringsNadrieril2019-03-142-8/+10
| | | | Closes #25
* Implement binary decodingNadrieril2019-03-142-11/+21
| | | | | Closes #2 Closes #23