summaryrefslogtreecommitdiff
path: root/src/resolve/absolute.cpp
AgeCommit message (Collapse)AuthorFilesLines
2016-08-29Resolve Abs - Working around a quirk of name resolutionJohn Hodge1-5/+55
2016-08-29Resolve Abs - Partial extern crate supportJohn Hodge1-17/+91
2016-08-29AST Resolve - Slow work on cratesJohn Hodge1-25/+67
2016-08-19AST - Support ! as a real typeJohn Hodge1-1/+4
2016-08-19AST - Macro invocations in item listJohn Hodge1-0/+4
2016-08-19Patterns - Support tuples with .. (fully)John Hodge1-2/+6
2016-08-18All - Support tuple patterns with .. at the start/end - TODO: Support in the ↵John Hodge1-4/+1
middle
2016-08-17Parse - Fix many parser bugsJohn Hodge1-6/+1
2016-08-11All - Clang warning fixesJohn Hodge1-1/+1
2016-08-01AST - Add specialisable tag to impl itemsJohn Hodge1-0/+54
2016-06-24HIR Typecheck - Handling of `impl Trait {}` blocks properlyJohn Hodge1-1/+20
2016-06-13HIR - Fix name resolution of `Type::method` to search inherent then traitsJohn Hodge1-4/+4
2016-06-12Resolve - Fix variable scopingJohn Hodge1-8/+24
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge1-0/+6
2016-06-11HIR Typecheck - Fixes for `trait Int: Add<Self>`John Hodge1-3/+1
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge1-1/+3
2016-06-11HIR Typecheck - ConstantsJohn Hodge1-2/+6
2016-06-09HIR Typecheck - Associated type bounds used and "working"John Hodge1-1/+1
2016-06-09All - Hack up support for useful associated type boundsJohn Hodge1-6/+11
2016-06-08HIR Typecheck - Type parameters in method/function executionJohn Hodge1-1/+1
2016-06-08Resolve - Fix generic binding indexesJohn Hodge1-3/+12
2016-06-06HIR Typecheck - Method calls being planned, fixed resolution of Generic typesJohn Hodge1-3/+5
2016-06-05HIR - Spanned expressions, fixed sections of resolveJohn Hodge1-26/+57
2016-06-05Resolve - Replace `Self` when knownJohn Hodge1-1/+30
2016-06-04Resolve - Fix variable resolution and pattern bindingJohn Hodge1-4/+10
2016-05-29Parse/AST/HIR - Support Enum::Var(..) and Struct { .. } patters properlyJohn Hodge1-1/+3
2016-05-29HIR Typecheck - FiddlingJohn Hodge1-0/+3
2016-05-29AST - Remove dead code, add lifetime params, fix param clobberJohn Hodge1-13/+30
2016-05-28HIR TypeCheck - Initial work on a module-level pass (no inferrence)John Hodge1-2/+6
2016-05-24AST - Spans, spans everywhere!John Hodge1-32/+32
2016-05-24AST - Spanned paths in impl blocks, remove dead codeJohn Hodge1-13/+14
2016-05-24HIR Lower - Lower impl blocksJohn Hodge1-11/+36
2016-05-21HIR+Resolve - Fix minor holesJohn Hodge1-0/+4
2016-05-20Resolve - Bind already-known locals (e.g. `self`)John Hodge1-2/+51
2016-05-20Resolve - Fix bug in type replacementJohn Hodge1-2/+4
2016-05-20String primitive, bind pointers in resolve, print macro name in spanJohn Hodge1-15/+223
2016-05-20AST/Path - Move crate name to Absolute formJohn Hodge1-1/+22
2016-05-20Expand - For loop desugarJohn Hodge1-1/+2
2016-05-06Resolve - Separate modules and types for slightly different lookup requirementsJohn Hodge1-24/+54
2016-05-06Resolve/absolute - Passing for libcoreJohn Hodge1-0/+8
2016-05-05Resolve/absolute - Rough handling of multi-pattern match arms with bindingsJohn Hodge1-18/+57
2016-05-05Resolve/absolute - fn() types, Trait objects, 'static trait boundsJohn Hodge1-4/+18
2016-05-05Resolve/absolute - Handle module-level type aliasesJohn Hodge1-1/+6
2016-05-05Resolve/absolute - Misc bugfixes in pattern handlingJohn Hodge1-4/+12
2016-05-04Resolve/absolute - Multi-pattern matches (hacked), closuresJohn Hodge1-3/+26
2016-05-04Resolve/absolute - Handle patterns differently to typesJohn Hodge1-33/+106
2016-05-02Resolve/Absolute - Rough handling of SelfJohn Hodge1-5/+49
2016-05-02AST - Make trait in UFCS paths be an optional PathJohn Hodge1-5/+20
2016-05-01Resolve/absolute - Rough 'Self' handlingJohn Hodge1-5/+56
2016-05-01Fix handling of tuple/unit structsJohn Hodge1-3/+5