summaryrefslogtreecommitdiff
path: root/dhall_proc_macros (follow)
Commit message (Expand)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