summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2015-03-08Cleanup to pattern handlingJohn Hodge9-48/+75
2015-03-08Correct parsing of macro expansion template.John Hodge5-7/+119
2015-03-08Macro definitions now being usedJohn Hodge6-56/+172
2015-03-08Macro parsing, saving, and evaluatingJohn Hodge20-438/+941
2015-03-07Added file+line reporting to error messagesJohn Hodge12-237/+371
2015-03-07Prettier printingJohn Hodge3-13/+82
2015-03-06Bugfixes exposed by fixing formatted outputJohn Hodge14-861/+1227
2015-02-01Hacking away at type propagationJohn Hodge10-44/+218
2015-01-25Hacked in dumping as rustJohn Hodge (sonata)18-204/+867
2015-01-23Autoderef on method lookup, further provements to method lookupJohn Hodge (sonata)5-53/+157
2015-01-22Corrected pattern handling (a bit)John Hodge (sonata)3-15/+83
2015-01-22Minor tweaks to pattern parsing (needs rework)John Hodge (sonata)1-0/+15
2015-01-22Oops, bad logic, fixed (!<Str> in assert)John Hodge (sonata)1-2/+2
2015-01-22(minor) Comment updateJohn Hodge (sonata)2-4/+3
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)9-8/+134
needed)
2015-01-21Type propagation coming alongJohn Hodge (sonata)13-17/+396
2015-01-20Type resolution coming along, need to add 'self' to the local variable tableJohn Hodge (sonata)5-22/+77
2015-01-20Fixed handling of "empty" enum variants (type to unit, not empty tuple)John Hodge (sonata)1-2/+6
2015-01-20Type merging hacked inJohn Hodge (sonata)4-10/+152
2015-01-20Fiddling with type resoltion, spotted a hole in path resolveJohn Hodge (sonata)6-3/+77
2015-01-19Slow work on typecheck/propagate structureJohn Hodge (sonata)4-78/+255
2015-01-19FiddleJohn Hodge (sonata)1-3/+27
2015-01-18Starting on (framework) for in-function inferrenceJohn Hodge (sonata)4-1/+32
2015-01-18Remove evil FOREACH macrosJohn Hodge (sonata)3-13/+9
2015-01-18Clean up debug output (make type printing prettier)John Hodge (sonata)3-37/+42
2015-01-18Most types iterating well, special case for Self typeJohn Hodge (sonata)5-18/+94
2015-01-18Generic param checks passingJohn Hodge (sonata)7-8/+148
2015-01-18Add output to gitignoreJohn Hodge (sonata)1-0/+1
2015-01-18Add handlers for more item types to AST iterator, fix bad name in stdJohn Hodge (sonata)5-18/+74
2015-01-18Up to requiring checks for trait implementationsJohn Hodge (sonata)8-27/+78
2015-01-18Added support for associated types in impl blocksJohn Hodge (sonata)4-3/+22
2015-01-18Added pretty type printing, non-expr typecheck correctly fails on too many ↵John Hodge (sonata)12-23/+234
params (forgot to move iterator to associated types)
2015-01-17Notes on typecheck passJohn Hodge (sonata)1-0/+6
2015-01-17Split out AST iteratorJohn Hodge (sonata)4-194/+227
2015-01-17Refactor resolve.cpp AST iterating into common functionJohn Hodge (sonata)4-170/+280
2015-01-17Clean up hanlding of generic paramsJohn Hodge (sonata)6-127/+99
2015-01-17Disabled generic handling in Path::resolve (leave for typecheck pass)John Hodge (sonata)2-13/+13
2015-01-17Trait serialiseJohn Hodge (sonata)8-7/+99
2015-01-17Deserialise working, need to annotate loaded crates with crate IDJohn Hodge (sonata)4-8/+16
2015-01-17Adding deserialise, partially workingJohn Hodge (sonata)14-41/+782
2015-01-16Added associated type reference parse, and tuple value parseJohn Hodge (sonata)8-34/+216
2015-01-15Working on parsing 'std' from a file (instead of hardcoding)John Hodge (sonata)8-28/+266
2015-01-15Type alias bound to path, considering removing std hack and implementing AST ↵John Hodge (sonata)5-21/+54
read
2015-01-15Type aliases added (AST only, no parse yet), need to handle lookupsJohn Hodge (sonata)5-2/+82
2015-01-14Path bind to struct (removed todo that wasn't needed in that location)John Hodge (sonata)2-1/+13
2015-01-14Local type resolution added, framework for local use statementsJohn Hodge (sonata)6-52/+254
2015-01-13Type resolution work in progressJohn Hodge (sonata)2-3/+30
2015-01-12TypeRef printJohn Hodge (sonata)3-2/+52
2015-01-12TypeRef fleshed outJohn Hodge (sonata)5-24/+78
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-21 11:42:15 +0000