summaryrefslogtreecommitdiff
path: root/src/hir/from_ast.cpp
AgeCommit message (Collapse)AuthorFilesLines
2016-08-31HIR - Support for ext crates in FromASTJohn Hodge1-7/+18
2016-08-29HIR Deserialise - Hackily set crate names, clean up a littleJohn Hodge1-0/+5
2016-08-29HIR From AST - Convert use statements into HIR itemsJohn Hodge1-0/+17
2016-08-29HIR From AST - Add TODO for extern crateJohn Hodge1-0/+2
2016-08-29HIR - Remove dependency on macro_rules.hppJohn Hodge1-4/+3
2016-08-26HIR - Remove None variant for TraitValueItem, add literal for Enum ValueJohn Hodge1-1/+4
2016-08-25AST - Support for crate_name and crate_type (draft)John Hodge1-1/+2
2016-08-25AST - Move receiver marking to HIR conversion (post resolution)John Hodge1-17/+27
2016-08-24AST - Hackily support `self: Box` syntaxJohn Hodge1-2/+3
2016-08-24HIR From AST - Fix emitting tuple/value constructors for named-field structsJohn Hodge1-1/+1
2016-08-22AST+HIR - Save decoded receiver type for methodsJohn Hodge1-0/+18
2016-08-20HIR Dump - Initial support, verbose but completeJohn Hodge1-1/+1
2016-08-19AST - Support ! as a real typeJohn Hodge1-14/+24
2016-08-19AST - Macro invocations in item listJohn Hodge1-0/+3
2016-08-19Patterns - Support tuples with .. (fully)John Hodge1-66/+67
2016-08-18All - Support tuple patterns with .. at the start/end - TODO: Support in the ↵John Hodge1-33/+83
middle
2016-08-17Parse - Fix many parser bugsJohn Hodge1-0/+7
2016-08-16HIR - Misc tweaks for debugging typeck errorsJohn Hodge1-0/+3
2016-08-12HIR Patterns - Support binding Value::Named to targetsJohn Hodge1-1/+1
2016-08-11All - Clang warning fixesJohn Hodge1-1/+1
2016-08-01HIR - Path reporting in iterationJohn Hodge1-21/+31
2016-08-01HIR - Include specialisable marker in implsJohn Hodge1-7/+7
2016-08-01AST - Add specialisable tag to impl itemsJohn Hodge1-4/+4
2016-07-17HIR,HIR Typecheck - Simplify associated type bounds, add type replacementsJohn Hodge1-1/+24
2016-07-15HIR Typecheck - Expand associated types in outer typeckJohn Hodge1-0/+1
2016-07-14Macro Rules - Rewrite, take 3 - IncompleteJohn Hodge1-4/+6
2016-07-10HIR Creation - (minor) Use a vistor-global null spanJohn Hodge1-1/+2
2016-07-02HIR Typecheck - Unified Struct/Enum data structures, CS coming alongJohn Hodge1-5/+13
2016-06-26HIR Typecheck - Fn type handlingJohn Hodge1-0/+2
2016-06-12HIR - Trait scoping fixesJohn Hodge1-28/+35
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge1-55/+34
2016-06-11HIR Typecheck - Fixes for `trait Int: Add<Self>`John Hodge1-3/+17
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge1-1/+9
2016-06-09All - Hack up support for useful associated type boundsJohn Hodge1-16/+39
2016-06-09HIR - Save and use paths to #[lang] itemsJohn Hodge1-0/+6
2016-06-08HIR - Lower associated type bounds, use those in typeckJohn Hodge1-4/+38
2016-06-07HIR Typecheck - Binary operator overloadsJohn Hodge1-4/+5
2016-06-06HIR - BorrowType on pointer, allow pointer coerceJohn Hodge1-2/+3
2016-06-06HIR - Maintain trait list, use it for method lookupJohn Hodge1-0/+6
2016-06-06HIR Typecheck - Method resolution partially doneJohn Hodge1-0/+25
2016-06-06HIR Typecheck - Method calls being planned, fixed resolution of Generic typesJohn Hodge1-3/+14
2016-06-05HIR - Spanned expressions, fixed sections of resolveJohn Hodge1-12/+24
2016-06-04Resolve - Fix variable resolution and pattern bindingJohn Hodge1-6/+6
2016-06-04Compilation fixes (clang and different gcc version)John Hodge1-3/+1
2016-06-04HIR Typeck - Coming along, close to needing coercionsJohn Hodge1-2/+2
2016-05-29Parse/AST/HIR - Support Enum::Var(..) and Struct { .. } patters properlyJohn Hodge1-2/+31
2016-05-29HIR Typecheck - Expression inference coming alongJohn Hodge1-3/+4
2016-05-29HIR - Add binding pointers to TypeRef and PatternJohn Hodge1-0/+4
2016-05-29HIR Typecheck - FiddlingJohn Hodge1-5/+18
2016-05-29AST - Remove dead code, add lifetime params, fix param clobberJohn Hodge1-2/+5