summaryrefslogtreecommitdiff
path: root/src/resolve
AgeCommit message (Collapse)AuthorFilesLines
2016-08-29Resolve Index - Extern support in Normalise_PathJohn Hodge1-54/+69
2016-08-29Resolve Index - Add an assertion that currently firesJohn Hodge1-2/+3
2016-08-29Resolve Abs - Glob imports from externJohn Hodge1-2/+41
2016-08-29AST Resolve - Prelude handlingJohn Hodge2-94/+113
2016-08-29Resolve Abs - Comment about hacked-around quirkJohn Hodge1-1/+3
2016-08-29Resolve Absolute - Hack around name resolution quirkJohn Hodge2-23/+47
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-29AST Resolve Index - Hacking away on crate handlingJohn Hodge1-41/+92
2016-08-28AST Resolve - Hacking away on extern crate handlingJohn Hodge1-9/+11
2016-08-27Resolve Use - Include extern crate supportJohn Hodge1-0/+79
2016-08-27Resolve - Working on extern crate supportJohn Hodge2-3/+9
2016-08-27Resolve - (bugfix) Fix crash when missing item is in rootJohn Hodge1-1/+1
2016-08-19AST - Support ! as a real typeJohn Hodge1-1/+4
2016-08-19AST - Macro invocations in item listJohn Hodge3-0/+9
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 Hodge2-1/+55
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-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