summaryrefslogtreecommitdiff
path: root/src/include
AgeCommit message (Collapse)AuthorFilesLines
2016-01-30Better pretty printing, updated resolution logicJohn Hodge3-2/+38
2016-01-30A whole lot of messing around for not muchJohn Hodge1-15/+15
2015-11-06Hack in span support to resolveJohn Hodge1-1/+1
2015-11-03Remove embedded spans (will move to wrapping spans)John Hodge1-2/+9
2015-11-03Move path binding logic into Resolve path to simplifyJohn Hodge1-1/+1
2015-09-20Do two passes of resolve to handle UFCS resolve problemsJohn Hodge1-2/+2
2015-09-19Disable UFCS resolve (due to ordering issues), fix Self handlingJohn Hodge1-1/+2
2015-09-06Rough span supportJohn Hodge1-0/+56
2015-09-05Resolve - Work resolving UFCS traitsJohn Hodge2-19/+17
2015-09-01Large rework to generic bounds (to use a tagged union)John Hodge2-32/+44
2015-08-31Convert path bindings to TAGGED_UNION, improve resolve logic (leading to error)John Hodge1-6/+21
2015-08-28Tagged union for PathJohn Hodge1-6/+37
2015-08-25Rename tagged_enum to tagged_unionJohn Hodge1-50/+58
2015-08-25Compiling once moreJohn Hodge1-0/+20
2015-08-24BROKEN - Halfway through a rewrite of type handlingJohn Hodge2-77/+45
2015-08-23Serialise - Clean up TODO for exceptionJohn Hodge1-0/+13
2015-04-06Work on resolving UFCS paths, infinite loop bug in resolveJohn Hodge1-1/+1
2015-04-05Suport for #[lang], start work on resolving UFCS pathsJohn Hodge1-1/+10
2015-04-03Added partial support for #[derive()]John Hodge2-0/+44
- Supports Debug on struct, and assumes compiling in libcore (for now)
2015-03-29Twiddling root-level typecheckJohn Hodge1-0/+51
2015-03-21Planning resolve for local modulesJohn Hodge1-39/+71
2015-03-19Convert patterns over to tagged unionsJohn Hodge1-8/+43
2015-03-19Clean up copy constructor use, switch part of AST::Pattern to tagged unionJohn Hodge2-8/+16
2015-03-19EVIL tagged union hackjobJohn Hodge1-0/+102
2015-03-17Rework handling of blocks, add sub-modulesJohn Hodge1-1/+6
2015-03-17Replace Enum variant inner typeJohn Hodge2-0/+4
2015-03-13Const items in expressions, attributes in impl blocksJohn Hodge1-0/+6
2015-03-09Fixed patterns, bool literalsJohn Hodge2-0/+4
2015-03-08Macro definitions now being usedJohn Hodge1-14/+6
2015-03-08Macro parsing, saving, and evaluatingJohn Hodge2-0/+25
2015-03-06Bugfixes exposed by fixing formatted outputJohn Hodge2-0/+126
2015-02-01Hacking away at type propagationJohn Hodge1-0/+1
2015-01-25Hacked in dumping as rustJohn Hodge (sonata)1-0/+2
2015-01-18Starting on (framework) for in-function inferrenceJohn Hodge (sonata)1-0/+1
2015-01-18Added pretty type printing, non-expr typecheck correctly fails on too many ↵John Hodge (sonata)1-0/+15
params (forgot to move iterator to associated types)
2015-01-17Adding deserialise, partially workingJohn Hodge (sonata)2-9/+146
2015-01-11Tag paths with base crate, restructure ast.cpp into three filesJohn Hodge (sonata)1-0/+10
2015-01-11Add hacky text output of ASTJohn Hodge (sonata)2-0/+93