summaryrefslogtreecommitdiff
path: root/dhall/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2019-11-11Add a few more pretty errorsNadrieril9-9/+34
2019-11-11Move "Type error" error prefixNadrieril3-6/+6
2019-11-11Display first pretty type errorNadrieril3-3/+18
2019-11-11Implement basicest Display for TypeErrorNadrieril87-87/+87
2019-11-11Test type error messagesNadrieril87-0/+87
2019-08-13Move api into its own crateNadrieril1-68/+0
2019-08-10Remove dhall::expr!() macroNadrieril1-19/+11
2019-05-09Rewrite the StaticType trait and everything around itNadrieril1-35/+32
2019-05-07Fix deriveNadrieril1-1/+1
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-2/+2
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-2/+2
2019-05-04Remove dummy lifetimesNadrieril1-1/+1
2019-05-04rustfmtNadrieril1-1/+1
2019-05-04Rename dhall_generator to dhall_proc_macrosNadrieril1-8/+8
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-1/+1
2019-04-18Remove obsolete dhall_expr!() macroNadrieril1-8/+16
2019-04-14Namespace deserialization functions in a `de` submoduleNadrieril1-3/+3
2019-04-11Thread lifetimes through other newtypesNadrieril1-1/+1
2019-04-10Add SimpleType and SimpeStaticType. Derive the latterNadrieril1-18/+36
2019-04-08Move spec tests into the relevant filesNadrieril4-824/+0
2019-04-07Restrict public APINadrieril1-16/+47
2019-04-07Avoid constructing exprs manually when possibleNadrieril4-1/+4
2019-04-07Augment stack size for typecheck testsNadrieril2-8/+18
2019-04-07Put a Cow in TypeNadrieril1-3/+3
2019-04-06Add Sort type universeNadrieril1-6/+6
2019-04-06Move binary decoding to new APINadrieril1-14/+11
2019-04-06Massage import loading into new APINadrieril1-2/+7
2019-04-06Rename some modulesNadrieril1-0/+0
2019-04-06s/Type/StaticType/Nadrieril1-7/+7
2019-04-06s/DhallError/ImportError/Nadrieril1-3/+3
2019-04-06Factor out the recursion when possible in typecheckNadrieril1-2/+2
2019-04-06Add type-inference testsNadrieril2-0/+149
2019-04-04Update dhall-lang submoduleNadrieril1-36/+36
2019-04-04Update dhall-lang submoduleNadrieril1-36/+36
2019-03-31Move recursion out of ExprNadrieril1-1/+1
2019-03-31rustfmtNadrieril1-4/+1
2019-03-31Remove some redundant namespacingNadrieril1-16/+16
2019-03-26Derive DhallType for anonymous structs and enumsNadrieril1-0/+24
2019-03-26Derive DhallType for structsNadrieril1-10/+27
2019-03-26Update dhall-lang submoduleNadrieril1-5/+5
2019-03-24Lay groundwork for DhallType derivingNadrieril1-0/+15
2019-03-24Parse multiline strings correctlyNadrieril1-8/+0
2019-03-24Generate parser tests list automaticallyNadrieril1-67/+2
2019-03-24Parser import hash and headersNadrieril1-1/+1
2019-03-24Disallow builtins as bound variablesNadrieril1-1/+1
2019-03-23Handle merge and record projectionNadrieril1-6/+6
2019-03-23Update dhall-lang submoduleNadrieril1-2/+3
2019-03-23Handle double overflows in parserNadrieril1-2/+2
2019-03-23Parse unicode escapes in stringNadrieril1-1/+1
2019-03-22Handle quoted labelsNadrieril1-1/+1