summaryrefslogtreecommitdiff
path: root/dhall_generator (follow)
Commit message (Expand)AuthorAgeFilesLines
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-091-27/+57
* Obey clippy lintsNadrieril2019-03-091-8/+7
* Remove the pervasive Label type parameterNadrieril2019-03-091-4/+4
* Use new Label type everywhereNadrieril2019-03-091-8/+8
* Use new Label type instead of &str in parserNadrieril2019-03-091-2/+2
* Rename dhall! to dhall_expr! for clarityNadrieril2019-03-091-1/+1
* Clean up some of the messNadrieril2019-03-081-2/+2
* Rename Expr back to its true nameNadrieril2019-03-081-6/+6
* Finally get rid of all the &'i strNadrieril2019-03-081-2/+2
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-081-8/+6
* Generalise Context on its type of keysNadrieril2019-03-081-10/+14
* Make Expr generic in its type of labelsNadrieril2019-03-081-2/+2
* rustfmtNadrieril2019-03-061-1/+2
* Finally get rid of old parserNadrieril2019-03-061-1/+1
* Start parsing importsNadrieril2019-03-061-1/+3
* Handle correctly captured variables in dhall!Nadrieril2019-03-061-34/+56
* rustfmtNadrieril2019-03-061-20/+23
* Simplify normalization using dhall! macroNadrieril2019-03-061-7/+24
* Add proc_macro the generated dhall expressionsNadrieril2019-03-062-0/+102