summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2015-04-02Hacked up handling of Sized (handled VERY similar to other .. traits)John Hodge4-14/+53
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
2015-03-29Minor tweaks to handle libcore updateJohn Hodge5-3/+42
2015-03-29Twiddling root-level typecheckJohn Hodge8-88/+145
2015-03-27Split type and lifetime parameters apartJohn Hodge7-96/+73
2015-03-27Fix minor issues in path resolving (bindings incorrect in places)John Hodge4-1/+13
2015-03-27Rework paths bindings to be a separate (printable) structure, add -WerrorJohn Hodge10-213/+262
2015-03-26Comment headers and readme updateJohn Hodge7-12/+58
2015-03-26Split out AST pattern codeJohn Hodge2-107/+123
2015-03-26Integer literal output, signed pattern hackeryJohn Hodge2-21/+35
2015-03-26Remove the ASSOCIATED type (now handled by the UFCS path type)John Hodge6-50/+28
2015-03-26Warning cleanupJohn Hodge2-0/+34
2015-03-26Cleaning up rust source outputJohn Hodge6-4/+78
2015-03-25Printing cleanup, missing resolve locationsJohn Hodge2-2/+10
2015-03-25Add flag for irrefutable matches, prevents arguments from being resolvedJohn Hodge5-39/+54
2015-03-25Wildcard imports in Path::resolve, associated types in ast_iterateJohn Hodge2-2/+19
2015-03-25Macros updated with concat!, stringify!, and $crateJohn Hodge8-38/+319
2015-03-25Fix pattern handling (not using Parse_Pattern for & patterns, inverted check ↵John Hodge2-4/+5
for & pattern iterate)
2015-03-25HACK - Handle the case of core::iter::order importing core::ord, but also ↵John Hodge4-6/+15
defining an 'ord' function
2015-03-24resolve "if let", remove tiny bit of typecheck in path lookupJohn Hodge3-9/+24
2015-03-24Slow bugfixesJohn Hodge4-3/+16
2015-03-24Path resolution coming alongJohn Hodge3-10/+53
2015-03-24Wildcard path resolution possibily workingJohn Hodge4-85/+110
2015-03-23Move item lookup from AST::Path to AST::ModuleJohn Hodge4-191/+297
2015-03-22Wildcard lookups in convert resolve, use processing of anon modulesJohn Hodge2-4/+33
2015-03-22Clean up local path resolution, add internal 'str' typeJohn Hodge8-102/+198
2015-03-22Parsing "Composite" DSTs (Trait + Trait2 + Trait3)John Hodge3-5/+33
2015-03-22Hack in UFCS <Type as Trait> syntaxJohn Hodge5-10/+34
2015-03-21Planning resolve for local modulesJohn Hodge5-42/+99
2015-03-21Misc (warning suppression, planning trait methods in resolve)John Hodge3-0/+5
2015-03-21(minor) Commenting on ! in Parse_TypeJohn Hodge1-2/+3
2015-03-21Move wildcard use to Path::resolve, add 'bool' typeJohn Hodge6-57/+108
2015-03-21Fix minor lexing and dump issuesJohn Hodge4-23/+46
2015-03-21Add && => & & split in exprJohn Hodge1-0/+3
2015-03-21Split pattern parsing out of expr.cppJohn Hodge4-249/+269
2015-03-21Rework macro handling to (hopefully) correctly handle nested repetionsJohn Hodge8-132/+346
2015-03-20Split parse/root.cpp upJohn Hodge4-357/+425
2015-03-20Lifetime bounds, pattern fragments, nested modulesJohn Hodge7-24/+47
2015-03-19Struct patterns, return with no semicolonJohn Hodge2-7/+12
2015-03-19Convert patterns over to tagged unionsJohn Hodge7-136/+244
2015-03-19Clean up copy constructor use, switch part of AST::Pattern to tagged unionJohn Hodge5-60/+48
2015-03-19EVIL tagged union hackjobJohn Hodge3-1/+157