Age | Commit message (Expand) | Author | Files | Lines |
2015-04-05 | Replace 'Self' at resolve-time, with special case for bounds | John Hodge | 1 | -1/+3 |
2015-04-05 | Tag params with source, rewrite find_impl to return boolean | John Hodge | 1 | -2/+10 |
2015-04-04 | Further work on handling wildcard traits | John Hodge | 1 | -3/+24 |
2015-04-01 | More work on wildcard impls | John Hodge | 1 | -1/+1 |
2015-03-31 | Root-level typecheck now up to requiring Sized | John Hodge | 1 | -19/+4 |
2015-03-31 | Replace arguments in paths, and fix edge case in resolve where types were not... | John Hodge | 1 | -5/+1 |
2015-03-31 | Partial comparisons of types/paths to speed up impl searches | John Hodge | 1 | -1/+23 |
2015-03-30 | Add ordering to TypeRef and Path (to generalise operator== and operator< | John Hodge | 1 | -15/+24 |
2015-03-26 | Remove the ASSOCIATED type (now handled by the UFCS path type) | John Hodge | 1 | -31/+0 |
2015-03-26 | Warning cleanup | John Hodge | 1 | -0/+28 |
2015-03-25 | Printing cleanup, missing resolve locations | John Hodge | 1 | -1/+4 |
2015-03-21 | Move wildcard use to Path::resolve, add 'bool' type | John Hodge | 1 | -0/+18 |
2015-03-21 | Fix minor lexing and dump issues | John Hodge | 1 | -2/+8 |
2015-03-15 | Function types | John Hodge | 1 | -0/+34 |
2015-01-25 | Hacked in dumping as rust | John Hodge (sonata) | 1 | -19/+97 |
2015-01-23 | Autoderef on method lookup, further provements to method lookup | John Hodge (sonata) | 1 | -0/+33 |
2015-01-22 | Oops, bad logic, fixed (!<Str> in assert) | John Hodge (sonata) | 1 | -2/+2 |
2015-01-22 | (minor) Types - Added some documenting comments | John Hodge (sonata) | 1 | -2/+27 |
2015-01-22 | Added bounds to _ types, propagating type params further (and replacing when ... | John Hodge (sonata) | 1 | -0/+5 |
2015-01-21 | Type propagation coming along | John Hodge (sonata) | 1 | -0/+84 |
2015-01-20 | Type resolution coming along, need to add 'self' to the local variable table | John Hodge (sonata) | 1 | -4/+11 |
2015-01-20 | Type merging hacked in | John Hodge (sonata) | 1 | -1/+94 |
2015-01-18 | Clean up debug output (make type printing prettier) | John Hodge (sonata) | 1 | -30/+42 |
2015-01-18 | Most types iterating well, special case for Self type | John Hodge (sonata) | 1 | -0/+1 |
2015-01-18 | Generic param checks passing | John Hodge (sonata) | 1 | -0/+33 |
2015-01-18 | Up to requiring checks for trait implementations | John Hodge (sonata) | 1 | -16/+0 |
2015-01-17 | Trait serialise | John Hodge (sonata) | 1 | -1/+14 |
2015-01-17 | Deserialise working, need to annotate loaded crates with crate ID | John Hodge (sonata) | 1 | -6/+11 |
2015-01-17 | Adding deserialise, partially working | John Hodge (sonata) | 1 | -1/+89 |
2015-01-12 | TypeRef print | John Hodge (sonata) | 1 | -1/+49 |
2015-01-12 | TypeRef fleshed out | John Hodge (sonata) | 1 | -2/+7 |
2014-12-30 | Rework expressions so they can be iterated (and actually save data) | John Hodge (sonata) | 1 | -1/+1 |
2014-12-23 | Move source files to src/ folder | John Hodge (sonata) | 1 | -0/+8 |