summaryrefslogtreecommitdiff
path: root/dhall_generator (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Refactor printerNadrieril2019-03-241-3/+3
| | | | | Avoids stupid stack overflows when adding variants, gets precedences right, and updates to latest grammar changes
* Represent Optional literals more faithfullyNadrieril2019-03-211-15/+7
|
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-211-2/+2
|
* Reorganize dhall_core a bitNadrieril2019-03-211-12/+12
|
* CI tweaksNadrieril2019-03-191-1/+0
|
* Skip build-only subcrates in code coverageNadrieril2019-03-191-0/+1
|
* Implement a few more primitivesNadrieril2019-03-181-0/+8
|
* Split List literal between empty and non-emptyNadrieril2019-03-181-3/+6
|
* Use Rc consistently everywhereNadrieril2019-03-171-2/+2
|
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-161-7/+8
| | | | Closes #29
* Use Box more uniformly in ASTNadrieril2019-03-161-4/+6
| | | | Closes #28
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-161-3/+3
| | | | Closes #21
* Store a vec in AppNadrieril2019-03-151-1/+1
| | | | Closes #26
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-091-27/+57
| | | | Closes #17
* Obey clippy lintsNadrieril2019-03-091-8/+7
| | | | Closes #14
* Remove the pervasive Label type parameterNadrieril2019-03-091-4/+4
| | | | Closes #1
* 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