summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-11-11typoNadrieril1-2/+2
2019-11-11Parse projection by expressionNadrieril3-0/+12
2019-11-11Explain TypeError testsNadrieril1-0/+3
2019-11-11Add a few more pretty errorsNadrieril2-8/+11
2019-11-11Propagate more spansNadrieril2-5/+9
2019-11-11Move "Type error" error prefixNadrieril1-7/+11
2019-11-11Update rust toolchainNadrieril1-1/+0
2019-11-11Display first pretty type errorNadrieril3-6/+29
2019-11-11Store a `Span` in `Value`Nadrieril2-8/+29
2019-11-11Capture absence of span in Span itselfNadrieril3-4/+15
2019-11-11Implement basicest Display for TypeErrorNadrieril1-43/+18
2019-11-11Test type error messagesNadrieril1-8/+34
2019-11-11Generate import tests automaticallyNadrieril3-64/+15
2019-11-11Remove unused "typecheck" testsNadrieril1-21/+0
2019-11-11Run `cargo fmt`Nadrieril3-53/+65
2019-09-03Add mapping functions to InterpolatedTextContentsNadrieril2-26/+8
2019-09-03Use map_mut in ValueF::normalize_mutNadrieril2-16/+2
2019-09-03Resolve imports by mutating Expr instead of cloning itNadrieril1-19/+22
2019-09-03Move Canonicalize into resolve.Fintan Halpenny2-5/+75