summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Reorganize dhall_syntaxNadrieril2019-05-071-464/+0
|
* Clean up some of the SubExpr type-changing methodsNadrieril2019-05-071-29/+11
|
* We actually don't need SubExpr::shift anymoreNadrieril2019-05-041-81/+0
|
* Revert "Make SubExpr generic in the variable labels type"Nadrieril2019-05-041-111/+96
| | | | This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
* Revert "Recover arrow type detection"Nadrieril2019-05-041-14/+1
| | | | This reverts commit 153cf8dab3b80aba30ac3adfd44e4be251494ea2.
* Recover arrow type detectionNadrieril2019-05-041-1/+14
|
* Make SubExpr generic in the variable labels typeNadrieril2019-05-041-96/+111
|
* Thread Spans through the ASTNadrieril2019-05-041-40/+53
|
* Move `Note`s into the spine of the ASTNadrieril2019-05-041-41/+28
|
* Rename dhall_core to dhall_syntaxNadrieril2019-05-041-0/+563