Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Upgrade rust toolchain | Nadrieril | 2019-09-03 | 1 | -1/+1 |
| | |||||
* | Improve hygiene of identifiers | Nadrieril | 2019-09-02 | 1 | -13/+20 |
| | |||||
* | Parse polymorphically in the Embed parameter | Nadrieril | 2019-09-02 | 1 | -31/+52 |
| | |||||
* | Separate both parser proc_macros into their own files | Nadrieril | 2019-09-02 | 3 | -90/+95 |
| | |||||
* | Use proper hygiene for `Parsers` and `Rule` | Nadrieril | 2019-09-02 | 2 | -17/+36 |
| | |||||
* | Properly parse the argument of make_parser as an impl | Nadrieril | 2019-09-02 | 1 | -99/+62 |
| | |||||
* | Get rid of EntryPoint magic | Nadrieril | 2019-09-02 | 2 | -125/+32 |
| | |||||
* | Avoid use of bind_by_move_pattern_guards feature | Nadrieril | 2019-09-02 | 1 | -2/+9 |
| | |||||
* | Make make_parser into a proc_macro_attribute | Nadrieril | 2019-09-01 | 2 | -6/+10 |
| | | | | That way rustfmt will format the contents of the parser. | ||||
* | Change parser macros to use a function-like syntax | Nadrieril | 2019-09-01 | 2 | -250/+252 |
| | | | | This makes the parser code look much less magical. | ||||
* | Rewrite the make_parser macro as a proc_macro | Nadrieril | 2019-09-01 | 3 | -3/+410 |
| | |||||
* | dhall_proc_macros actually does not depend on dhall_syntax anymore | Nadrieril | 2019-08-16 | 2 | -2/+0 |
| | |||||
* | Rework API to resemble that of serde_json | Nadrieril | 2019-08-13 | 1 | -7/+7 |
| | |||||
* | Merge `Type` and `Value` in serde_dhall | Nadrieril | 2019-08-13 | 1 | -3/+3 |
| | | | | There was no point in separating them | ||||
* | Move api into its own crate | Nadrieril | 2019-08-13 | 1 | -7/+7 |
| | |||||
* | Remove dhall::expr!() macro | Nadrieril | 2019-08-10 | 2 | -234/+0 |
| | | | | It's a lot of hassle for not a lot of benefit | ||||
* | Write a custom map type that allows duplicates | Nadrieril | 2019-05-10 | 1 | -7/+6 |
| | |||||
* | Rewrite the StaticType trait and everything around it | Nadrieril | 2019-05-09 | 2 | -38/+34 |
| | |||||
* | ExprF need not be generic in Label | Nadrieril | 2019-05-09 | 1 | -4/+2 |
| | |||||
* | Detect duplicate record fields in typecheck | Nadrieril | 2019-05-09 | 1 | -7/+8 |
| | |||||
* | Clean up some of the SubExpr type-changing methods | Nadrieril | 2019-05-07 | 1 | -5/+5 |
| | |||||
* | Fix derive | Nadrieril | 2019-05-07 | 1 | -2/+2 |
| | |||||
* | Thread Spans through the AST | Nadrieril | 2019-05-04 | 1 | -1/+1 |
| | |||||
* | Move `Note`s into the spine of the AST | Nadrieril | 2019-05-04 | 1 | -3/+1 |
| | |||||
* | Remove dummy lifetimes | Nadrieril | 2019-05-04 | 1 | -2/+2 |
| | |||||
* | Rename dhall_generator to dhall_proc_macros | Nadrieril | 2019-05-04 | 4 | -0/+449 |