summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/parser.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
...
| * Implement inline headers parsingNadrieril2019-08-131-14/+14
| * Store Imports in their own node instead of in EmbedNadrieril2019-08-131-7/+7
| * No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-35/+4
* | Remove the notion of Directory and have File be the vector of componentsFintan Halpenny2019-09-021-17/+6
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-121-70/+76
|\|
| * Add support for dependent typesNadrieril2019-08-081-0/+12
| * Add truncated Natural subtractionNadrieril2019-08-071-0/+1
| * Remove union literals from the languageNadrieril2019-08-071-48/+3
| * Forbid surrogate pairs and non-charactersNadrieril2019-08-071-2/+21
| * Sort labels in projection expressionsNadrieril2019-08-071-3/+3
| * Generalize empty list annotationsNadrieril2019-08-061-4/+6
| * Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-1/+2
| * Add toMap keywordNadrieril2019-08-061-0/+1
| * RFC3986 URLsNadrieril2019-08-061-0/+7
| * Braced escape sequencesNadrieril2019-08-061-4/+24
| * Remove old-style optional literalsNadrieril2019-08-061-15/+3
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-121-13/+28
|/
* Update dhall-lang submoduleNadrieril2019-08-031-0/+1
* Update dhall-lang submoduleNadrieril2019-08-031-5/+13
* clippyNadrieril2019-05-121-2/+2
* Implement binary encodingNadrieril2019-05-121-7/+6
* Write a custom map type that allows duplicatesNadrieril2019-05-101-23/+14
* Detect duplicate record fields in typecheckNadrieril2019-05-091-14/+23
* Update dhall-lang submoduleNadrieril2019-05-091-27/+56
* Rename the record combining operators internallyNadrieril2019-05-081-3/+3
* Thread Spans through the ASTNadrieril2019-05-041-82/+80
* Move `Note`s into the spine of the ASTNadrieril2019-05-041-1/+1
* Remove dummy lifetimesNadrieril2019-05-041-58/+55
* Replace pest::Span with a custom non-borrowing implementationNadrieril2019-05-041-25/+50
* Rename dhall_core to dhall_syntaxNadrieril2019-05-041-0/+984