summaryrefslogtreecommitdiff
path: root/src/hir
AgeCommit message (Collapse)AuthorFilesLines
2016-06-06HIR - BorrowType on pointer, allow pointer coerceJohn Hodge4-12/+13
2016-06-06HIR Typecheck - Expand associated types returned from methodsJohn Hodge5-16/+109
2016-06-06HIR - Maintain trait list, use it for method lookupJohn Hodge2-1/+8
2016-06-06HIR Typecheck - Method resolution partially doneJohn Hodge2-0/+28
2016-06-06HIR Typecheck - Method calls being planned, fixed resolution of Generic typesJohn Hodge2-4/+19
2016-06-06HIR Typecheck - Monomorphisation cleanupJohn Hodge1-0/+3
2016-06-06HIR Typecheck - Rough inclusion of function calls in typeckJohn Hodge2-0/+124
2016-06-05Resolve - UFCS resolution expanded to handle `Self` and paramsJohn Hodge5-30/+151
2016-06-05HIR - Spanned expressions, fixed sections of resolveJohn Hodge4-109/+136
2016-06-04Resolve - Fix variable resolution and pattern bindingJohn Hodge4-14/+12
2016-06-04HIR Typeck - More work on itJohn Hodge2-1/+18
2016-06-04Compilation fixes (clang and different gcc version)John Hodge4-9/+20
2016-06-04HIR Typeck - Add slice unsize, breaks due to inferrence orderJohn Hodge4-10/+47
2016-06-04Byte string literals in AST, infrastructure for coercionsJohn Hodge3-0/+19
2016-06-04HIR Typeck - Coming along, close to needing coercionsJohn Hodge8-10/+245
2016-06-03HIR - Working on type inference, very incompleteJohn Hodge3-2/+17
2016-05-29Parse/AST/HIR - Support Enum::Var(..) and Struct { .. } patters properlyJohn Hodge3-2/+48
2016-05-29HIR Typecheck - Expression inference coming alongJohn Hodge5-5/+13
2016-05-29HIR - Add binding pointers to TypeRef and PatternJohn Hodge6-12/+72
2016-05-29HIR Typecheck - Start on expression type checking/inferrenceJohn Hodge1-1/+3
2016-05-29HIR Typecheck - FiddlingJohn Hodge4-35/+50
2016-05-29AST - Remove dead code, add lifetime params, fix param clobberJohn Hodge2-3/+6
2016-05-28HIR TypeCheck - Initial work on a module-level pass (no inferrence)John Hodge4-8/+28
2016-05-27HIR Conv - Constant evaluation pass running (fully?)John Hodge4-15/+127
2016-05-26HIR Const Eval - libcore types done, onwards to `const` itemsJohn Hodge5-2/+15
2016-05-26HIR Cosnt Eval - Initial work, hits TODOsJohn Hodge7-6/+60
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-24(minor) HIR - Planning for const evalJohn Hodge1-4/+5
2016-05-24HIR Expand Type - Convert to use a generic HIR visitorJohn Hodge6-7/+444
2016-05-24HIR Lower - Lower impl blocksJohn Hodge4-28/+215
2016-05-23HIR - Add type alias replacement. Other related changes belowJohn Hodge10-53/+418
- 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-22macro_rules - Rework pattern matching to not use try-catchJohn Hodge2-2/+2
2016-05-21All - Cleanup of memory leaks and similarJohn Hodge1-2/+12
2016-05-21HIR Lower - Completed libcoreJohn Hodge2-2/+15
2016-05-21HIR+Resolve - Fix minor holesJohn Hodge4-29/+49
2016-05-20HIR - Diverging typeJohn Hodge2-2/+7
2016-05-20Expand+HIR - `?` desugar, closuresJohn Hodge4-14/+91
2016-05-20Resolve - Bind already-known locals (e.g. `self`)John Hodge1-0/+3
2016-05-20HIR - Separate UFCS stylesJohn Hodge3-8/+41
2016-05-20Parse - Fix bug which made `<_ as Item>` parse as `<_ as ::Item>`John Hodge1-1/+1
2016-05-20String primitive, bind pointers in resolve, print macro name in spanJohn Hodge1-1/+2
2016-05-20AST/Path - Move crate name to Absolute formJohn Hodge1-1/+1
2016-05-20Expand - Fix desugaring of `for` to be closer to rustc'sJohn Hodge1-1/+1
2016-05-20Expand - For loop desugarJohn Hodge1-12/+3
2016-05-19HIR Lower - Desugared `if let`, notes for `for`John Hodge1-0/+29
2016-05-19HIR Lower - Add desugared while/while letJohn Hodge4-2/+79
2016-05-19Lower HIR - More expression typesJohn Hodge3-1/+154
2016-05-18Tagged union cleanup hacksJohn Hodge5-0/+79
2016-05-18HIR - Generic boundsJohn Hodge4-9/+166