summaryrefslogtreecommitdiff
path: root/src/types.cpp
AgeCommit message (Expand)AuthorFilesLines
2015-04-05Replace 'Self' at resolve-time, with special case for boundsJohn Hodge1-1/+3
2015-04-05Tag params with source, rewrite find_impl to return booleanJohn Hodge1-2/+10
2015-04-04Further work on handling wildcard traitsJohn Hodge1-3/+24
2015-04-01More work on wildcard implsJohn Hodge1-1/+1
2015-03-31Root-level typecheck now up to requiring SizedJohn Hodge1-19/+4
2015-03-31Replace arguments in paths, and fix edge case in resolve where types were not...John Hodge1-5/+1
2015-03-31Partial comparisons of types/paths to speed up impl searchesJohn Hodge1-1/+23
2015-03-30Add ordering to TypeRef and Path (to generalise operator== and operator<John Hodge1-15/+24
2015-03-26Remove the ASSOCIATED type (now handled by the UFCS path type)John Hodge1-31/+0
2015-03-26Warning cleanupJohn Hodge1-0/+28
2015-03-25Printing cleanup, missing resolve locationsJohn Hodge1-1/+4
2015-03-21Move wildcard use to Path::resolve, add 'bool' typeJohn Hodge1-0/+18
2015-03-21Fix minor lexing and dump issuesJohn Hodge1-2/+8
2015-03-15Function typesJohn Hodge1-0/+34
2015-01-25Hacked in dumping as rustJohn Hodge (sonata)1-19/+97
2015-01-23Autoderef on method lookup, further provements to method lookupJohn Hodge (sonata)1-0/+33
2015-01-22Oops, bad logic, fixed (!<Str> in assert)John Hodge (sonata)1-2/+2
2015-01-22(minor) Types - Added some documenting commentsJohn Hodge (sonata)1-2/+27
2015-01-22Added bounds to _ types, propagating type params further (and replacing when ...John Hodge (sonata)1-0/+5
2015-01-21Type propagation coming alongJohn Hodge (sonata)1-0/+84
2015-01-20Type resolution coming along, need to add 'self' to the local variable tableJohn Hodge (sonata)1-4/+11
2015-01-20Type merging hacked inJohn Hodge (sonata)1-1/+94
2015-01-18Clean up debug output (make type printing prettier)John Hodge (sonata)1-30/+42
2015-01-18Most types iterating well, special case for Self typeJohn Hodge (sonata)1-0/+1
2015-01-18Generic param checks passingJohn Hodge (sonata)1-0/+33
2015-01-18Up to requiring checks for trait implementationsJohn Hodge (sonata)1-16/+0
2015-01-17Trait serialiseJohn Hodge (sonata)1-1/+14
2015-01-17Deserialise working, need to annotate loaded crates with crate IDJohn Hodge (sonata)1-6/+11
2015-01-17Adding deserialise, partially workingJohn Hodge (sonata)1-1/+89
2015-01-12TypeRef printJohn Hodge (sonata)1-1/+49
2015-01-12TypeRef fleshed outJohn Hodge (sonata)1-2/+7
2014-12-30Rework expressions so they can be iterated (and actually save data)John Hodge (sonata)1-1/+1
2014-12-23Move source files to src/ folderJohn Hodge (sonata)1-0/+8