aboutsummaryrefslogtreecommitdiffstats
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2011-01-09Partially resurrect CPS translation pass.David Robillard4-123/+157
2011-01-09Set type of lifted closure component accesses.David Robillard1-1/+3
2011-01-09Don't access type stuff when type annotations are not requested.David Robillard1-1/+1
2010-12-31Fix -P (don't look at types in printer unless annotations are requested).David Robillard1-3/+7
2010-12-31Use standard LLVM optimization passes, and optimize entire module (much more ...David Robillard1-11/+15
2010-12-31Only compile symbols once (cache compiled symbol values specially for this).David Robillard2-5/+7
2010-12-31Compile match 'else' case to unreachable instruction.David Robillard1-5/+7
2010-12-31Report parsing errors.David Robillard2-0/+2
2010-12-31Fix parsing of #f.David Robillard2-2/+3
2010-12-31Fix crash due to recursive initialization.David Robillard1-1/+1
2010-12-31Saner type unification.David Robillard1-13/+3
2010-12-31Print fn parameter type annotations correctly.David Robillard1-9/+16
2010-12-31Only print def type annotations when requested.David Robillard1-1/+1
2010-12-31Define named (and possibly recursive) types for closures and functions.David Robillard5-36/+131
2010-12-31Don't execute code if -S is given.David Robillard1-1/+2
2010-12-31Remove unused Engine::objectType().David Robillard3-18/+0
2010-12-31Remove duplicated type compilation code.David Robillard1-26/+4
2010-12-30Add rrst().David Robillard1-0/+1
2010-12-30More human readable names for allocated memory in output IR.David Robillard1-2/+3
2010-12-30Less code.David Robillard1-5/+2
2010-12-30Abbreviate (def (fn ...))David Robillard1-7/+17
2010-12-30Fix calling inline fn expressions (don't allocate closure twice).David Robillard1-1/+1
2010-12-30Pretty-print annotations.David Robillard1-11/+11
2010-12-30Separate all top-level expressions by a blank line.David Robillard1-2/+3
2010-12-30Fix bug in previous commit.David Robillard1-1/+1
2010-12-30Fix crash at expand phase when def contains no body.David Robillard1-2/+1
2010-12-30Rename allocation function to __resp_alloc.David Robillard3-3/+3
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