Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Make goto definition/hover resolve constructors | kjeremy | 2019-03-04 | 1 | -3/+40 | |
* | Inline type inference test snapshots | Florian Diebold | 2019-03-03 | 59 | -1504/+1096 | |
* | Represent unknown types as {unknown} instead of [unknown] | Florian Diebold | 2019-03-03 | 28 | -171/+171 | |
* | Add a bunch of tests for type inference involving traits | Florian Diebold | 2019-03-02 | 13 | -0/+403 | |
* | Merge #915 | bors[bot] | 2019-03-02 | 10 | -112/+89 | |
|\ | ||||||
| * | remove comment | Aleksey Kladov | 2019-03-02 | 1 | -1/+0 | |
| * | remove second way to get the body | Aleksey Kladov | 2019-03-02 | 1 | -4/+0 | |
| * | rename syntax_mapping as well | Aleksey Kladov | 2019-03-02 | 1 | -1/+1 | |
| * | align lower module query names | Aleksey Kladov | 2019-03-02 | 6 | -21/+14 | |
| * | rename scopes | Aleksey Kladov | 2019-03-02 | 4 | -9/+9 | |
| * | rename to source_map | Aleksey Kladov | 2019-03-02 | 2 | -17/+13 | |
| * | dont store body inside source map | Aleksey Kladov | 2019-03-02 | 4 | -60/+53 | |
| * | rename syntax-mapping -> source-map | Aleksey Kladov | 2019-03-02 | 5 | -24/+24 | |
* | | A bit of cleanup in ty.rs | Florian Diebold | 2019-03-02 | 1 | -28/+1 | |
|/ | ||||||
* | Remove `TypeRef` from item opts which implement TypeAscriptionOwner | Ville Penttinen | 2019-02-27 | 4 | -10/+10 | |
* | Use TypeAscriptionOwner | Ville Penttinen | 2019-02-26 | 1 | -8/+5 | |
* | Merge #897 | bors[bot] | 2019-02-25 | 11 | -20/+206 | |
|\ | ||||||
| * | Move ConstSignature creation to a single method | Ville Penttinen | 2019-02-25 | 1 | -17/+13 | |
| * | Add static type inference | Ville Penttinen | 2019-02-25 | 6 | -12/+54 | |
| * | Add const type inference | Ville Penttinen | 2019-02-25 | 11 | -20/+168 | |
* | | rename type to type_alias in the AST as well | Aleksey Kladov | 2019-02-25 | 4 | -6/+9 | |
|/ | ||||||
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 9 | -40/+54 | |
* | Add test for recursive type aliases | Florian Diebold | 2019-02-24 | 1 | -0/+14 | |
* | Implement support for type aliases | Florian Diebold | 2019-02-24 | 8 | -11/+102 | |
* | introduce completion presentation | Aleksey Kladov | 2019-02-24 | 1 | -1/+1 | |
* | Clean up imports a bit | Florian Diebold | 2019-02-24 | 2 | -6/+4 | |
* | Refactor associated method resolution a bit and make it work with generics | Florian Diebold | 2019-02-23 | 4 | -64/+98 | |
* | Split ty.rs into several modules | Florian Diebold | 2019-02-23 | 5 | -1450/+1500 | |
* | Fix resolution of associated method calls across crates | Florian Diebold | 2019-02-23 | 3 | -3/+53 | |
* | Merge #866 | bors[bot] | 2019-02-22 | 9 | -31/+410 | |
|\ | ||||||
| * | Change resolve_path to return the fully resolved path or PerNs::none | Ville Penttinen | 2019-02-22 | 3 | -34/+36 | |
| * | Ignore failing test for now | Ville Penttinen | 2019-02-21 | 1 | -0/+1 | |
| * | Make nameres::ResolvePathResult private and refactor | Ville Penttinen | 2019-02-21 | 1 | -7/+7 | |
| * | Remove Const inference for now, refactor PathResult | Ville Penttinen | 2019-02-21 | 4 | -77/+93 | |
| * | Implement basic support for Associated Methods and Constants | Ville Penttinen | 2019-02-21 | 10 | -48/+408 | |
* | | Add an assert (and fix the other) | Florian Diebold | 2019-02-21 | 1 | -1/+2 | |
* | | Fix handling of generics in tuple variants and refactor a bit | Florian Diebold | 2019-02-20 | 5 | -41/+105 | |
|/ | ||||||
* | remove ignored macro tests | Aleksey Kladov | 2019-02-19 | 1 | -30/+0 | |
* | Merge #852 | bors[bot] | 2019-02-18 | 3 | -34/+40 | |
|\ | ||||||
| * | handle != operator | Aleksey Kladov | 2019-02-18 | 3 | -34/+40 | |
* | | Handle tuple structs / enum variants properly in type inference | Florian Diebold | 2019-02-17 | 5 | -37/+95 | |
|/ | ||||||
* | Make GenericArgs::from_ast pub(crate) | Florian Diebold | 2019-02-17 | 1 | -1/+1 | |
* | Unify with the autorefed/autoderefed receiver type during method resolution | Florian Diebold | 2019-02-17 | 4 | -12/+54 | |
* | Handle generic args for method calls | Florian Diebold | 2019-02-16 | 4 | -10/+45 | |
* | Handle impl generics in method calls | Florian Diebold | 2019-02-16 | 7 | -77/+122 | |
* | Resolve impl generic params | Florian Diebold | 2019-02-16 | 1 | -1/+3 | |
* | Add generic params to impl blocks | Florian Diebold | 2019-02-16 | 2 | -8/+14 | |
* | Add a test for impl generics | Florian Diebold | 2019-02-16 | 2 | -0/+71 | |
* | Turn ImplBlock into a copy type just containing IDs | Florian Diebold | 2019-02-16 | 5 | -66/+48 | |
* | Complete names from prelude | Florian Diebold | 2019-02-13 | 2 | -4/+10 |