summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2015-08-28Tagged union for PathJohn Hodge10-301/+496
2015-08-25Rename tagged_enum to tagged_unionJohn Hodge4-54/+63
2015-08-25Compiling once moreJohn Hodge5-39/+117
2015-08-24BROKEN - Halfway through a rewrite of type handlingJohn Hodge11-526/+693
2015-08-23Serialise - Clean up TODO for exceptionJohn Hodge2-12/+25
2015-08-23Cleanup and new syntaxJohn Hodge12-195/+234
2015-06-04Fix issues with printout, lexing, and pattern resolvingJohn Hodge3-3/+7
2015-06-04Resolve running once more, seems to be goodJohn Hodge2-7/+18
2015-06-04Rework path handling and resolve to better handle SelfJohn Hodge9-230/+392
2015-05-23Minor cleanupJohn Hodge2-4/+6
2015-05-22Clean up cruft in macro expansionJohn Hodge1-73/+4
2015-05-22Restructure macro expansion to correctly fit rustc's modelJohn Hodge8-72/+219
2015-05-20(old) BNF updateJohn Hodge3-1/+8
2015-04-15BNF - Successfully parses test crateJohn Hodge3-5/+31
2015-04-15BNF - Hacked around >> to > translationJohn Hodge2-4/+20
2015-04-15BNF - Now parses sample down to '>>' -> '>' '>' decompositionJohn Hodge3-15/+84
2015-04-06Committing before shelving for a bit, this makes my head hurtJohn Hodge1-29/+51
2015-04-06Work on resolving UFCS paths, infinite loop bug in resolveJohn Hodge10-61/+169
2015-04-06(Oops) forgot the file for #[lang] supportJohn Hodge1-0/+80
2015-04-06TwiddleJohn Hodge2-15/+29
2015-04-05Suport for #[lang], start work on resolving UFCS pathsJohn Hodge13-67/+213
2015-04-05Move handling of wildcard trait destructure to TypeRefJohn Hodge4-79/+106
2015-04-05(minor) TODO with thinkings about Self and boundsJohn Hodge1-0/+2
2015-04-05Replace 'Self' at resolve-time, with special case for boundsJohn Hodge4-8/+33
2015-04-05Convert invocations of find_impl, to use the bool versionJohn Hodge2-6/+5
2015-04-05Tag params with source, rewrite find_impl to return booleanJohn Hodge6-19/+78
2015-04-04Lexer - Handle integer suffixesJohn Hodge1-11/+29
2015-04-04Hacked in parsing of HRLsJohn Hodge2-0/+30
2015-04-04Working on BNF a little more, ughJohn Hodge3-61/+255
2015-04-04Handle 'self::' paths, fix macro name resolution, fix handling of 'use ::'John Hodge3-20/+47
2015-04-04Add structure to check for impls on type paramsJohn Hodge2-6/+28
2015-04-04(Minor) commenting on procedure for generic trait checkingJohn Hodge1-1/+16
2015-04-04Further work on handling wildcard traitsJohn Hodge4-34/+58
2015-04-04Fixed incorrect resolution order for params in typecheck_paramsJohn Hodge1-3/+6
2015-04-04Partial auto-determining of wildcard trait implsJohn Hodge2-12/+65
2015-04-03Added partial support for #[derive()]John Hodge11-6/+283
- Supports Debug on struct, and assumes compiling in libcore (for now)
2015-04-03(minor) Note desire to remove unnessesary copy of vectorJohn Hodge1-0/+1
2015-04-03Save #[] attrs with item, ready for post-processing derive()John Hodge10-208/+230
2015-04-02Hacked up handling of Sized (handled VERY similar to other .. traits)John Hodge4-14/+53
2015-04-02BNF - Coming along, freezing for nowJohn Hodge4-16/+102
2015-04-01Hacking up a BNF grammarJohn Hodge3-0/+160
2015-04-01More work on wildcard implsJohn Hodge10-107/+176
2015-03-31Root-level typecheck now up to requiring SizedJohn Hodge6-57/+107
2015-03-31Replace arguments in paths, and fix edge case in resolve where types were ↵John Hodge5-12/+45
not resolved if added as defaults
2015-03-31Add Copy impls (hacky), and parameter count checking/extendingJohn Hodge6-18/+69
2015-03-31Partial comparisons of types/paths to speed up impl searchesJohn Hodge6-3/+78
2015-03-31Fully convert trait name in 'impl' to be a AST:PathJohn Hodge9-23/+44
2015-03-30Add ordering to TypeRef and Path (to generalise operator== and operator<John Hodge5-23/+105
2015-03-30Handling of 'Self' in param typecheckJohn Hodge2-11/+27
2015-03-29Handling for 'T::method()' (where T is a type param)John Hodge5-16/+40
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-19 13:43:44 +0000