summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-17Rename Value to NirNadrieril12-401/+377
2020-02-17Rename TyExpr to TirNadrieril5-31/+29
2020-02-17Remove some unused codeNadrieril1-24/+0
2020-02-17Factor out desugaring from resolveNadrieril1-22/+31
2020-02-17Extract resolve-relevant envs togetherNadrieril4-112/+118
2020-02-17Move hir and resolve into a moduleNadrieril5-2/+6
2020-02-16Avoid recomputing universes in tckNadrieril7-59/+97
2020-02-16Oops, leftover #![allow(dead_code)]Nadrieril1-17/+1
2020-02-16Start requiring Universe to build a TypeNadrieril6-180/+217
2020-02-15Introduce proper Type structNadrieril5-57/+121
2020-02-15Desugar Completion during resolutionNadrieril5-55/+49
2020-02-15Factor some tck code to avoid needing get_type_tyexprNadrieril5-52/+88
2020-02-14OopsNadrieril2-16/+14
2020-02-13TyExpr always carries a typeNadrieril4-89/+68
2020-02-13Rework annotation and Sort handlingNadrieril16-87/+114
2020-02-13Simplify conversions to/from TyExprNadrieril8-108/+108
2020-02-13Only store type at root node in tyexprNadrieril2-29/+26
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril10-158/+179
2020-02-11Simplify ExprKind visitorNadrieril2-140/+84
2020-02-11Remove the Embed variant from ExprKindNadrieril14-136/+79
2020-02-10Remove need for EmbedNadrieril4-20/+22
2020-02-09Remove types from NzEnvNadrieril7-42/+47
2020-02-09Automate conversion between envsNadrieril3-22/+26
2020-02-09Remove all types from ValueNadrieril5-89/+16
2020-02-09Take Hir for typecheckNadrieril7-57/+58
2020-02-09Resolve variables alongside import resolutionNadrieril8-83/+161
2020-02-09Resolve by ref instead of by mutNadrieril3-274/+81
2020-02-09Introduce environment for import resolutionNadrieril1-31/+56
2020-02-09Remove extra types stored in ValueNadrieril3-47/+20
2020-02-09Remove most TyExpr from normalizationNadrieril16-126/+98
2020-02-09Add Hir as untyped alternative to TyExprNadrieril5-65/+133
2020-02-09Remove move type propagation through ValueNadrieril5-237/+86
2020-02-09Remove most reliance on types stored in ValueNadrieril5-67/+88
2020-02-09Upgrade Rust toolchainNadrieril1-2/+0
2020-02-09Track error output of parsing and binary decoding testsNadrieril63-7/+325
2020-02-09Remove distinction between failure and error testsNadrieril2-40/+4
2020-02-09Add option to overwrite test filesNadrieril1-48/+105
2020-02-09Move ui outputs to a sensible placeNadrieril109-16/+11
2020-02-09Massively deduplicate test harnessNadrieril4-159/+199
2020-02-09Track output of import errorsNadrieril4-0/+44
2020-02-06Add forgotten test outputsNadrieril6-0/+40
2020-02-06Implement some record simplificationsNadrieril2-13/+98
2020-02-05Normalize toMapNadrieril4-19/+55
2020-02-05Typecheck record completionNadrieril2-38/+51
2020-02-05Typecheck projection by typeNadrieril2-12/+25
2020-02-04Implement typechecking of toMapNadrieril11-26/+134
2020-02-04Workaround panic in a serde_dhall exampleNadrieril1-2/+4
2020-02-04Add basic pretty type errors to all errorsNadrieril84-181/+480
2020-02-02Add local test files on top of dhall-lang testsNadrieril5-46/+62
2020-02-02Tweak errorsNadrieril9-65/+63