summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2021-04-10add type substitutions to serde_dhallstuebinm1-0/+5
2021-04-03release: dhall version 0.10.1Nadrieril1-1/+1
2021-04-03clippy: ignore unknown lintsNadrieril1-1/+2
2021-04-03clippy: ignore upper_case_acronymsNadrieril1-2/+3
2021-04-03fix: fix formattingNadrieril1-1/+1
2021-04-03Ignore clippy's needless question mark lint for the ast visitor macros.Ceri Storey1-1/+2
2021-03-09chore: fix clippy warningsNadrieril1-0/+1
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