summaryrefslogtreecommitdiff
path: root/dhall/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-16Avoid recomputing universes in tckNadrieril4-4/+24
2020-02-16Start requiring Universe to build a TypeNadrieril2-4/+4
2020-02-13Rework annotation and Sort handlingNadrieril14-18/+38
2020-02-13Simplify conversions to/from TyExprNadrieril4-0/+20
2020-02-09Resolve variables alongside import resolutionNadrieril2-2/+8
2020-02-09Remove most TyExpr from normalizationNadrieril9-18/+18
2020-02-09Track error output of parsing and binary decoding testsNadrieril61-0/+316
2020-02-09Move ui outputs to a sensible placeNadrieril107-0/+0
2020-02-09Track output of import errorsNadrieril2-0/+2
2020-02-06Add forgotten test outputsNadrieril6-0/+40
2020-02-04Implement typechecking of toMapNadrieril9-0/+55
2020-02-04Add basic pretty type errors to all errorsNadrieril82-82/+412
2020-02-02Add local test files on top of dhall-lang testsNadrieril2-0/+2
2020-02-02Tweak errorsNadrieril7-15/+17
2020-02-02Fix spans for unions and recordsNadrieril2-4/+4
2020-02-02More errorsNadrieril7-11/+33
2020-02-02More nice errors plus some refactorNadrieril9-13/+40
2020-02-01Implement once nice error using annotate_snippetsNadrieril4-4/+38
2020-01-30Remove debug output in type errorsNadrieril3-85/+3
2020-01-29Cleanup variable handlingNadrieril1-2/+0
2020-01-29Use TyExpr in TypedNadrieril25-50/+108
2020-01-25Make most type errors stringyNadrieril58-118/+58
2020-01-24Update type-errorsNadrieril45-47/+47
2019-12-27Update dhall-lang submoduleNadrieril2-2/+2
2019-12-24Extend merge to work on OptionalsNadrieril4-4/+4
2019-12-24Add debug output to unhandled type error messageNadrieril78-78/+78
2019-12-22Update dhall-lang submoduleNadrieril1-0/+1
2019-12-22Update dhall-lang submoduleNadrieril2-0/+2
2019-11-11Add more detail to TypeMismatch errorNadrieril5-0/+45
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 05:01:35 +0000