summaryrefslogtreecommitdiff
path: root/dhall_proc_macros (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rewrite the StaticType trait and everything around itNadrieril2019-05-092-38/+34
|
* ExprF need not be generic in LabelNadrieril2019-05-091-4/+2
|
* Detect duplicate record fields in typecheckNadrieril2019-05-091-7/+8
|
* Clean up some of the SubExpr type-changing methodsNadrieril2019-05-071-5/+5
|
* Fix deriveNadrieril2019-05-071-2/+2
|
* Thread Spans through the ASTNadrieril2019-05-041-1/+1
|
* Move `Note`s into the spine of the ASTNadrieril2019-05-041-3/+1
|
* Remove dummy lifetimesNadrieril2019-05-041-2/+2
|
* Rename dhall_generator to dhall_proc_macrosNadrieril2019-05-044-0/+449