summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-06-11HIR Typecheck - Insert i32/f64 defaultsJohn Hodge3-1/+28
2016-06-11HIR Typecheck - Call function typesJohn Hodge1-1/+3
2016-06-11HIR Typecheck - Fix pattern propagationJohn Hodge3-39/+82
2016-06-11Parse - Fix parsing of parens in typesJohn Hodge1-10/+5
2016-06-11HIR Typecheck - Fields workingJohn Hodge4-14/+27
2016-06-11HIR Typecheck - Start work on field typesJohn Hodge3-1/+151
2016-06-11HIR Typecheck - Function typesJohn Hodge1-3/+18
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge15-113/+309
2016-06-11HIR Typecheck - Fixes for `trait Int: Add<Self>`John Hodge7-29/+128
2016-06-11HIR Typecheck - autoderef arrays to slices, don't check method if unknownJohn Hodge5-4/+33
2016-06-11HIR - (cleanup) Make method to handle creating new array typesJohn Hodge3-6/+9
2016-06-11HIR Typecheck - Unsize to trait objectsJohn Hodge2-4/+54
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge9-30/+60
2016-06-11HIR Typecheck - Trait object comparison/manipulationJohn Hodge5-26/+44
2016-06-11HIR Typecheck - Search methods inside &-ptrs before on the &-ptrJohn Hodge2-102/+129
2016-06-11HIR Typecheck - ConstantsJohn Hodge8-7/+126
2016-06-10HIR Typecheck - Tweaking, progress is being madeJohn Hodge3-30/+39
2016-06-10HIR Typecheck - Fixed resolution when a trait impl's argument hits an ↵John Hodge2-3/+8
unresolved ivar
2016-06-10HIR Typecheck - Rework ops traits handling a bitJohn Hodge3-20/+97
2016-06-10HIR Typecheck - Fix function generic handling to not be a hackjobJohn Hodge2-55/+80
2016-06-10HIR Typecheck - Recursively expand associated typesJohn Hodge2-6/+9
2016-06-10(minor) HIR Typecheck - CommentingJohn Hodge2-3/+8
2016-06-10HIR Typecheck - Split expr.cpp into two files - context and enumJohn Hodge3-1629/+1741
2016-06-10HIR Typecheck - Hack up closure inferrence from Fn* traitsJohn Hodge6-103/+221
2016-06-09HIR - Add closure typeJohn Hodge6-2/+84
2016-06-09(minor) HIR Typecheck - Comment on closure inferJohn Hodge1-0/+2
2016-06-09HIR Typecheck - Associated type bounds used and "working"John Hodge2-5/+22
2016-06-09HIR Typecheck - Replace associated types with known bounds (IntoIter)John Hodge5-45/+141
2016-06-09common.hpp - Hack around old stlJohn Hodge1-2/+4
2016-06-09HIR Typecheck - Plan: Use associated type bounds to expand furtherJohn Hodge2-2/+11
2016-06-09HIR Typecheck - Use associated type bounds for finding UFCS methodsJohn Hodge1-2/+19
2016-06-09All - Hack up support for useful associated type boundsJohn Hodge5-25/+88
2016-06-09HIR Typecheck - struct literalsJohn Hodge2-9/+71
2016-06-09HIR Typecheck - Operator assignmentsJohn Hodge1-2/+35
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-30 08:58:12 +0000