Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge #1076 | bors[bot] | 2019-04-02 | 8 | -47/+219 |
|\ | | | | | | | | | | | | | | | | | 1076: Const body inference r=flodiebold a=Lapz This is the second part of #887. I've added type inference on const bodies and introduced the DefWithBody containing Function, Const and Static. I want to add tests but im unsure on how I would go about testing that completions work. Co-authored-by: Lenard Pratt <[email protected]> | ||||
| * | made ExprCollector pub(crate) and moved | Lenard Pratt | 2019-04-02 | 2 | -14/+11 |
| | | | | | | | | collect_fn_body_syntax | ||||
| * | Added const bodies and static body to the ast | Lenard Pratt | 2019-04-02 | 8 | -86/+168 |
| | | | | | | | | | | | | and added inference the inference test reduce code duplication | ||||
| * | Added defWithBody | Lenard Pratt | 2019-03-30 | 5 | -24/+117 |
| | | |||||
* | | always produce source for import | Aleksey Kladov | 2019-04-02 | 5 | -24/+62 |
| | | |||||
* | | fix a panic with glob-import missing a source map | Aleksey Kladov | 2019-04-02 | 4 | -23/+14 |
| | | |||||
* | | rename flavor to kind | Aleksey Kladov | 2019-04-02 | 3 | -27/+27 |
| | | |||||
* | | remove flavor | Aleksey Kladov | 2019-04-02 | 1 | -4/+4 |
| | | |||||
* | | intelligently add parens when inlining local varaibles | gfreezy | 2019-04-01 | 1 | -0/+1 |
| | | |||||
* | | switch to new rowan | Aleksey Kladov | 2019-04-01 | 3 | -22/+12 |
|/ | |||||
* | more realistic test for incrementality | Aleksey Kladov | 2019-03-26 | 1 | -5/+22 |
| | |||||
* | reduce visibility | Aleksey Kladov | 2019-03-26 | 2 | -12/+12 |
| | |||||
* | rename | Aleksey Kladov | 2019-03-26 | 6 | -54/+42 |
| | |||||
* | simplify | Aleksey Kladov | 2019-03-26 | 3 | -21/+21 |
| | |||||
* | make stuff private | Aleksey Kladov | 2019-03-26 | 1 | -26/+14 |
| | |||||
* | more type safety | Aleksey Kladov | 2019-03-26 | 5 | -63/+82 |
| | |||||
* | strongy-typed ids for macros | Aleksey Kladov | 2019-03-26 | 4 | -33/+19 |
| | |||||
* | add typed ids | Aleksey Kladov | 2019-03-26 | 7 | -45/+88 |
| | |||||
* | remove some dead code | Aleksey Kladov | 2019-03-26 | 1 | -17/+1 |
| | |||||
* | simplify | Aleksey Kladov | 2019-03-26 | 3 | -8/+6 |
| | |||||
* | move source_id to a separate file | Aleksey Kladov | 2019-03-26 | 8 | -120/+128 |
| | |||||
* | make macro parsing a query | Aleksey Kladov | 2019-03-26 | 3 | -5/+8 |
| | |||||
* | reduce visibility | Aleksey Kladov | 2019-03-26 | 1 | -23/+27 |
| | |||||
* | store macro def inside macro id | Aleksey Kladov | 2019-03-26 | 7 | -119/+73 |
| | | | | | | | | This solves the problem of "macro expansion can't call into name resolution, because name resolution calls back into macro expansion" Because we store macro def as a part of call id, macro expansion just knows the def! | ||||
* | Clean up comments / use nicer Iterator methods | Florian Diebold | 2019-03-25 | 2 | -10/+15 |
| | |||||
* | Implement a very naive implements check | Florian Diebold | 2019-03-25 | 4 | -12/+50 |
| | | | | ... to make the infer_trait_method_simple test have the correct result. | ||||
* | Basics for trait method resolution | Florian Diebold | 2019-03-25 | 9 | -23/+147 |
| | |||||
* | move tests to where they belong | Aleksey Kladov | 2019-03-25 | 1 | -0/+1 |
| | |||||
* | tweak diagnostics API | Aleksey Kladov | 2019-03-25 | 2 | -9/+14 |
| | |||||
* | test diagnostics | Aleksey Kladov | 2019-03-25 | 3 | -1/+61 |
| | |||||
* | more enterprisey diagnostics setup | Aleksey Kladov | 2019-03-25 | 2 | -10/+45 |
| | |||||
* | fixes | Aleksey Kladov | 2019-03-25 | 1 | -1/+1 |
| | |||||
* | check impls as well | Aleksey Kladov | 2019-03-25 | 1 | -1/+1 |
| | |||||
* | cleanup | Aleksey Kladov | 2019-03-25 | 5 | -49/+68 |
| | |||||
* | switch modules to new diagnostics | Aleksey Kladov | 2019-03-25 | 7 | -99/+126 |
| | |||||
* | allow dyn diagnostics | Aleksey Kladov | 2019-03-25 | 4 | -15/+98 |
| | |||||
* | diagnostics | Aleksey Kladov | 2019-03-25 | 5 | -5/+45 |
| | |||||
* | Target only the actual operator. | Marco Groppo | 2019-03-24 | 1 | -2/+2 |
| | | | | | Renamed `BinExpr::op()` and `PrefixExpr::op()` to `op_kind`. Now `op()` returns the `SyntaxNode`. | ||||
* | Fix apply_substs assertion failure | Florian Diebold | 2019-03-23 | 2 | -2/+25 |
| | | | | Fixes #1030. | ||||
* | remove obsolete diagnostic | Aleksey Kladov | 2019-03-23 | 1 | -1/+0 |
| | |||||
* | rename persistent hir database -> def database | Aleksey Kladov | 2019-03-23 | 16 | -154/+104 |
| | |||||
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 13 | -53/+53 |
| | |||||
* | Refactor primitive types into more orthogonal representation | yanchith | 2019-03-22 | 4 | -144/+155 |
| | |||||
* | Assert in apply_substs that the number of parameters doesn't change | Florian Diebold | 2019-03-21 | 2 | -2/+7 |
| | | | | ... and fix a small bug revealed by that. | ||||
* | Rename name field to ctor as well | Florian Diebold | 2019-03-21 | 4 | -28/+28 |
| | |||||
* | Some more doc comments | Florian Diebold | 2019-03-21 | 1 | -2/+12 |
| | |||||
* | TypeName => TypeCtor | Florian Diebold | 2019-03-21 | 6 | -95/+95 |
| | |||||
* | Remove the old variants replaced by Ty::Apply | Florian Diebold | 2019-03-21 | 6 | -350/+236 |
| | |||||
* | Add Ty::Apply | Florian Diebold | 2019-03-21 | 1 | -1/+177 |
| | |||||
* | Represent FnPtr and Tuple using Substs | Florian Diebold | 2019-03-21 | 3 | -27/+33 |
| |