summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-31Rename LitKind to NumKindNadrieril11-101/+101
2020-03-31Limit dependency on NormalizedNadrieril2-84/+42
2020-03-31Remove Normalized and friends from public APINadrieril3-31/+20
2020-03-31Add new Value type in APINadrieril2-6/+62
2020-03-31Add SimpleType to mirror SimpleValueNadrieril3-3/+103
2020-03-31Add SimpleValue type to facilitate deserializationNadrieril3-2/+71
2020-03-31Fix indexing for spans that go to the end of the inputNadrieril1-5/+7
2020-03-31Upgrade annotate-snippets versionNadrieril2-12/+4
2020-03-20Add coverage gathering with grcovNadrieril1-7/+17
2020-03-20Remove more unnecessary parens in printerNadrieril3-10/+35
2020-03-20Commit output of printerNadrieril1-23/+23
2020-03-20Parse RFC3986 URLsNadrieril2-2/+22
2020-03-18Update to latest pest_consume to remove spurious clippy warningNadrieril1-1/+0
2020-03-18Cut releaseNadrieril1-1/+1
2020-03-17Remove never_type featureNadrieril4-19/+19
2020-03-17Run clippyNadrieril16-126/+172
2020-03-11Implement record punsNadrieril4-1/+9
2020-03-10Add support for `with` keywordNadrieril3-1/+44
2020-03-05Implement conservative sanity checkingNadrieril3-56/+77
2020-03-05Cache imports correctlyNadrieril3-21/+21
2020-03-05Implement remote imports and cleanup import chainingNadrieril9-117/+185
2020-03-05Implement remote `as Location` resolutionNadrieril2-2/+13
2020-03-05Implement `as Text` importsNadrieril2-4/+22
2020-03-05Refactor resolve a bitNadrieril1-80/+76
2020-03-05Implement `missing` and `env:VAR` importsNadrieril3-8/+20
2020-03-05Add a lot of import testsNadrieril1-1/+1
2020-03-05Run tests from repo root as specified in specNadrieril1-1/+7
2020-03-05Implement `as Location` importsNadrieril3-59/+102
2020-03-05Implement some normalization simplificationsNadrieril2-77/+81
2020-03-02Normalization for ProjectionByExprBasile Henry2-4/+35
2020-02-21Cut releaseNadrieril1-1/+1
2020-02-20Add support for dotted field syntaxNadrieril2-2/+14
2020-02-20Add support for duplicate record fieldsNadrieril4-21/+46
2020-02-19Expose fewer pub thingsNadrieril5-48/+13
2020-02-19Avoid re-typechecking after importNadrieril7-15/+26
2020-02-18Discard import headers while we don't use themNadrieril3-13/+10
2020-02-18Remove useless `normalize` option from ToExprOptionsNadrieril3-26/+6
2020-02-18Borrow relevant Hir from TirNadrieril4-40/+50
2020-02-17Remove spans from NirNadrieril1-15/+7
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 tckNadrieril3-55/+73
2020-02-16Oops, leftover #![allow(dead_code)]Nadrieril1-17/+1
2020-02-16Start requiring Universe to build a TypeNadrieril4-176/+213
2020-02-15Introduce proper Type structNadrieril5-57/+121
2020-02-15Desugar Completion during resolutionNadrieril4-52/+49