Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | make various enums "inherit" from AdtDef | Aleksey Kladov | 2019-09-12 | 1 | -2/+1 |
| | |||||
* | start cleaning up the resolution | Aleksey Kladov | 2019-09-12 | 1 | -6/+5 |
| | | | | | | | Nameres related types, like `PerNs<Resolution>`, can represent unreasonable situations, like a local in a type namespace. We should clean this up, by requiring that call-site specifies the kind of resolution it expects. | ||||
* | Infer box expression | uHOOCCOOHu | 2019-09-11 | 1 | -0/+4 |
| | |||||
* | cleanup hir db imports | Aleksey Kladov | 2019-09-08 | 3 | -4/+7 |
| | |||||
* | Correctly build BodySourceMap for macro-expanded expressions | Aleksey Kladov | 2019-09-03 | 2 | -32/+31 |
| | |||||
* | slightly simplify expr lowering flow | Aleksey Kladov | 2019-09-03 | 1 | -126/+102 |
| | |||||
* | use recrod terminology for hir::Pat | Aleksey Kladov | 2019-09-03 | 1 | -4/+3 |
| | |||||
* | move expr lowering to lower | Aleksey Kladov | 2019-09-03 | 1 | -0/+653 |
| | |||||
* | fix hir for new block syntax | Aleksey Kladov | 2019-09-02 | 2 | -8/+10 |
| | |||||
* | Small fixes | Kirill Bulatov | 2019-08-26 | 1 | -1/+6 |
| | |||||
* | Fix 'missing Ok in tail expr' validation | Florian Diebold | 2019-08-26 | 1 | -3/+4 |
| | | | | | Because of the coercion change, the type mismatch now only happens on the block expression. | ||||
* | Simplify checking return type, add new test | Phil Ellison | 2019-08-25 | 1 | -21/+4 |
| | |||||
* | Cast SyntaxNodePtr to AstPtr directly | Phil Ellison | 2019-08-25 | 1 | -14/+3 |
| | |||||
* | Remove reliance on expr ordering | Phil Ellison | 2019-08-25 | 1 | -10/+4 |
| | |||||
* | cargo format | Phil Ellison | 2019-08-25 | 1 | -13/+12 |
| | |||||
* | Check type rather than just name in ok-wrapping diagnostic. Add test for ↵ | Phil Ellison | 2019-08-25 | 1 | -8/+38 |
| | | | | handling generic functions (which currently fails) | ||||
* | Mock std String and Result types in tests for ok-wrapping diagnostic | Phil Ellison | 2019-08-25 | 1 | -2/+0 |
| | |||||
* | Add type_mismatches to InferenceResult and use this in ok-wrapping code fix | Phil Ellison | 2019-08-25 | 1 | -6/+8 |
| | |||||
* | Initial implementation of Ok-wrapping | Phil Ellison | 2019-08-25 | 1 | -2/+54 |
| | |||||
* | rename struct -> record, pos -> tuple | Aleksey Kladov | 2019-08-23 | 1 | -8/+8 |
| | |||||
* | rename range -> text_range | Aleksey Kladov | 2019-07-20 | 1 | -1/+1 |
| | |||||
* | migrate ra_hir to the new rowan | Aleksey Kladov | 2019-07-19 | 2 | -4/+4 |
| | |||||
* | make Parse fields private | Aleksey Kladov | 2019-07-12 | 1 | -1/+2 |
| | | | | this is in preparation for the new rowan API | ||||
* | Clippy trivially_copy_pass_by_ref | Jeremy Kolb | 2019-07-05 | 1 | -2/+2 |
| | |||||
* | Some clippy fixes for 1.36 | Jeremy Kolb | 2019-07-04 | 1 | -1/+1 |
| | |||||
* | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 2 | -13/+11 |
| | | | | | | This wasn't a right decision in the first place, the feature flag was broken in the last rustfmt release, and syntax highlighting of imports is more important anyway | ||||
* | remove inherent source impls | Aleksey Kladov | 2019-06-11 | 1 | -1/+1 |
| | |||||
* | use Source for Function | Aleksey Kladov | 2019-06-11 | 1 | -1/+1 |
| | |||||
* | Fix clippy::single_char_pattern | Alan Du | 2019-06-04 | 1 | -5/+2 |
| | |||||
* | Fix clippy::into_iter_on_ref | Alan Du | 2019-06-04 | 1 | -1/+1 |
| | |||||
* | Fix clippy::ptr_arg | Alan Du | 2019-06-04 | 1 | -1/+1 |
| | |||||
* | fix syntax errors in tests | Aleksey Kladov | 2019-05-28 | 2 | -3/+3 |
| | |||||
* | simplify | Aleksey Kladov | 2019-05-20 | 1 | -38/+39 |
| | |||||
* | make AstId untyped | Aleksey Kladov | 2019-05-13 | 1 | -1/+1 |
| | |||||
* | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 1 | -0/+92 |
| | |||||
* | cleanups | Aleksey Kladov | 2019-04-13 | 1 | -10/+1 |
| | |||||
* | slight encapsulation | Aleksey Kladov | 2019-04-13 | 1 | -7/+11 |
| | |||||
* | move ScopeEntryWithSyntax | Aleksey Kladov | 2019-04-13 | 1 | -32/+13 |
| | |||||
* | drop obsolete fixme | Aleksey Kladov | 2019-04-13 | 1 | -1/+0 |
| | |||||
* | make expr scope stuff private | Aleksey Kladov | 2019-04-13 | 1 | -11/+9 |
| | |||||
* | fold ScopeWithSyntax into SourceAnalyzer | Aleksey Kladov | 2019-04-13 | 1 | -138/+28 |
| | |||||
* | make stuff private | Aleksey Kladov | 2019-04-13 | 1 | -3/+3 |
| | |||||
* | hide some scopes | Aleksey Kladov | 2019-04-13 | 1 | -2/+5 |
| | |||||
* | introduce SourceAnalyzer | Aleksey Kladov | 2019-04-11 | 1 | -1/+1 |
| | |||||
* | type-safer source-map for bindings | Aleksey Kladov | 2019-04-10 | 1 | -7/+8 |
| | |||||
* | migrate to salsas interning | Aleksey Kladov | 2019-04-09 | 1 | -3/+5 |
| | |||||
* | made ExprCollector pub(crate) and moved | Lenard Pratt | 2019-04-02 | 1 | -4/+10 |
| | | | | collect_fn_body_syntax | ||||
* | Added const bodies and static body to the ast | Lenard Pratt | 2019-04-02 | 1 | -1/+2 |
| | | | | | | and added inference the inference test reduce code duplication | ||||
* | Added defWithBody | Lenard Pratt | 2019-03-30 | 1 | -3/+3 |
| | |||||
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 1 | -2/+2 |
| |