summaryrefslogtreecommitdiff
path: root/src/convert
AgeCommit message (Collapse)AuthorFilesLines
2015-04-05Replace 'Self' at resolve-time, with special case for boundsJohn Hodge2-5/+29
2015-04-05Convert invocations of find_impl, to use the bool versionJohn Hodge1-2/+1
2015-04-05Tag params with source, rewrite find_impl to return booleanJohn Hodge2-5/+26
2015-04-04Further work on handling wildcard traitsJohn Hodge1-2/+3
2015-04-04Fixed incorrect resolution order for params in typecheck_paramsJohn Hodge1-3/+6
2015-04-03Added partial support for #[derive()]John Hodge1-0/+69
- Supports Debug on struct, and assumes compiling in libcore (for now)
2015-04-01More work on wildcard implsJohn Hodge2-3/+13
2015-03-31Root-level typecheck now up to requiring SizedJohn Hodge1-4/+17
2015-03-31Replace arguments in paths, and fix edge case in resolve where types were ↵John Hodge2-7/+17
not resolved if added as defaults
2015-03-31Add Copy impls (hacky), and parameter count checking/extendingJohn Hodge2-6/+8
2015-03-31Partial comparisons of types/paths to speed up impl searchesJohn Hodge1-1/+1
2015-03-31Fully convert trait name in 'impl' to be a AST:PathJohn Hodge3-4/+18
2015-03-30Handling of 'Self' in param typecheckJohn Hodge2-11/+27
2015-03-29Handling for 'T::method()' (where T is a type param)John Hodge1-13/+27
2015-03-29Twiddling root-level typecheckJohn Hodge1-35/+73
2015-03-27Split type and lifetime parameters apartJohn Hodge3-23/+24
2015-03-27Fix minor issues in path resolving (bindings incorrect in places)John Hodge1-0/+4
2015-03-27Rework paths bindings to be a separate (printable) structure, add -WerrorJohn Hodge6-53/+56
2015-03-26Cleaning up rust source outputJohn Hodge2-2/+51
2015-03-25Wildcard imports in Path::resolve, associated types in ast_iterateJohn Hodge1-1/+6
2015-03-25Macros updated with concat!, stringify!, and $crateJohn Hodge1-16/+35
2015-03-25Fix pattern handling (not using Parse_Pattern for & patterns, inverted check ↵John Hodge1-2/+2
for & pattern iterate)
2015-03-25HACK - Handle the case of core::iter::order importing core::ord, but also ↵John Hodge1-1/+2
defining an 'ord' function
2015-03-24resolve "if let", remove tiny bit of typecheck in path lookupJohn Hodge1-0/+15
2015-03-24Slow bugfixesJohn Hodge1-2/+2
2015-03-24Path resolution coming alongJohn Hodge2-6/+46
2015-03-24Wildcard path resolution possibily workingJohn Hodge1-60/+29
2015-03-23Move item lookup from AST::Path to AST::ModuleJohn Hodge1-3/+1
2015-03-22Wildcard lookups in convert resolve, use processing of anon modulesJohn Hodge1-4/+32
2015-03-22Clean up local path resolution, add internal 'str' typeJohn Hodge1-102/+126
2015-03-22Hack in UFCS <Type as Trait> syntaxJohn Hodge1-7/+1
2015-03-21Planning resolve for local modulesJohn Hodge1-0/+13
2015-03-21Move wildcard use to Path::resolve, add 'bool' typeJohn Hodge1-41/+28
2015-03-19Convert patterns over to tagged unionsJohn Hodge2-25/+47
2015-03-17Replace Enum variant inner typeJohn Hodge3-22/+31
2015-03-15Rework type params, add ! "type"John Hodge4-15/+22
2015-03-13Various other features for libcore, now on to loopsJohn Hodge1-0/+8
2015-03-10Rework macro handling to support correct repetitionsJohn Hodge2-4/+8
2015-03-08Cleanup to pattern handlingJohn Hodge1-1/+1
2015-03-06Bugfixes exposed by fixing formatted outputJohn Hodge3-6/+14
2015-02-01Hacking away at type propagationJohn Hodge4-39/+168
2015-01-25Hacked in dumping as rustJohn Hodge (sonata)3-12/+12
2015-01-23Autoderef on method lookup, further provements to method lookupJohn Hodge (sonata)1-49/+100
2015-01-22(minor) Comment updateJohn Hodge (sonata)1-4/+2
2015-01-22Added bounds to _ types, propagating type params further (and replacing when ↵John Hodge (sonata)2-3/+90
needed)
2015-01-21Type propagation coming alongJohn Hodge (sonata)3-13/+194
2015-01-20Type resolution coming along, need to add 'self' to the local variable tableJohn Hodge (sonata)4-18/+66
2015-01-20Type merging hacked inJohn Hodge (sonata)1-1/+28
2015-01-20Fiddling with type resoltion, spotted a hole in path resolveJohn Hodge (sonata)2-1/+55
2015-01-19Slow work on typecheck/propagate structureJohn Hodge (sonata)1-6/+102