summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Tweak tests to avoid double compilationNadrieril2019-08-261-1/+0
|
* Disable some unused unstable featuresNadrieril2019-08-151-6/+0
|
* Move api into its own crateNadrieril2019-08-131-110/+2
|
* clippyNadrieril2019-05-121-1/+3
|
* Rewrite Deserialize trait around new Value and TypeNadrieril2019-05-091-1/+0
|
* Rewrite the StaticType trait and everything around itNadrieril2019-05-091-5/+5
|
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-0/+1
|
* Move main datatypes into their own modulesNadrieril2019-05-061-3/+5
|
* Move api-related modules into an api moduleNadrieril2019-05-061-38/+3
|
* Consolidate errors in the error moduleNadrieril2019-05-061-1/+0
|
* Reorganize dhall into a phase structureNadrieril2019-05-061-9/+2
|
* Rename dhall_generator to dhall_proc_macrosNadrieril2019-05-041-1/+1
|
* Pass references when possibleNadrieril2019-04-301-0/+1
|
* Prepare for interop between two contextsNadrieril2019-04-211-0/+1
|
* Start separating normalized values from syntactic expressionsNadrieril2019-04-191-0/+1
|
* rustfmtNadrieril2019-04-151-4/+4
|
* Namespace deserialization functions in a `de` submoduleNadrieril2019-04-141-40/+44
| | | | Closes #73
* clippyNadrieril2019-04-141-1/+2
|
* docs: document import resolution rootNadrieril2019-04-131-4/+6
|
* Document all of the APINadrieril2019-04-131-1/+16
| | | | Closes #64
* Restrict public API to its most minimal expressionNadrieril2019-04-121-4/+4
|
* Abstract get_type() into a traitNadrieril2019-04-111-3/+3
|