summaryrefslogtreecommitdiff
path: root/src/hir/from_ast.cpp
AgeCommit message (Expand)AuthorFilesLines
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
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
2016-05-28HIR TypeCheck - Initial work on a module-level pass (no inferrence)John Hodge1-1/+4
2016-05-26HIR Const Eval - libcore types done, onwards to `const` itemsJohn Hodge1-1/+2
2016-05-26HIR Cosnt Eval - Initial work, hits TODOsJohn Hodge1-4/+11
2016-05-24AST - Spans, spans everywhere!John Hodge1-27/+27
2016-05-24AST - Spanned paths in impl blocks, remove dead codeJohn Hodge1-4/+4
2016-05-24HIR Expand Type - Convert to use a generic HIR visitorJohn Hodge1-3/+4
2016-05-24HIR Lower - Lower impl blocksJohn Hodge1-24/+140
2016-05-23HIR - Add type alias replacement. Other related changes belowJohn Hodge1-8/+7
2016-05-22macro_rules - Rework pattern matching to not use try-catchJohn Hodge1-1/+1
2016-05-21HIR Lower - Completed libcoreJohn Hodge1-1/+6
2016-05-21HIR+Resolve - Fix minor holesJohn Hodge1-24/+40
2016-05-20HIR - Diverging typeJohn Hodge1-2/+6