summaryrefslogtreecommitdiff
path: root/dhall/tests (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update dhall-lang submoduleNadrieril2019-12-221-0/+1
* Update dhall-lang submoduleNadrieril2019-12-222-0/+2
* Add more detail to TypeMismatch errorNadrieril2019-11-115-0/+45
* Add a few more pretty errorsNadrieril2019-11-119-9/+34
* Move "Type error" error prefixNadrieril2019-11-113-6/+6
* Display first pretty type errorNadrieril2019-11-113-3/+18
* Implement basicest Display for TypeErrorNadrieril2019-11-1187-87/+87
* Test type error messagesNadrieril2019-11-1187-0/+87
* Move api into its own crateNadrieril2019-08-131-68/+0
* Remove dhall::expr!() macroNadrieril2019-08-101-19/+11
* Rewrite the StaticType trait and everything around itNadrieril2019-05-091-35/+32
* Fix deriveNadrieril2019-05-071-1/+1
* Remove dummy lifetimesNadrieril2019-05-041-1/+1
* rustfmtNadrieril2019-05-041-1/+1
* Rename dhall_generator to dhall_proc_macrosNadrieril2019-05-041-8/+8
* Rename dhall_core to dhall_syntaxNadrieril2019-05-041-1/+1
* Remove obsolete dhall_expr!() macroNadrieril2019-04-181-8/+16
* Namespace deserialization functions in a `de` submoduleNadrieril2019-04-141-3/+3
* Thread lifetimes through other newtypesNadrieril2019-04-111-1/+1
* Add SimpleType and SimpeStaticType. Derive the latterNadrieril2019-04-101-18/+36
* Move spec tests into the relevant filesNadrieril2019-04-084-824/+0
* Restrict public APINadrieril2019-04-071-16/+47
* 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
* 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
* 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
* 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