summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-12-15Avoid mention of `crate::` outside of top-level importsNadrieril11-74/+63
2019-12-15fixup! Reexport dhall_syntax as a module in dhallNadrieril2-3/+5
2019-12-15Move contents of dhall under a semantics submoduleNadrieril14-3/+5
2019-12-15Reexport dhall_syntax as a module in dhallNadrieril12-41/+45
2019-11-11Add more detail to TypeMismatch errorNadrieril1-3/+14
2019-11-11rustfmtNadrieril2-3/+9
2019-11-11Remove unused error textsNadrieril34-1765/+0