summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
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 resolutionNadrieril6-81/+153
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 normalizationNadrieril7-108/+80
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 testsNadrieril1-5/+7
2020-02-09Remove distinction between failure and error testsNadrieril1-12/+4
2020-02-09Add option to overwrite test filesNadrieril1-48/+105
2020-02-09Move ui outputs to a sensible placeNadrieril1-8/+3
2020-02-09Massively deduplicate test harnessNadrieril3-140/+155
2020-02-09Track output of import errorsNadrieril1-0/+26
2020-02-06Implement some record simplificationsNadrieril1-2/+92
2020-02-05Normalize toMapNadrieril3-15/+55
2020-02-05Typecheck record completionNadrieril1-25/+51
2020-02-05Typecheck projection by typeNadrieril1-2/+25
2020-02-04Implement typechecking of toMapNadrieril1-1/+79
2020-02-04Workaround panic in a serde_dhall exampleNadrieril1-2/+4
2020-02-04Add basic pretty type errors to all errorsNadrieril2-99/+68
2020-02-02Add local test files on top of dhall-lang testsNadrieril2-0/+4
2020-02-02Tweak errorsNadrieril2-50/+46
2020-02-02Use Spans consistently by valueNadrieril5-23/+19
2020-02-02Fix spans for unions and recordsNadrieril2-17/+24
2020-02-02Let rustfmt format string literalsNadrieril1-43/+44
2020-02-02More errorsNadrieril3-22/+105
2020-02-02More nice errors plus some refactorNadrieril5-161/+230
2020-02-01Implement once nice error using annotate_snippetsNadrieril5-22/+169
2020-01-31Factor out custom Lazy structNadrieril3-35/+83
2020-01-30Use Rc equality to shortcut Value equalityNadrieril1-2/+1
2020-01-30Tweak ConstantClosureNadrieril2-25/+21
2020-01-30Eval Thunk by moveNadrieril1-4/+3
2020-01-30Get rid of all the manual Ref borrowsNadrieril2-149/+75
2020-01-30Use OnceCell to enable returning &ValKindNadrieril2-71/+56
2020-01-30Replace Form with a pair of RefCells, in preparation for OnceCellNadrieril1-88/+71
2020-01-30Move Form::PartialExpr into ThunkNadrieril1-36/+46
2020-01-30Only the Form must be in a RefCellNadrieril1-61/+67
2020-01-30Avoid unnecessary allocations of `Value`sNadrieril5-25/+25
2020-01-30Clarify normalization to ensure we only nze onceNadrieril4-58/+55