summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/printer.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Run `cargo fmt`Nadrieril2019-11-111-2/+5
|
* Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-021-48/+38
|\
| * Don't URL-decode path segmentsNadrieril2019-08-311-17/+5
| |
| * Implement parsing of `toMap` keywordNadrieril2019-08-311-0/+11
| |
| * Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-3/+3
| | | | | | | | For clarity, and consistency with Value
| * Implement inline headers parsingNadrieril2019-08-131-10/+3
| |
| * Store Imports in their own node instead of in EmbedNadrieril2019-08-131-5/+11
| |
| * Considerably simplify Embed handlingNadrieril2019-08-131-1/+1
| |
| * Stop tracking the absence of Embed values at the type levelNadrieril2019-08-131-6/+0
| |
| * No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-6/+6
| |
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-121-20/+7
|\|
| * Add support for dependent typesNadrieril2019-08-081-0/+4
| |
| * Add truncated Natural subtractionNadrieril2019-08-071-0/+1
| |
| * Remove union literals from the languageNadrieril2019-08-071-10/+0
| |
| * Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-2/+1
| |
| * RFC3986 URLsNadrieril2019-08-061-0/+1
| |
| * Remove old-style optional literalsNadrieril2019-08-061-8/+0
| |
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-121-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.
* Update dhall-lang submoduleNadrieril2019-08-031-1/+3
|
* Implement binary encodingNadrieril2019-05-121-11/+18
| | | | Closes #39
* ExprF need not be generic in LabelNadrieril2019-05-091-2/+2
|
* Rename the record combining operators internallyNadrieril2019-05-081-3/+3
|
* Implement normalization of missing builtinsNadrieril2019-05-081-1/+12
|
* Move `Note`s into the spine of the ASTNadrieril2019-05-041-8/+2
|
* Rename dhall_core to dhall_syntaxNadrieril2019-05-041-0/+498