Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Clean up some of the SubExpr type-changing methods | Nadrieril | 2019-05-07 | 2 | -108/+16 | |
| | ||||||
* | We actually don't need SubExpr::shift anymore | Nadrieril | 2019-05-04 | 1 | -81/+0 | |
| | ||||||
* | Revert "Make SubExpr generic in the variable labels type" | Nadrieril | 2019-05-04 | 4 | -218/+187 | |
| | | | | This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef. | |||||
* | Revert "Recover arrow type detection" | Nadrieril | 2019-05-04 | 2 | -47/+19 | |
| | | | | This reverts commit 153cf8dab3b80aba30ac3adfd44e4be251494ea2. | |||||
* | Recover arrow type detection | Nadrieril | 2019-05-04 | 2 | -19/+47 | |
| | ||||||
* | Make SubExpr generic in the variable labels type | Nadrieril | 2019-05-04 | 4 | -187/+218 | |
| | ||||||
* | Thread Spans through the AST | Nadrieril | 2019-05-04 | 3 | -127/+139 | |
| | ||||||
* | Move `Note`s into the spine of the AST | Nadrieril | 2019-05-04 | 4 | -235/+80 | |
| | ||||||
* | Remove dummy lifetimes | Nadrieril | 2019-05-04 | 1 | -58/+55 | |
| | ||||||
* | Replace pest::Span with a custom non-borrowing implementation | Nadrieril | 2019-05-04 | 1 | -25/+50 | |
| | ||||||
* | Rename dhall_core to dhall_syntax | Nadrieril | 2019-05-04 | 9 | -0/+3034 | |