summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs (unfollow)
Commit message (Expand)AuthorFilesLines
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
2020-02-09Remove move type propagation through ValueNadrieril1-22/+10
2020-02-09Upgrade Rust toolchainNadrieril1-2/+0
2020-02-09Massively deduplicate test harnessNadrieril1-0/+11
2020-01-30Remove type parameter from ValueKindNadrieril1-4/+1
2020-01-30Move parse and resolve up a levelNadrieril1-3/+3
2020-01-30Move main API to lib.rsNadrieril1-0/+244
2020-01-16releaseNadrieril1-1/+1
2019-12-24Release new versionNadrieril1-1/+1
2019-12-21Bump dhall versionNadrieril1-1/+1
2019-12-21Prepare for publishing on crates.ioNadrieril1-0/+1
2019-12-20Move error module to root of crateNadrieril1-0/+1
2019-12-15Move contents of dhall_syntax to dhallNadrieril1-3/+1
2019-12-15Refer to semantics module properlyNadrieril1-2/+0
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-3/+2
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril1-0/+4
2019-11-11Update rust toolchainNadrieril1-1/+0
2019-11-11Generate import tests automaticallyNadrieril1-1/+0