Age | Commit message (Expand) | Author | Files | Lines |
2015-04-03 | Added partial support for #[derive()] | John Hodge | 1 | -1/+4 |
2015-03-31 | Root-level typecheck now up to requiring Sized | John Hodge | 1 | -0/+3 |
2015-03-31 | Replace arguments in paths, and fix edge case in resolve where types were not... | John Hodge | 1 | -0/+3 |
2015-03-31 | Add Copy impls (hacky), and parameter count checking/extending | John Hodge | 1 | -1/+6 |
2015-03-31 | Partial comparisons of types/paths to speed up impl searches | John Hodge | 1 | -0/+3 |
2015-03-31 | Fully convert trait name in 'impl' to be a AST:Path | John Hodge | 1 | -0/+2 |
2015-03-30 | Add ordering to TypeRef and Path (to generalise operator== and operator< | John Hodge | 1 | -2/+4 |
2015-03-29 | Handling for 'T::method()' (where T is a type param) | John Hodge | 1 | -1/+6 |
2015-03-27 | Fix minor issues in path resolving (bindings incorrect in places) | John Hodge | 1 | -0/+2 |
2015-03-27 | Rework paths bindings to be a separate (printable) structure, add -Werror | John Hodge | 1 | -64/+98 |
2015-03-25 | Add flag for irrefutable matches, prevents arguments from being resolved | John Hodge | 1 | -0/+4 |
2015-03-24 | Slow bugfixes | John Hodge | 1 | -0/+5 |
2015-03-22 | Clean up local path resolution, add internal 'str' type | John Hodge | 1 | -0/+4 |
2015-03-22 | Hack in UFCS <Type as Trait> syntax | John Hodge | 1 | -0/+5 |
2015-03-21 | Planning resolve for local modules | John Hodge | 1 | -0/+13 |
2015-03-21 | Misc (warning suppression, planning trait methods in resolve) | John Hodge | 1 | -0/+1 |
2015-03-21 | Move wildcard use to Path::resolve, add 'bool' type | John Hodge | 1 | -3/+8 |
2015-03-17 | Replace Enum variant inner type | John Hodge | 1 | -0/+5 |
2015-02-01 | Hacking away at type propagation | John Hodge | 1 | -2/+2 |
2015-01-25 | Hacked in dumping as rust | John Hodge (sonata) | 1 | -0/+2 |
2015-01-21 | Type propagation coming along | John Hodge (sonata) | 1 | -1/+2 |
2015-01-20 | Type merging hacked in | John Hodge (sonata) | 1 | -1/+5 |
2015-01-20 | Fiddling with type resoltion, spotted a hole in path resolve | John Hodge (sonata) | 1 | -1/+6 |
2015-01-18 | Generic param checks passing | John Hodge (sonata) | 1 | -0/+3 |
2015-01-18 | Up to requiring checks for trait implementations | John Hodge (sonata) | 1 | -3/+8 |
2015-01-18 | Added pretty type printing, non-expr typecheck correctly fails on too many pa... | John Hodge (sonata) | 1 | -10/+2 |
2015-01-17 | Trait serialise | John Hodge (sonata) | 1 | -0/+3 |
2015-01-17 | Adding deserialise, partially working | John Hodge (sonata) | 1 | -0/+2 |
2015-01-15 | Type alias bound to path, considering removing std hack and implementing AST ... | John Hodge (sonata) | 1 | -1/+6 |
2015-01-15 | Type aliases added (AST only, no parse yet), need to handle lookups | John Hodge (sonata) | 1 | -1/+7 |
2015-01-12 | Path resolution working in one function (types still to come, need AST rep) | John Hodge (sonata) | 1 | -0/+9 |
2015-01-11 | Tag paths with base crate, restructure ast.cpp into three files | John Hodge (sonata) | 1 | -9/+7 |
2015-01-11 | Add hacky text output of AST | John Hodge (sonata) | 1 | -3/+10 |
2015-01-11 | It broke (working on correct path resolution) | John Hodge (sonata) | 1 | -13/+60 |
2015-01-05 | Implementing path lookup (bottom level of resolve) | John Hodge (sonata) | 1 | -0/+9 |
2015-01-04 | Hacking up 'use' resolution (needs work to handle recursion) | John Hodge (sonata) | 1 | -0/+5 |
2015-01-02 | Adding in support for std, parsing now broken due to TODO early in process | John Hodge (sonata) | 1 | -15/+12 |
2015-01-01 | Name resolve framework coming along | John Hodge (sonata) | 1 | -6/+58 |
2014-12-23 | Move source files to src/ folder | John Hodge (sonata) | 1 | -0/+49 |