summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Release dhall version 0.5.2Nadrieril2020-04-121-1/+1
|
* Release dhall version 0.5.1Nadrieril2020-04-091-1/+1
|
* Move builtins module up a levelNadrieril2020-04-061-0/+1
|
* Extract operation-related code to a new moduleNadrieril2020-04-061-0/+1
|
* Release dhall version 0.5.0Nadrieril2020-04-051-1/+1
|
* Fix clippy warningsNadrieril2020-04-051-0/+3
|
* Introduce option builderNadrieril2020-03-311-0/+3
|
* Move Value, SimpleValue and SimpleType to serdeNadrieril2020-03-311-63/+3
|
* Brutally make all of dhall pubNadrieril2020-03-311-15/+15
|
* Nir::normalize isn't usefulNadrieril2020-03-311-1/+3
| | | | | It pretends to normalize but actually can't normalize under lambdas. The correct way to normalize a Nir is to convert it to Hir.
* Move conversion to SimpleVal/Ty to simple moduleNadrieril2020-03-311-2/+2
|
* Remove top-level Expr aliasesNadrieril2020-03-311-13/+9
|
* Limit dependency on NormalizedNadrieril2020-03-311-66/+10
|
* Remove Normalized and friends from public APINadrieril2020-03-311-28/+14
|
* Add new Value type in APINadrieril2020-03-311-4/+60
|
* Add SimpleType to mirror SimpleValueNadrieril2020-03-311-1/+5
|
* Add SimpleValue type to facilitate deserializationNadrieril2020-03-311-2/+8
|
* Update to latest pest_consume to remove spurious clippy warningNadrieril2020-03-181-1/+0
|
* Cut releaseNadrieril2020-03-181-1/+1
|
* Remove never_type featureNadrieril2020-03-171-1/+0
|
* Run clippyNadrieril2020-03-171-6/+4
|
* Implement remote imports and cleanup import chainingNadrieril2020-03-051-2/+6
|
* Cut releaseNadrieril2020-02-211-1/+1
|
* Avoid re-typechecking after importNadrieril2020-02-191-0/+3
|
* Remove useless `normalize` option from ToExprOptionsNadrieril2020-02-181-15/+4
|
* Borrow relevant Hir from TirNadrieril2020-02-181-7/+18
|
* Rename Value to NirNadrieril2020-02-171-19/+17
|
* Rename TyExpr to TirNadrieril2020-02-171-4/+2
|
* Introduce proper Type structNadrieril2020-02-151-1/+1
|
* TyExpr always carries a typeNadrieril2020-02-131-1/+1
|
* Remove the Embed variant from ExprKindNadrieril2020-02-111-4/+4
|
* Take Hir for typecheckNadrieril2020-02-091-3/+7
|
* Resolve variables alongside import resolutionNadrieril2020-02-091-9/+16
|
* Remove move type propagation through ValueNadrieril2020-02-091-22/+10
|
* Upgrade Rust toolchainNadrieril2020-02-091-2/+0
|
* Massively deduplicate test harnessNadrieril2020-02-091-0/+11
|
* Remove type parameter from ValueKindNadrieril2020-01-301-4/+1
|
* Move parse and resolve up a levelNadrieril2020-01-301-3/+3
|
* Move main API to lib.rsNadrieril2020-01-301-0/+244
|
* releaseNadrieril2020-01-161-1/+1
|
* Release new versionNadrieril2019-12-241-1/+1
|
* Bump dhall versionNadrieril2019-12-211-1/+1
|
* Prepare for publishing on crates.ioNadrieril2019-12-211-0/+1
|
* Move error module to root of crateNadrieril2019-12-201-0/+1
|
* Move contents of dhall_syntax to dhallNadrieril2019-12-151-3/+1
|
* Refer to semantics module properlyNadrieril2019-12-151-2/+0
|
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-3/+2
|
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-151-0/+4
|
* Update rust toolchainNadrieril2019-11-111-1/+0
|
* Generate import tests automaticallyNadrieril2019-11-111-1/+0
|