summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-06-06HIR - Maintain trait list, use it for method lookupJohn Hodge4-54/+145
2016-06-06HIR Const Eval - Evaluate in function/method callsJohn Hodge1-0/+9
2016-06-06HIR Typecheck - Method resolution partially doneJohn Hodge3-5/+75
2016-06-06HIR Typecheck - Method calls being planned, fixed resolution of Generic typesJohn Hodge6-33/+110
2016-06-06HIR Typecheck - Monomorphisation cleanupJohn Hodge2-23/+96
2016-06-06HIR Typecheck - Rough inclusion of function calls in typeckJohn Hodge4-127/+436
2016-06-06HIR Typecheck - Change markingJohn Hodge1-1/+28
2016-06-05HIR Type check - Add check to ensure that all is inferredJohn Hodge1-6/+129
2016-06-05HIR Typecheck - Look up impls of Unsize (hackily)John Hodge1-9/+60
2016-06-05Resolve - UFCS resolution expanded to handle `Self` and paramsJohn Hodge9-106/+313
2016-06-05HIR - Spanned expressions, fixed sections of resolveJohn Hodge8-218/+394
2016-06-05HIR Typecheck - Set var type during enumJohn Hodge1-0/+10
2016-06-05Resolve - Replace `Self` when knownJohn Hodge4-24/+36
2016-06-04Resolve - Fix variable resolution and pattern bindingJohn Hodge16-77/+247
2016-06-04HIR Typeck - More work on itJohn Hodge4-76/+145
2016-06-04Compilation fixes (clang and different gcc version)John Hodge20-63/+57
2016-06-04HIR Typeck - Add slice unsize, breaks due to inferrence orderJohn Hodge6-14/+102
2016-06-04Byte string literals in AST, infrastructure for coercionsJohn Hodge10-27/+97
2016-06-04HIR Typeck - Notes on coercionsJohn Hodge1-0/+3
2016-06-04HIR Typeck - Coming along, close to needing coercionsJohn Hodge9-18/+289
2016-06-03HIR - Working on type inference, very incompleteJohn Hodge4-25/+212
2016-05-29HIR Conv - De-duplicate codeJohn Hodge1-47/+36
2016-05-29Parse/AST/HIR - Support Enum::Var(..) and Struct { .. } patters properlyJohn Hodge11-13/+168
2016-05-29HIR Typecheck - Expression inference coming alongJohn Hodge7-99/+373
2016-05-29Resolve - Fix glob imports of enums yeilding bad pathsJohn Hodge2-2/+4
2016-05-29HIR - Add binding pointers to TypeRef and PatternJohn Hodge12-19/+345
2016-05-29HIR Typecheck - Start on expression type checking/inferrenceJohn Hodge7-5/+690
2016-05-29HIR Typecheck - FiddlingJohn Hodge6-39/+191
2016-05-29AST - Remove dead code, add lifetime params, fix param clobberJohn Hodge15-653/+157
2016-05-28HIR TypeCheck - Initial work on a module-level pass (no inferrence)John Hodge11-28/+249
2016-05-27HIR Conv - Constant evaluation pass running (fully?)John Hodge9-39/+628
2016-05-26HIR Const Eval - libcore types done, onwards to `const` itemsJohn Hodge7-24/+171
2016-05-26HIR Cosnt Eval - Initial work, hits TODOsJohn Hodge10-9/+251
2016-05-25Parse - Use interpolated macro fragments instead of captured TTsJohn Hodge31-273/+863
2016-05-24AST - Move types.cpp to ast/ dirJohn Hodge9-8/+8
2016-05-24AST - Spans, spans everywhere!John Hodge20-190/+221
2016-05-24AST - Spanned paths in impl blocks, remove dead codeJohn Hodge12-565/+89
2016-05-24(minor) HIR - Planning for const evalJohn Hodge1-4/+5
2016-05-24HIR Expand Type - Convert to use a generic HIR visitorJohn Hodge8-224/+511
2016-05-24HIR Lower - Lower impl blocksJohn Hodge11-40/+274
2016-05-23HIR - Add type alias replacement. Other related changes belowJohn Hodge16-72/+825
- 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 Hodge19-1012/+1028
2016-05-22Clean up dead code (both useless code, and stuff that will be rewritten for HIR)John Hodge12-3670/+0
2016-05-22tagged_union - Switch to using real unions (C++11)John Hodge2-16/+13
2016-05-22Macros - Planning of more efficient macro_rules evaluationJohn Hodge3-14/+313
2016-05-21All - Cleanup of memory leaks and similarJohn Hodge10-63/+86
2016-05-21Parse - Updates for better memory efficiency (hopefully)John Hodge19-463/+636
2016-05-21Main - Some planningJohn Hodge1-3/+11
2016-05-21Expand/cfg - Add 'target_has_atomic'John Hodge3-1/+7
2016-05-21Expand - Add attributes to impl blocksJohn Hodge6-4/+70