summaryrefslogtreecommitdiff
path: root/dhall/tests (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Avoid recomputing universes in tckNadrieril2020-02-164-4/+24
* Start requiring Universe to build a TypeNadrieril2020-02-162-4/+4
* Rework annotation and Sort handlingNadrieril2020-02-1314-18/+38
* Simplify conversions to/from TyExprNadrieril2020-02-134-0/+20
* Resolve variables alongside import resolutionNadrieril2020-02-092-2/+8
* Remove most TyExpr from normalizationNadrieril2020-02-099-18/+18
* Track error output of parsing and binary decoding testsNadrieril2020-02-0961-0/+316
* Move ui outputs to a sensible placeNadrieril2020-02-09107-0/+0
* Track output of import errorsNadrieril2020-02-092-0/+2
* Add forgotten test outputsNadrieril2020-02-066-0/+40
* Implement typechecking of toMapNadrieril2020-02-049-0/+55
* Add basic pretty type errors to all errorsNadrieril2020-02-0482-82/+412
* Add local test files on top of dhall-lang testsNadrieril2020-02-022-0/+2
* Tweak errorsNadrieril2020-02-027-15/+17
* Fix spans for unions and recordsNadrieril2020-02-022-4/+4
* More errorsNadrieril2020-02-027-11/+33
* More nice errors plus some refactorNadrieril2020-02-029-13/+40
* Implement once nice error using annotate_snippetsNadrieril2020-02-014-4/+38
* Remove debug output in type errorsNadrieril2020-01-303-85/+3
* Cleanup variable handlingNadrieril2020-01-291-2/+0
* Use TyExpr in TypedNadrieril2020-01-2925-50/+108
* Make most type errors stringyNadrieril2020-01-2558-118/+58
* Update type-errorsNadrieril2020-01-2445-47/+47
* Update dhall-lang submoduleNadrieril2019-12-272-2/+2
* Extend merge to work on OptionalsNadrieril2019-12-244-4/+4
* Add debug output to unhandled type error messageNadrieril2019-12-2478-78/+78
* 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