summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-08-26Tweak tests to avoid double compilationNadrieril1-1/+0
2019-08-15Disable some unused unstable featuresNadrieril1-6/+0
2019-08-13Move api into its own crateNadrieril1-110/+2
2019-05-12clippyNadrieril1-1/+3
2019-05-09Rewrite Deserialize trait around new Value and TypeNadrieril1-1/+0
2019-05-09Rewrite the StaticType trait and everything around itNadrieril1-5/+5
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-0/+1
2019-05-06Move main datatypes into their own modulesNadrieril1-3/+5
2019-05-06Move api-related modules into an api moduleNadrieril1-38/+3
2019-05-06Consolidate errors in the error moduleNadrieril1-1/+0
2019-05-06Reorganize dhall into a phase structureNadrieril1-9/+2
2019-05-04Rename dhall_generator to dhall_proc_macrosNadrieril1-1/+1
2019-04-30Pass references when possibleNadrieril1-0/+1
2019-04-21Prepare for interop between two contextsNadrieril1-0/+1
2019-04-19Start separating normalized values from syntactic expressionsNadrieril1-0/+1
2019-04-15rustfmtNadrieril1-4/+4
2019-04-14Namespace deserialization functions in a `de` submoduleNadrieril1-40/+44
2019-04-14clippyNadrieril1-1/+2
2019-04-13docs: document import resolution rootNadrieril1-4/+6
2019-04-13Document all of the APINadrieril1-1/+16
2019-04-12Restrict public API to its most minimal expressionNadrieril1-4/+4
2019-04-11Abstract get_type() into a traitNadrieril1-3/+3