Age | Commit message (Expand) | Author | Files | Lines |
2015-04-06 | Committing before shelving for a bit, this makes my head hurt | John Hodge | 1 | -29/+51 |
2015-04-06 | Work on resolving UFCS paths, infinite loop bug in resolve | John Hodge | 10 | -61/+169 |
2015-04-06 | (Oops) forgot the file for #[lang] support | John Hodge | 1 | -0/+80 |
2015-04-05 | Suport for #[lang], start work on resolving UFCS paths | John Hodge | 12 | -66/+212 |
2015-04-05 | Move handling of wildcard trait destructure to TypeRef | John Hodge | 4 | -79/+106 |
2015-04-05 | (minor) TODO with thinkings about Self and bounds | John Hodge | 1 | -0/+2 |
2015-04-05 | Replace 'Self' at resolve-time, with special case for bounds | John Hodge | 4 | -8/+33 |
2015-04-05 | Convert invocations of find_impl, to use the bool version | John Hodge | 2 | -6/+5 |
2015-04-05 | Tag params with source, rewrite find_impl to return boolean | John Hodge | 6 | -19/+78 |
2015-04-04 | Lexer - Handle integer suffixes | John Hodge | 1 | -11/+29 |
2015-04-04 | Hacked in parsing of HRLs | John Hodge | 2 | -0/+30 |
2015-04-04 | Handle 'self::' paths, fix macro name resolution, fix handling of 'use ::' | John Hodge | 3 | -20/+47 |
2015-04-04 | Add structure to check for impls on type params | John Hodge | 2 | -6/+28 |
2015-04-04 | (Minor) commenting on procedure for generic trait checking | John Hodge | 1 | -1/+16 |
2015-04-04 | Further work on handling wildcard traits | John Hodge | 4 | -34/+58 |
2015-04-04 | Fixed incorrect resolution order for params in typecheck_params | John Hodge | 1 | -3/+6 |
2015-04-04 | Partial auto-determining of wildcard trait impls | John Hodge | 2 | -12/+65 |
2015-04-03 | Added partial support for #[derive()] | John Hodge | 10 | -6/+280 |
2015-04-03 | (minor) Note desire to remove unnessesary copy of vector | John Hodge | 1 | -0/+1 |
2015-04-03 | Save #[] attrs with item, ready for post-processing derive() | John Hodge | 10 | -208/+230 |
2015-04-02 | Hacked up handling of Sized (handled VERY similar to other .. traits) | John Hodge | 4 | -14/+53 |
2015-04-01 | More work on wildcard impls | John Hodge | 10 | -107/+176 |
2015-03-31 | Root-level typecheck now up to requiring Sized | John Hodge | 6 | -57/+107 |
2015-03-31 | Replace arguments in paths, and fix edge case in resolve where types were not... | John Hodge | 5 | -12/+45 |
2015-03-31 | Add Copy impls (hacky), and parameter count checking/extending | John Hodge | 6 | -18/+69 |
2015-03-31 | Partial comparisons of types/paths to speed up impl searches | John Hodge | 6 | -3/+78 |
2015-03-31 | Fully convert trait name in 'impl' to be a AST:Path | John Hodge | 9 | -23/+44 |
2015-03-30 | Add ordering to TypeRef and Path (to generalise operator== and operator< | John Hodge | 5 | -23/+105 |
2015-03-30 | Handling of 'Self' in param typecheck | John Hodge | 2 | -11/+27 |
2015-03-29 | Handling for 'T::method()' (where T is a type param) | John Hodge | 5 | -16/+40 |
2015-03-29 | Minor tweaks to handle libcore update | John Hodge | 5 | -3/+42 |
2015-03-29 | Twiddling root-level typecheck | John Hodge | 8 | -88/+145 |
2015-03-27 | Split type and lifetime parameters apart | John Hodge | 7 | -96/+73 |
2015-03-27 | Fix minor issues in path resolving (bindings incorrect in places) | John Hodge | 4 | -1/+13 |
2015-03-27 | Rework paths bindings to be a separate (printable) structure, add -Werror | John Hodge | 10 | -213/+262 |
2015-03-26 | Comment headers and readme update | John Hodge | 7 | -12/+58 |
2015-03-26 | Split out AST pattern code | John Hodge | 2 | -107/+123 |
2015-03-26 | Integer literal output, signed pattern hackery | John Hodge | 2 | -21/+35 |
2015-03-26 | Remove the ASSOCIATED type (now handled by the UFCS path type) | John Hodge | 6 | -50/+28 |
2015-03-26 | Warning cleanup | John Hodge | 2 | -0/+34 |
2015-03-26 | Cleaning up rust source output | John Hodge | 6 | -4/+78 |
2015-03-25 | Printing cleanup, missing resolve locations | John Hodge | 2 | -2/+10 |
2015-03-25 | Add flag for irrefutable matches, prevents arguments from being resolved | John Hodge | 5 | -39/+54 |
2015-03-25 | Wildcard imports in Path::resolve, associated types in ast_iterate | John Hodge | 2 | -2/+19 |
2015-03-25 | Macros updated with concat!, stringify!, and $crate | John Hodge | 8 | -38/+319 |
2015-03-25 | Fix pattern handling (not using Parse_Pattern for & patterns, inverted check ... | John Hodge | 2 | -4/+5 |
2015-03-25 | HACK - Handle the case of core::iter::order importing core::ord, but also def... | John Hodge | 4 | -6/+15 |
2015-03-24 | resolve "if let", remove tiny bit of typecheck in path lookup | John Hodge | 3 | -9/+24 |
2015-03-24 | Slow bugfixes | John Hodge | 4 | -3/+16 |
2015-03-24 | Path resolution coming along | John Hodge | 3 | -10/+53 |