summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #119 from Nadrieril/seal-traitNadrieril Feneanar2019-12-202-2/+9
|\ | | | | Seal `Deserialize` trait
| * Seal `Deserialize` traitNadrieril2019-12-202-2/+9
|/ | | | Fixes #81
* Merge pull request #118 from Nadrieril/clarify-typesNadrieril Feneanar2019-12-2031-1052/+1007
|\ | | | | Clarify naming and file organization
| * Move ValueKind into value.rsNadrieril2019-12-208-279/+269
| |
| * Reorder value.rsNadrieril2019-12-201-81/+81
| |
| * Fix some commentsNadrieril2019-12-202-11/+4
| |
| * Remove Expr::as_mutNadrieril2019-12-201-9/+6
| |
| * s/RawExpr/UnspannedExpr/Nadrieril2019-12-205-14/+19
| |
| * Reorganize printerNadrieril2019-12-201-135/+132
| |
| * Use a named struct instead of a tuple in ExprNadrieril2019-12-201-10/+19
| |
| * Remove an unused implNadrieril2019-12-201-7/+1
| |
| * Reorganize ast::exprNadrieril2019-12-201-75/+76
| |
| * s/ExprF/ExprKind/Nadrieril2019-12-2012-150/+158
| |
| * Move error module to root of crateNadrieril2019-12-2013-12/+12
| |
| * Move out conversion from value back to ast to its own fileNadrieril2019-12-195-91/+125
| |
| * Rename ValueF to ValueKindNadrieril2019-12-199-513/+523
| |
| * Rename syntax::core to syntax::astNadrieril2019-12-1911-14/+13
| |
| * Remove unused syntax::context moduleNadrieril2019-12-193-82/+0
|/
* Merge pull request #117 from Nadrieril/merge-cratesNadrieril Feneanar2019-12-1946-762/+658
|\ | | | | Merge a bunch of sub-crates
| * TypoNadrieril2019-12-171-1/+1
| |
| * Split binary decoding and encoding into separate filesNadrieril2019-12-174-319/+328
| |
| * Split syntax module between text and binaryNadrieril2019-12-176-4/+7
| |
| * Specialize parsingNadrieril2019-12-172-87/+66
| |
| * Move binary encoding/decoding to syntax/Nadrieril2019-12-174-2/+3
| |
| * Remove dhall_syntax crateNadrieril2019-12-175-53/+0
| |
| * Move pest file generation to dhall/build.rsNadrieril2019-12-1710-94/+101
| |
| * Move contents of dhall_syntax to dhallNadrieril2019-12-1516-57/+59
| |
| * Refer to semantics module properlyNadrieril2019-12-1514-50/+48
| |
| * Avoid mention of `crate::` outside of top-level importsNadrieril2019-12-1511-74/+63
| |
| * fixup! Reexport dhall_syntax as a module in dhallNadrieril2019-12-152-3/+5
| |
| * Move contents of dhall under a semantics submoduleNadrieril2019-12-1514-3/+5
| |
| * Reexport dhall_syntax as a module in dhallNadrieril2019-12-1515-44/+48
| |
| * Merge dhall_generated_parser into dhall_syntaxNadrieril2019-12-1310-51/+6
| |
| * Derive Parser in dhall_syntax directlyNadrieril2019-12-133-5/+3
|/
* Silence a macro-generated warningNadrieril2019-12-131-0/+1
|
* dhall_syntax doesn't use dhall_proc_macrosNadrieril2019-11-112-2/+0
|
* Add more detail to TypeMismatch errorNadrieril2019-11-116-3/+59
|
* rustfmtNadrieril2019-11-113-4/+12
|
* Remove unused error textsNadrieril2019-11-1134-1765/+0
| | | | | Those were copied from dhall-haskell back before I (Nadrieril) forked dhall-rust from Nanotech. They have never been used.
* typoNadrieril2019-11-111-2/+2
|
* Merge pull request #115 from Nadrieril/parse-selection-be-exprNadrieril Feneanar2019-11-118-35/+42
|\ | | | | Parse projection by expression
| * Parse projection by expressionNadrieril2019-11-118-35/+42
|/
* Merge pull request #114 from Nadrieril/nice-type-errorsNadrieril Feneanar2019-11-1198-125/+385
|\ | | | | Ground work for pretty type errors
| * Explain TypeError testsNadrieril2019-11-111-0/+3
| |
| * Ensure spans are compatible in Span::unionNadrieril2019-11-111-5/+7
| |
| * Add a few more pretty errorsNadrieril2019-11-1112-18/+46
| |
| * Clarify Span::union and add Span::mergeNadrieril2019-11-111-2/+14
| |
| * Propagate more spansNadrieril2019-11-113-8/+9
| |
| * Move "Type error" error prefixNadrieril2019-11-114-13/+17
| |
| * Display first pretty type errorNadrieril2019-11-117-9/+61
| |
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-18 23:18:16 +0000