summaryrefslogtreecommitdiff
path: root/dhall_syntax (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-09Update dhall-lang submoduleNadrieril2-27/+68
2019-05-08Rename the record combining operators internallyNadrieril3-11/+11
2019-05-08Implement normalization of missing builtinsNadrieril1-1/+12
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-1/+1
2019-05-07Reorganize dhall_syntaxNadrieril8-8/+12
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril2-108/+16
2019-05-04We actually don't need SubExpr::shift anymoreNadrieril1-81/+0
2019-05-04Revert "Make SubExpr generic in the variable labels type"Nadrieril4-218/+187
2019-05-04Revert "Recover arrow type detection"Nadrieril2-47/+19
2019-05-04Recover arrow type detectionNadrieril2-19/+47
2019-05-04Make SubExpr generic in the variable labels typeNadrieril4-187/+218
2019-05-04Thread Spans through the ASTNadrieril3-127/+139
2019-05-04Move `Note`s into the spine of the ASTNadrieril4-235/+80
2019-05-04Remove dummy lifetimesNadrieril1-58/+55
2019-05-04Replace pest::Span with a custom non-borrowing implementationNadrieril1-25/+50
2019-05-04Rename dhall_core to dhall_syntaxNadrieril10-0/+3050