summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2021-02-04release: dhall version 0.10.0Nadrieril1-1/+1
2020-12-07Soothe clippyNadrieril1-0/+1
2020-12-07Resolve imports and alternatives outside of the ast traversalNadrieril1-1/+1
2020-12-07Unify `skip_resolve_expr` with normal resolutionNadrieril1-2/+13
2020-12-07Thread cx everywhere else imports are readNadrieril1-33/+9
2020-12-07Thread cx through normalizationNadrieril1-41/+35
2020-12-07Thread cx through typecheckNadrieril1-3/+8
2020-12-07Make global store of imports and import resultsNadrieril1-0/+3
2020-11-20release: dhall version 0.9.0Nadrieril1-1/+1
2020-11-01Untangle caching codeNadrieril1-2/+3
2020-10-28release: dhall version 0.8.0Nadrieril1-1/+1
2020-10-25Release dhall version 0.7.4Nadrieril1-1/+1
2020-10-24Release dhall version 0.7.2Nadrieril1-1/+1
2020-09-15Release dhall version 0.7.0Nadrieril1-1/+1
2020-08-05Release dhall version 0.6.0Nadrieril1-1/+1
2020-06-24refactor: remove old test harnessNadrieril1-2/+0
2020-05-30Release dhall version 0.5.3Nadrieril1-1/+1
2020-04-12Release dhall version 0.5.2Nadrieril1-1/+1
2020-04-09Release dhall version 0.5.1Nadrieril1-1/+1
2020-04-06Move builtins module up a levelNadrieril1-0/+1
2020-04-06Extract operation-related code to a new moduleNadrieril1-0/+1
2020-04-05Release dhall version 0.5.0Nadrieril1-1/+1
2020-04-05Fix clippy warningsNadrieril1-0/+3
2020-03-31Introduce option builderNadrieril1-0/+3
2020-03-31Move Value, SimpleValue and SimpleType to serdeNadrieril1-63/+3
2020-03-31Brutally make all of dhall pubNadrieril1-15/+15
2020-03-31Nir::normalize isn't usefulNadrieril1-1/+3
2020-03-31Move conversion to SimpleVal/Ty to simple moduleNadrieril1-2/+2
2020-03-31Remove top-level Expr aliasesNadrieril1-13/+9
2020-03-31Limit dependency on NormalizedNadrieril1-66/+10
2020-03-31Remove Normalized and friends from public APINadrieril1-28/+14
2020-03-31Add new Value type in APINadrieril1-4/+60
2020-03-31Add SimpleType to mirror SimpleValueNadrieril1-1/+5
2020-03-31Add SimpleValue type to facilitate deserializationNadrieril1-2/+8
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 featureNadrieril1-1/+0
2020-03-17Run clippyNadrieril1-6/+4
2020-03-05Implement remote imports and cleanup import chainingNadrieril1-2/+6
2020-02-21Cut releaseNadrieril1-1/+1
2020-02-19Avoid re-typechecking after importNadrieril1-0/+3
2020-02-18Remove useless `normalize` option from ToExprOptionsNadrieril1-15/+4
2020-02-18Borrow relevant Hir from TirNadrieril1-7/+18
2020-02-17Rename Value to NirNadrieril1-19/+17
2020-02-17Rename TyExpr to TirNadrieril1-4/+2
2020-02-15Introduce proper Type structNadrieril1-1/+1
2020-02-13TyExpr always carries a typeNadrieril1-1/+1
2020-02-11Remove the Embed variant from ExprKindNadrieril1-4/+4
2020-02-09Take Hir for typecheckNadrieril1-3/+7
2020-02-09Resolve variables alongside import resolutionNadrieril1-9/+16