summaryrefslogtreecommitdiff
path: root/dhall_proc_macros/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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-043-0/+432