summaryrefslogtreecommitdiff
path: root/dhall_syntax/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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