summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
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.rsNadrieril6-3/+283
2019-12-15Move contents of dhall_syntax to dhallNadrieril14-7/+3118
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 errorNadrieril6-3/+59
2019-11-11rustfmtNadrieril2-3/+9
2019-11-11Remove unused error textsNadrieril34-1765/+0
2019-11-11typoNadrieril1-2/+2
2019-11-11Parse projection by expressionNadrieril4-22/+13
2019-11-11Explain TypeError testsNadrieril1-0/+3
2019-11-11Add a few more pretty errorsNadrieril11-17/+45
2019-11-11Propagate more spansNadrieril2-5/+9
2019-11-11Move "Type error" error prefixNadrieril4-13/+17
2019-11-11Update rust toolchainNadrieril1-1/+0
2019-11-11Display first pretty type errorNadrieril6-9/+47
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 TypeErrorNadrieril88-130/+105
2019-11-11Test type error messagesNadrieril89-8/+150
2019-11-11Generate import tests automaticallyNadrieril4-64/+57
2019-11-11Remove unused "typecheck" testsNadrieril1-21/+0
2019-11-11Run `cargo fmt`Nadrieril3-53/+65
2019-09-20Update dhall-lang submoduleNadrieril1-1/+7
2019-09-20Update dhall-lang submoduleNadrieril1-39/+13
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