summaryrefslogtreecommitdiff
path: root/src/ast/ast.cpp
AgeCommit message (Collapse)AuthorFilesLines
2015-09-20Do two passes of resolve to handle UFCS resolve problemsJohn Hodge1-0/+1
2015-09-19Remove function class in favor of full UFCSJohn Hodge1-26/+0
2015-09-05Resolve - Work resolving UFCS traitsJohn Hodge1-1/+56
2015-09-01Large rework to generic bounds (to use a tagged union)John Hodge1-22/+84
2015-08-31Convert path bindings to TAGGED_UNION, improve resolve logic (leading to error)John Hodge1-34/+39
2015-08-24BROKEN - Halfway through a rewrite of type handlingJohn Hodge1-3/+3
2015-06-04Rework path handling and resolve to better handle SelfJohn Hodge1-2/+2
2015-05-23Minor cleanupJohn Hodge1-3/+5
2015-04-06Work on resolving UFCS paths, infinite loop bug in resolveJohn Hodge1-30/+29
2015-04-05Suport for #[lang], start work on resolving UFCS pathsJohn Hodge1-0/+16
2015-04-05Move handling of wildcard trait destructure to TypeRefJohn Hodge1-79/+1
2015-04-05Replace 'Self' at resolve-time, with special case for boundsJohn Hodge1-2/+1
2015-04-05Convert invocations of find_impl, to use the bool versionJohn Hodge1-4/+4
2015-04-05Tag params with source, rewrite find_impl to return booleanJohn Hodge1-11/+20
2015-04-04Add structure to check for impls on type paramsJohn Hodge1-2/+11
2015-04-04(Minor) commenting on procedure for generic trait checkingJohn Hodge1-1/+16
2015-04-04Further work on handling wildcard traitsJohn Hodge1-29/+30
2015-04-04Partial auto-determining of wildcard trait implsJohn Hodge1-12/+63
2015-04-03Save #[] attrs with item, ready for post-processing derive()John Hodge1-9/+20
2015-04-02Hacked up handling of Sized (handled VERY similar to other .. traits)John Hodge1-12/+45
2015-04-01More work on wildcard implsJohn Hodge1-63/+109
2015-03-31Root-level typecheck now up to requiring SizedJohn Hodge1-30/+25
2015-03-31Add Copy impls (hacky), and parameter count checking/extendingJohn Hodge1-2/+4
2015-03-31Partial comparisons of types/paths to speed up impl searchesJohn Hodge1-1/+23
2015-03-31Fully convert trait name in 'impl' to be a AST:PathJohn Hodge1-5/+8
2015-03-29Twiddling root-level typecheckJohn Hodge1-0/+1
2015-03-27Split type and lifetime parameters apartJohn Hodge1-43/+18
2015-03-27Rework paths bindings to be a separate (printable) structure, add -WerrorJohn Hodge1-7/+8
2015-03-26Split out AST pattern codeJohn Hodge1-107/+0
2015-03-25HACK - Handle the case of core::iter::order importing core::ord, but also ↵John Hodge1-3/+11
defining an 'ord' function
2015-03-24resolve "if let", remove tiny bit of typecheck in path lookupJohn Hodge1-1/+1
2015-03-24Slow bugfixesJohn Hodge1-0/+1
2015-03-24Path resolution coming alongJohn Hodge1-4/+7
2015-03-24Wildcard path resolution possibily workingJohn Hodge1-10/+41
2015-03-23Move item lookup from AST::Path to AST::ModuleJohn Hodge1-0/+124
2015-03-20Lifetime bounds, pattern fragments, nested modulesJohn Hodge1-3/+4
2015-03-19Convert patterns over to tagged unionsJohn Hodge1-41/+89
2015-03-19Clean up copy constructor use, switch part of AST::Pattern to tagged unionJohn Hodge1-6/+4
2015-03-17Replace Enum variant inner typeJohn Hodge1-0/+6
2015-03-15Rework type params, add ! "type"John Hodge1-7/+11
2015-03-12Float parsing, module-level macro expansionJohn Hodge1-0/+2
2015-03-09Parse updatesJohn Hodge1-8/+23
2015-03-08Macro parsing, saving, and evaluatingJohn Hodge1-23/+132
2015-01-25Hacked in dumping as rustJohn Hodge (sonata)1-6/+187
2015-01-23Autoderef on method lookup, further provements to method lookupJohn Hodge (sonata)1-3/+20
2015-01-22(minor) Comment updateJohn Hodge (sonata)1-0/+1
2015-01-22Added bounds to _ types, propagating type params further (and replacing when ↵John Hodge (sonata)1-0/+5
needed)
2015-01-21Type propagation coming alongJohn Hodge (sonata)1-0/+52
2015-01-18Up to requiring checks for trait implementationsJohn Hodge (sonata)1-3/+4
2015-01-18Added support for associated types in impl blocksJohn Hodge (sonata)1-1/+2