summaryrefslogtreecommitdiff
path: root/src/resolve/absolute.cpp
AgeCommit message (Collapse)AuthorFilesLines
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
2016-05-01Resolve/absolute - MaybeBind and type aliases in impl blocksJohn Hodge1-22/+74
2016-05-01Resolve/absolute - Continued work - Traits, impl, and some more nodesJohn Hodge1-19/+146
2016-05-01AST - Remove Expr from patterns (replace with local Value type)John Hodge1-5/+21
2016-05-01Resolve/absolute - Handle super paths, local variablesJohn Hodge1-32/+219
2016-05-01Resolve - Absolute pass structure coming alongJohn Hodge1-15/+179
2016-04-30Resolve - Fleshing out absoluteJohn Hodge1-1/+133
2016-04-30Resolve - Include (stubbed) 'Absolutise' passJohn Hodge1-0/+16