summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2015-03-10Rework macro handling to support correct repetitionsJohn Hodge11-102/+455
2015-03-09Parse updatesJohn Hodge11-57/+244
2015-03-09Fixed patterns, bool literalsJohn Hodge8-13/+106
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 Hodge5-52/+163
2015-03-08Macro parsing, saving, and evaluatingJohn Hodge18-436/+920
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 Hodge13-859/+1225
2015-02-01Hacking away at type propagationJohn Hodge9-42/+216
2015-01-25Hacked in dumping as rustJohn Hodge (sonata)17-203/+865
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)7-4/+129
needed)
2015-01-21Type propagation coming alongJohn Hodge (sonata)12-15/+394
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)5-3/+66
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)3-0/+31
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 handlers for more item types to AST iterator, fix bad name in stdJohn Hodge (sonata)4-17/+73
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)10-21/+229
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)3-193/+226
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)5-127/+94
2015-01-17Disabled generic handling in Path::resolve (leave for typecheck pass)John Hodge (sonata)1-12/+12
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)7-33/+215
2015-01-15Working on parsing 'std' from a file (instead of hardcoding)John Hodge (sonata)6-25/+206
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-20 17:07:18 +0000