aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2010-12-26Begin killing AType.David Robillard1-17/+17
2010-12-26Update headers.David Robillard15-19/+19
2010-12-26Indent let decently.David Robillard1-0/+1
2010-12-25Add let-over-lambda test case.David Robillard2-11/+28
2010-12-25Use type of primitive rather than type of first argument to determine type of...David Robillard1-2/+2
2010-12-25Simplify let to fn, rather than deal with it through to compilation.David Robillard5-68/+66
2010-12-25Print missing trailing `)'.David Robillard1-1/+1
2010-12-10Simplify if into nested 2-branch (scheme style) ifs at simplify stage.David Robillard5-95/+79
2010-12-10Fix type of lifted calls.David Robillard1-5/+3
2010-12-10Move simplification from lift stage to a new (post-typing) simplify stage.David Robillard6-46/+115
2010-12-10Partially update cps.cpp (still doesn't compile).David Robillard1-35/+23
2010-12-10Convert match form to if at lift stage (remove knowledge of match from compil...David Robillard4-42/+89
2010-12-09Sort code.David Robillard1-11/+11
2010-12-09Add option -a to annotate printed code (for -T and -L).David Robillard2-16/+20
2010-12-09Remove trailing whitespace.David Robillard1-8/+8
2010-12-09More readable names for lifted fn implementations.David Robillard1-2/+4
2010-12-09Revert accidental change.David Robillard1-2/+0
2010-12-09Strip trailing whitespace.David Robillard6-35/+35
2010-12-09Document the free variable implementation (mostly in lift_symbol) better.David Robillard3-12/+22
2010-12-09Print newlines after def symbol if type annotation is printed.David Robillard1-2/+5
2010-12-09Print def form more tersely (no newline after symbol).David Robillard1-5/+4
2010-12-09Remove wildly outdated and false intro.resp.David Robillard1-148/+0
2010-12-09Decent pretty printing for all forms.David Robillard1-60/+71
2010-12-09Less code.David Robillard1-23/+11
2010-12-09Fix cpplint warnings.David Robillard12-17/+50
2010-12-09Add let form.David Robillard7-3/+129
2010-12-09Fix indentation.David Robillard1-4/+2
2010-12-09Sort code.David Robillard3-231/+233
2010-12-09read_expression => PEnv::parse.David Robillard4-16/+10
2010-12-09Make environment always referenced by symbols.David Robillard9-77/+87
2010-12-09Const-correct parser.David Robillard4-14/+13
2010-12-09ValVec => CVals.David Robillard1-3/+3
2010-12-09Consistent engine global[Set|Get] interface.David Robillard4-10/+10
2010-12-09Clean up engine code.David Robillard5-266/+311
2010-12-09Tidy.David Robillard1-107/+107
2010-12-08Remove Engine::compileMatch.David Robillard4-32/+35
2010-12-08Eliminate some backend specific code in LLVMEngine::compileMatch (towards mov...David Robillard2-5/+4
2010-12-08Remove Engine::compileIfDavid Robillard4-36/+47
2010-12-08Use factored out if compilation methods to compile match.David Robillard1-49/+23
2010-12-08Consistent naming for Engine compile methods.David Robillard4-15/+19
2010-12-08Clean up function compilation stuff.David Robillard6-40/+52
2010-12-08Print type annotations correctly.David Robillard1-3/+10
2010-12-08Slightly shrink code.David Robillard1-10/+5
2010-12-08compileTup => compileConsDavid Robillard4-6/+6
2010-12-07Tidy.David Robillard1-14/+13
2010-12-07Rename 'lex' to the now more appropriate 'parse'.David Robillard2-2/+2
2010-12-07Rename 'parse' to the now more accurate 'expand'.David Robillard5-19/+18
2010-12-07Saner recursive descent lexer/parser.David Robillard13-220/+200
2010-12-07Pretty print booleans correctly.David Robillard1-1/+1
2010-12-07Factor if compilation into smaller bits (towards a more assembly like IR stag...David Robillard1-45/+83