summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-17Circumvent weird rustfmt inconsistencyNadrieril1-2/+5
2020-03-12Upstream the `with` grammar tweakNadrieril3-15/+2
2020-03-11Implement record punsNadrieril6-2/+16
2020-03-10Upstream all local testsNadrieril148-201/+3
2020-03-10Add support for `with` keywordNadrieril8-4/+68
2020-03-05Forgot to commit test outputNadrieril1-0/+1
2020-03-05Implement conservative sanity checkingNadrieril4-58/+77
2020-03-05Cache imports correctlyNadrieril5-25/+22
2020-03-05Implement remote imports and cleanup import chainingNadrieril13-122/+193
2020-03-05Implement remote `as Location` resolutionNadrieril24-12/+52
2020-03-05Implement `as Text` importsNadrieril7-16/+33
2020-03-05Refactor resolve a bitNadrieril1-80/+76
2020-03-05Implement `missing` and `env:VAR` importsNadrieril6-19/+24
2020-03-05Add a lot of import testsNadrieril53-2/+96
2020-03-05Run tests from repo root as specified in specNadrieril11-11/+17
2020-03-05Implement `as Location` importsNadrieril5-60/+104
2020-03-05Run tests from dhall dirNadrieril10-10/+10
2020-03-05Add a bunch of `as Location` unit testsNadrieril35-0/+50
2020-03-05Update dhall-lang submoduleNadrieril3-3/+15
2020-03-05Add a bunch of testsNadrieril49-0/+70
2020-03-05Allow some slow tests to only be run in release modeNadrieril1-25/+36
2020-03-05Implement some normalization simplificationsNadrieril3-86/+83
2020-03-02Normalization for ProjectionByExprBasile Henry2-4/+35
2020-03-02Enable ProjectionByType testsBasile Henry1-8/+1
2020-02-21Cut releaseNadrieril2-2/+2
2020-02-21OopsNadrieril1-0/+6
2020-02-20Update dhall-lang submoduleNadrieril1-0/+3
2020-02-20Add support for dotted field syntaxNadrieril5-24/+16
2020-02-20Disallow Natural literals with leading zerosNadrieril1-0/+6
2020-02-20Add support for duplicate record fieldsNadrieril11-31/+73
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 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