summaryrefslogtreecommitdiff
path: root/dhall_syntax/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove the notion of Directory and have File be the vector of componentsFintan Halpenny2019-09-022-53/+19
* Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-126-107/+254
|\
| * Add support for dependent typesNadrieril2019-08-084-1/+22
| * Add truncated Natural subtractionNadrieril2019-08-073-0/+3
| * Remove union literals from the languageNadrieril2019-08-074-63/+3
| * Forbid surrogate pairs and non-charactersNadrieril2019-08-071-2/+21
| * Sort labels in projection expressionsNadrieril2019-08-073-5/+100
| * Generalize empty list annotationsNadrieril2019-08-062-5/+7
| * Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-062-3/+3
| * Add toMap keywordNadrieril2019-08-061-0/+1
| * RFC3986 URLsNadrieril2019-08-063-0/+9
| * Braced escape sequencesNadrieril2019-08-061-4/+24
| * Add some new tests and implement import alternativesNadrieril2019-08-062-0/+64
| * Remove old-style optional literalsNadrieril2019-08-064-31/+3
| * Inline headersNadrieril2019-08-061-0/+1
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-123-19/+154
|/
* Update dhall-lang submoduleNadrieril2019-08-031-0/+1
* Update dhall-lang submoduleNadrieril2019-08-033-9/+18
* TweakNadrieril2019-05-121-12/+12
* clippyNadrieril2019-05-123-5/+4
* Implement binary encodingNadrieril2019-05-125-50/+106
* oopsNadrieril2019-05-101-0/+1
* Write a custom map type that allows duplicatesNadrieril2019-05-105-39/+215
* Small utility SubExpr::from_builtinNadrieril2019-05-091-0/+4
* ExprF need not be generic in LabelNadrieril2019-05-093-194/+94
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-9/+13
* Detect duplicate record fields in typecheckNadrieril2019-05-093-31/+37
* Update dhall-lang submoduleNadrieril2019-05-092-27/+68
* Rename the record combining operators internallyNadrieril2019-05-083-11/+11
* Implement normalization of missing builtinsNadrieril2019-05-081-1/+12
* Don't discard normalization work done by typecheckingNadrieril2019-05-071-1/+1
* Reorganize dhall_syntaxNadrieril2019-05-078-8/+12
* Clean up some of the SubExpr type-changing methodsNadrieril2019-05-072-108/+16
* We actually don't need SubExpr::shift anymoreNadrieril2019-05-041-81/+0
* Revert "Make SubExpr generic in the variable labels type"Nadrieril2019-05-044-218/+187
* Revert "Recover arrow type detection"Nadrieril2019-05-042-47/+19
* Recover arrow type detectionNadrieril2019-05-042-19/+47
* Make SubExpr generic in the variable labels typeNadrieril2019-05-044-187/+218
* Thread Spans through the ASTNadrieril2019-05-043-127/+139
* Move `Note`s into the spine of the ASTNadrieril2019-05-044-235/+80
* 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-049-0/+3034