summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/printer.rs (unfollow)
Commit message (Expand)AuthorFilesLines
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-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
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
2019-05-04Revert "Recover arrow type detection"Nadrieril1-33/+18
2019-05-04Recover arrow type detectionNadrieril1-18/+33
2019-05-04Make SubExpr generic in the variable labels typeNadrieril1-17/+27
2019-05-04Move `Note`s into the spine of the ASTNadrieril1-8/+2
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-0/+0
2019-05-02Update dhall-lang submoduleNadrieril1-4/+24
2019-05-02Update dhall-lang submoduleNadrieril1-4/+6
2019-04-20An empty optional value is purely semanticNadrieril1-8/+3
2019-04-19A union constructor is a purely semantic valueNadrieril1-10/+0
2019-04-19Make App() only store one argumentNadrieril1-10/+3
2019-04-17Normalize union constructorsNadrieril1-2/+12
2019-04-16Prepare for nullary union variantsNadrieril1-2/+9
2019-04-15Handle empty optionals correctlyNadrieril1-0/+8
2019-04-13Rework Expr printer with better separation of concernsNadrieril1-142/+136
2019-04-11`Some` is not a builtin, it's a keywordNadrieril1-1/+0
2019-04-08clippyNadrieril1-1/+1
2019-03-31Make Expr generic in LabelNadrieril1-1/+1
2019-03-31Remove evil Deref implNadrieril1-0/+10
2019-03-31Move recursion out of ExprNadrieril1-4/+4
2019-03-31Make SubExpr a newtypeNadrieril1-0/+6
2019-03-24Parser import hash and headersNadrieril1-2/+21
2019-03-24Fix printer putting unnecessary parensNadrieril1-1/+1
2019-03-24Refactor printerNadrieril1-210/+225
2019-03-23Handle merge and record projectionNadrieril1-0/+5
2019-03-23Parse unicode escapes in stringNadrieril1-7/+13
2019-03-22Handle quoted labelsNadrieril1-0/+15
2019-03-22Parse a lot more of the import typesNadrieril1-1/+48
2019-03-21Improve import handling in parserNadrieril1-1/+13
2019-03-21Follow the spec for handling DoublesNadrieril1-1/+17
2019-03-21oopsNadrieril1-0/+329