summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-17Tiny clarificationNadrieril1-13/+10
2020-01-17s/TypecheckContext/TyCtx/Nadrieril4-30/+19
2020-01-17Make TypecheckContext a named structNadrieril1-9/+11
2020-01-17TypecheckContext doesn't need RcNadrieril1-14/+18
2020-01-17TypecheckContext doesn't need PartialEqNadrieril1-9/+0
2020-01-16releaseNadrieril1-1/+1
2020-01-16Deserialize more typesNadrieril1-0/+4
2019-12-27Update dhall-lang submoduleNadrieril1-8/+7
2019-12-24Ensure normalization respects var names on the noseNadrieril2-18/+13
2019-12-24Ensure inferred type is always in normal formNadrieril4-7/+19
2019-12-24Ensure the output of type inference matches the spec variable namesNadrieril2-9/+9
2019-12-24Release new versionNadrieril1-1/+1
2019-12-24Extend merge to work on OptionalsNadrieril5-5/+47
2019-12-24Add debug output to unhandled type error messageNadrieril1-1/+1
2019-12-23Update dhall-lang submoduleNadrieril1-10/+18
2019-12-23Update dhall-lang submoduleNadrieril2-13/+14
2019-12-23Add two new Integer builtinsNadrieril5-0/+20
2019-12-22Update dhall-lang submoduleNadrieril1-77/+42
2019-12-22rustfmtNadrieril2-7/+8
2019-12-22Implement parsing for record completionNadrieril9-8/+52
2019-12-22Update dhall-lang submoduleNadrieril1-0/+2
2019-12-22Update dhall-lang submoduleNadrieril2-1/+10
2019-12-21Bump dhall versionNadrieril1-1/+1
2019-12-21Generate parser manually to make the crate publishableNadrieril1-3/+9
2019-12-21Prepare for publishing on crates.ioNadrieril1-0/+1
2019-12-20Simplify iterator impls for DupTreeMapNadrieril1-172/+115
2019-12-20Use smallvec instead of custom structNadrieril1-77/+22
2019-12-20Move ValueKind into value.rsNadrieril8-279/+269
2019-12-20Reorder value.rsNadrieril1-81/+81
2019-12-20Fix some commentsNadrieril2-11/+4
2019-12-20Remove Expr::as_mutNadrieril1-9/+6
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril5-14/+19
2019-12-20Reorganize printerNadrieril1-135/+132
2019-12-20Use a named struct instead of a tuple in ExprNadrieril1-10/+19
2019-12-20Remove an unused implNadrieril1-7/+1
2019-12-20Reorganize ast::exprNadrieril1-75/+76
2019-12-20s/ExprF/ExprKind/Nadrieril11-148/+156
2019-12-20Move error module to root of crateNadrieril12-10/+10
2019-12-19Move out conversion from value back to ast to its own fileNadrieril5-91/+125
2019-12-19Rename ValueF to ValueKindNadrieril9-513/+523
2019-12-19Rename syntax::core to syntax::astNadrieril11-14/+13
2019-12-19Remove unused syntax::context moduleNadrieril3-82/+0
2019-12-17TypoNadrieril1-1/+1
2019-12-17Split binary decoding and encoding into separate filesNadrieril4-319/+328
2019-12-17Split syntax module between text and binaryNadrieril6-4/+7
2019-12-17Specialize parsingNadrieril2-87/+66
2019-12-17Move binary encoding/decoding to syntax/Nadrieril4-2/+3
2019-12-17Move pest file generation to dhall/build.rsNadrieril3-1/+184
2019-12-15Move contents of dhall_syntax to dhallNadrieril13-3/+3108
2019-12-15Refer to semantics module properlyNadrieril12-46/+44