summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-06-08Resolve - Fix generic binding indexesJohn Hodge2-5/+36
2016-06-08HIR Typecheck - Rough checking of bounds when searching for UFCSJohn Hodge4-35/+132
2016-06-07HIR Typecheck - Rough handling of castsJohn Hodge2-3/+103
2016-06-07HIR Typecheck - (minor) CommentingJohn Hodge1-2/+3
2016-06-07HIR Typecheck - Successful inferrence of literals (no i32 default yet)John Hodge3-13/+179
2016-06-07HIR - Add literal annotation to TypeRef::Data::InferJohn Hodge4-25/+127
2016-06-07HIR Typecheck - Binary operator overloadsJohn Hodge7-29/+169
2016-06-07HIR Typecheck - apply_equality for TraitObjectJohn Hodge1-23/+26
2016-06-07HIR Typecheck - Inherent function lookupJohn Hodge3-7/+64
2016-06-07HIR Typecheck - Coerce returned valuesJohn Hodge1-11/+26
2016-06-07HIR Expr - Rename m_val to m_value, add visitor for pointersJohn Hodge3-54/+57
2016-06-06HIR - BorrowType on pointer, allow pointer coerceJohn Hodge5-14/+37
2016-06-06HIR Typecheck - Cache calculation of visit_callJohn Hodge1-82/+81
2016-06-06HIR Typecheck - Expand associated types returned from methodsJohn Hodge6-32/+246
2016-06-06HIR Typecheck - Checking and use of UFCS methodsJohn Hodge1-31/+108
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-10 17:57:48 +0000