aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2009-03-15Fix recursion.David Robillard3-180/+222
2009-03-14Lexical addressing, work towards true parametric polymorphism.David Robillard4-200/+432
2009-03-13Don't use TEnv.var() where unnecessary (this needs to go away? maybe?)David Robillard2-7/+7
2009-03-12Remove useless Log class.David Robillard2-19/+12
2009-03-12Tidy.David Robillard2-52/+56
2009-03-12Consistent opaque backend types.David Robillard2-58/+70
2009-03-12Encapsulate more types.David Robillard3-26/+23
2009-03-12More OOey (and smaller) parser design.David Robillard2-42/+33
2009-03-10More super important world changing kind of stuff.David Robillard1-4/+4
2009-03-10Very important crucial fix for many things.David Robillard1-4/+4
2009-03-10Tidy.David Robillard2-7/+7
2009-03-07Shorter and more consistent names (AST -> A).David Robillard5-116/+116
2009-03-07Remove redundant/useless ASTCall::expDavid Robillard3-17/+16
2009-03-07Consistent external forms.David Robillard2-11/+14
2009-03-07Stream based serialisation of AST nodes (can write arbitrarily large expressi...David Robillard4-25/+68
2009-03-07Ensure only CEnv can call compile function directly (fix recursive functions).David Robillard2-7/+9
2009-03-07Make out and error streams fields of CEnv instead of static globals.David Robillard3-18/+18
2009-03-07Tidy.David Robillard4-23/+11
2009-03-07Block comments.David Robillard1-10/+23
2009-03-07Oops.David Robillard3-16/+16
2009-03-07Fancy varargs AType constructor.David Robillard3-20/+24
2009-03-07Fix if type checking for arc style if.David Robillard1-6/+12
2009-03-07Typing improvements.David Robillard4-40/+55
2009-03-07Fancy error reporting for type errors, among other things.David Robillard4-76/+89
2009-03-06Remove low level type stuff completely from core code (let the backend deal w...David Robillard3-53/+58
2009-03-06Cleanup and de-llvm-ify primitive stuff.David Robillard4-102/+139
2009-03-06Ensure only PEnv can create new symbols (and thus they are unique).David Robillard1-1/+2
2009-03-06AType::type() -> AType::ctype().David Robillard2-68/+66
2009-03-06Tidy.David Robillard4-22/+31
2009-03-06Add dependency on tuplr.hpp for everything.David Robillard3-6/+3
2009-03-06Replace build.sh with a Makefile. Parallel building FTW.David Robillard2-5/+14
2009-03-06Tidy.David Robillard2-26/+20
2009-03-06Halfway decent main program.David Robillard4-49/+144
2009-03-06More generic parser function mechanism that works for atoms too.David Robillard2-61/+83
2009-03-06Tidy/ShrinkDavid Robillard1-15/+9
2009-03-06Fix polymorphic lifting (sort of, can only lift once still).David Robillard2-11/+5
2009-03-06Tidy.David Robillard2-30/+32
2009-03-06Fully remove LLVM dependency from core code.David Robillard4-153/+136
2009-03-06Split LLVM dependent backend from core code.David Robillard6-1182/+1351
2009-03-05Shrink.David Robillard1-20/+10
2009-03-05Less parser specialmagic cruft.David Robillard2-56/+34
2009-03-05Proper error reporting for undefined symbols.David Robillard2-41/+47
2009-03-05Remove silly looking parenthesis from primitive type expressions.David Robillard1-25/+42
2009-03-05Make TEnv an actual lexical environment (not used yet).David Robillard1-23/+17
2009-03-05Cleanup.David Robillard1-27/+30
2009-03-05Proper type inferencing for functions (and more generic) (type the identity f...David Robillard1-30/+42
2009-03-05Work with LLVM 2.4.David Robillard1-3/+3
2009-03-05Don't lift variable typed closures (but don't die).David Robillard4-8/+21
2009-03-05Cleanup.David Robillard1-16/+10
2009-03-05GCC style error reporting with line and column number.David Robillard1-102/+116