summaryrefslogtreecommitdiff
path: root/dhall/src/syntax/text/printer.rs (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-10-28No need to escape underscores in pretty-printingNadrieril1-1/+3
2020-09-14spec: Enable `with` optimizationsNadrieril1-0/+4
2020-06-25spec: allow quoted labels to be emptyNadrieril1-1/+3
2020-04-09Move Label escaping out of its Display implNadrieril1-21/+33
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril1-43/+5
2020-04-06Extract operation-related code to a new moduleNadrieril1-5/+6
2020-04-06Split off operations from main expr enumNadrieril1-61/+80
2020-03-31Rename LitKind to NumKindNadrieril1-3/+3
2020-03-20Remove more unnecessary parens in printerNadrieril1-8/+13
2020-03-17Run clippyNadrieril1-1/+1
2020-03-11Implement record punsNadrieril1-1/+1
2020-03-05Implement remote imports and cleanup import chainingNadrieril1-1/+1
2020-03-05Implement remote `as Location` resolutionNadrieril1-1/+1
2020-02-11Introduce LitKind to factor out common enum nodesNadrieril1-10/+20
2020-02-11Remove the Embed variant from ExprKindNadrieril1-9/+8
2020-01-29Cleanup variable handlingNadrieril1-1/+1
2019-12-23Add two new Integer builtinsNadrieril1-0/+2
2019-12-22rustfmtNadrieril1-4/+7
2019-12-22Implement parsing for record completionNadrieril1-8/+12
2019-12-22Update dhall-lang submoduleNadrieril1-0/+2
2019-12-20Fix some commentsNadrieril1-2/+2
2019-12-20s/RawExpr/UnspannedExpr/Nadrieril1-1/+1
2019-12-20Reorganize printerNadrieril1-135/+132
2019-12-20s/ExprF/ExprKind/Nadrieril1-10/+10
2019-12-19Rename syntax::core to syntax::astNadrieril1-1/+1
2019-12-17Split syntax module between text and binaryNadrieril1-0/+0
2019-12-15Move contents of dhall_syntax to dhallNadrieril1-7/+7
2019-11-11Parse projection by expressionNadrieril1-1/+7
2019-11-11Run `cargo fmt`Nadrieril1-2/+5
2019-08-31Don't URL-decode path segmentsNadrieril1-17/+5
2019-08-31Implement parsing of `toMap` keywordNadrieril1-0/+11
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril1-3/+3
For clarity, and consistency with Value
2019-08-13Implement inline headers parsingNadrieril1-10/+3
2019-08-13Store Imports in their own node instead of in EmbedNadrieril1-5/+11
2019-08-13Considerably simplify Embed handlingNadrieril1-1/+1
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril1-6/+0
2019-08-13No need to track the absence of `Span`s at the type levelNadrieril1-6/+6
2019-08-12Refactor of File to be the combination of Directory and the file name,FintanH1-4/+6
where Directory is the Vector of component paths. The refactor meant changing some sections of the code where we were parsing and manipulating Files/Directories. This also includes a new trait Canonicalization which is needed for import logic.
2019-08-08Add support for dependent typesNadrieril1-0/+4
2019-08-07Add truncated Natural subtractionNadrieril1-0/+1
2019-08-07Remove union literals from the languageNadrieril1-10/+0
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril1-2/+1
2019-08-06RFC3986 URLsNadrieril1-0/+1
2019-08-06Remove old-style optional literalsNadrieril1-8/+0
2019-08-03Update dhall-lang submoduleNadrieril1-1/+3
2019-05-12Implement binary encodingNadrieril1-11/+18
Closes #39
2019-05-09ExprF need not be generic in LabelNadrieril1-2/+2
2019-05-08Rename the record combining operators internallyNadrieril1-3/+3
2019-05-08Implement normalization of missing builtinsNadrieril1-1/+12
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril1-27/+17
This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 11:31:34 +0000