summaryrefslogtreecommitdiff
path: root/src/resolve
AgeCommit message (Collapse)AuthorFilesLines
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-29Resolve - Fix glob imports of enums yeilding bad pathsJohn 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 Hodge2-76/+76
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-23HIR - Add type alias replacement. Other related changes belowJohn Hodge2-0/+97
- Added pretty printing for HIR paths and types - Added a sub-pass to resolve/index that makes all index paths point at the actual item (no imports involved) - Split up some contents of main_bindings.hpp
2016-05-21Expand - Add attributes to impl blocksJohn Hodge1-0/+1
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 Hodge3-17/+236
2016-05-20AST/Path - Move crate name to Absolute formJohn Hodge2-4/+25
2016-05-20Expand - For loop desugarJohn Hodge1-1/+2
2016-05-06Resolve - Separate modules and types for slightly different lookup requirementsJohn Hodge2-59/+134
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 Hodge2-3/+9
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 Hodge2-2/+135
2016-04-30Resolve - Include (stubbed) 'Absolutise' passJohn Hodge2-1/+42
2016-04-30Resolve - Further work on use/index.John Hodge2-22/+128
- Use recurses into (some) code blocks - Index does three passes to reduce the chance of wildcard import troubles. (HACK)
2016-04-02Resolve - Glob import handlingJohn Hodge1-6/+82
2016-04-02Resolve - Start building an index of names avaliable in each moduleJohn Hodge2-0/+139
2016-03-31AST - Put spans on importsJohn Hodge1-13/+12
2016-03-30AST - Path binding cloneJohn Hodge1-0/+2
2016-03-30Resolve - Working on new `use` resolution codeJohn Hodge1-0/+223