aboutsummaryrefslogtreecommitdiffstats
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2010-12-29Destructuring (i.e. working `match').David Robillard7-12/+94
2010-12-29Always print first argument on next line if callee is a list.David Robillard1-5/+10
2010-12-29Don't add __unreachable to free vars.David Robillard1-1/+1
2010-12-29Improve pretty-printing (fix broken indent when call head is a list).David Robillard1-10/+28
2010-12-29Less code.David Robillard1-9/+2
2010-12-29Literal lists (i.e. list quoting).David Robillard9-80/+231
2010-12-28Avoid string copy (store const char* for command line filenames instead of st...David Robillard1-8/+9
2010-12-28Fix crash when def name is not a symbol.David Robillard1-3/+3
2010-12-28Use fst ("first") instead of head and rst ("rest") instead of tail.David Robillard10-46/+38
2010-12-28Add quote form, to allow expressions literal symbols and lists (lists not yet...David Robillard7-4/+52
2010-12-28Print type annotations for top-level expressions when -a is given.David Robillard1-9/+14
2010-12-28Tidy.David Robillard1-15/+15
2010-12-27Remove weird __tag_is form by adding a T_LITSYM type and using = operator.David Robillard9-45/+30
2010-12-27Less code.David Robillard1-38/+18
2010-12-27Make ATuple a normal LISPey cons cell (it always was anyway).David Robillard5-40/+26
2010-12-27Kill AType.David Robillard14-429/+394
2010-12-26Remove AType::DOTS.David Robillard3-7/+13
2010-12-26Remove AType::PRIM.David Robillard5-15/+12
2010-12-26Remove apparently unnecessary concrete_type.David Robillard1-18/+2
2010-12-26More sensible check for Fn type.David Robillard1-3/+1
2010-12-26Remove AType copy constructor.David Robillard3-9/+6
2010-12-26Begin killing AType.David Robillard1-17/+17
2010-12-26Update headers.David Robillard15-19/+19
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 Robillard5-46/+114
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-09Strip trailing whitespace.David Robillard6-35/+35
2010-12-09Document the free variable implementation (mostly in lift_symbol) better.David Robillard2-12/+20
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-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 Robillard5-3/+121
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