summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-06-09HIR - Save and use paths to #[lang] itemsJohn Hodge5-35/+29
2016-06-08HIR Typecheck - Handle `Self` when looking up associated typesJohn Hodge1-6/+12
2016-06-08HIR Typecheck - Runs fully over libcore, no validation yetJohn Hodge3-9/+22
2016-06-08HIR - Lower associated type bounds, use those in typeckJohn Hodge6-86/+256
2016-06-08HIR Typecheck - Starting work on Fn* traitsJohn Hodge4-3/+33
2016-06-08HIR Typecheck - Search supertraits in generic searchJohn Hodge2-6/+35
2016-06-08HIR Typecheck - Propagate through tuple literalsJohn Hodge1-0/+9
2016-06-08HIR - Move tuple struct/enum construtors to their on HIR nodeJohn Hodge5-6/+139
- This makes typeck of those invocations easier
2016-06-08CommentingJohn Hodge2-2/+5
2016-06-08Expand format_args! - Parse and (partially) emitJohn Hodge4-94/+411
2016-06-08HIR Typecheck - Type parameters in method/function executionJohn Hodge4-25/+50
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-18 06:21:30 +0000