aboutsummaryrefslogtreecommitdiffstats
path: root/src/resp.hpp
AgeCommit message (Expand)AuthorFilesLines
2012-12-25Implement ellipses as in R*RS.David Robillard1-10/+17
2012-12-25Support multiple ellipses in macros.David Robillard1-12/+44
2012-12-25Use C++11 range-based for loops.David Robillard1-31/+29
2012-12-25Preliminary syntax-rules macro implementation.David Robillard1-2/+31
2012-12-17Fix calling functions that lexically enclose the current function.David Robillard1-0/+14
2012-12-15Write forward declarations for all types and functions for mutual and/or nest...David Robillard1-0/+5
2012-12-15Compile constructors as LLVM struct types.David Robillard1-1/+3
2012-12-15Add Subst::augment function.David Robillard1-0/+1
2012-12-14More flexible and unified code pass design.David Robillard1-2/+6
2012-12-14Real implementation of algebraic data types, and parametric types.David Robillard1-0/+11
2012-10-15Update for LLVM 3.1David Robillard1-1/+1
2011-05-15Generate code entirely via emitting flat IR (don't special case main/repl).David Robillard1-5/+2
2011-05-14Create 'main' in IR and compile it like any other function.David Robillard1-2/+6
2011-05-14Make currentFn private to the backend.David Robillard1-5/+3
2011-05-14Add flatten stage to generate flat s-expression IR for the (now simpler) comp...David Robillard1-3/+4
2011-05-14Update header for new Engine APIDavid Robillard1-3/+6
2011-01-13Tidier FreeVars::index.David Robillard1-9/+4
2011-01-09Partially resurrect CPS translation pass.David Robillard1-0/+1
2010-12-31Only compile symbols once (cache compiled symbol values specially for this).David Robillard1-0/+3
2010-12-31Fix parsing of #f.David Robillard1-1/+1
2010-12-31Define named (and possibly recursive) types for closures and functions.David Robillard1-0/+19
2010-12-31Remove unused Engine::objectType().David Robillard1-2/+0
2010-12-30Add rrst().David Robillard1-0/+1
2010-12-29Destructuring (i.e. working `match').David Robillard1-2/+3
2010-12-29Literal lists (i.e. list quoting).David Robillard1-18/+30
2010-12-28Use fst ("first") instead of head and rst ("rest") instead of tail.David Robillard1-15/+7
2010-12-27Remove weird __tag_is form by adding a T_LITSYM type and using = operator.David Robillard1-4/+5
2010-12-27Less code.David Robillard1-38/+18
2010-12-27Make ATuple a normal LISPey cons cell (it always was anyway).David Robillard1-32/+22
2010-12-27Kill AType.David Robillard1-131/+106
2010-12-26Remove AType::DOTS.David Robillard1-3/+2
2010-12-26Remove AType::PRIM.David Robillard1-4/+3
2010-12-26Remove apparently unnecessary concrete_type.David Robillard1-18/+2
2010-12-26Remove AType copy constructor.David Robillard1-3/+2
2010-12-26Begin killing AType.David Robillard1-17/+17
2010-12-26Update headers.David Robillard1-1/+1
2010-12-25Simplify let to fn, rather than deal with it through to compilation.David Robillard1-1/+3
2010-12-10Simplify if into nested 2-branch (scheme style) ifs at simplify stage.David Robillard1-13/+14
2010-12-10Move simplification from lift stage to a new (post-typing) simplify stage.David Robillard1-0/+1
2010-12-10Convert match form to if at lift stage (remove knowledge of match from compil...David Robillard1-0/+4
2010-12-09Strip trailing whitespace.David Robillard1-12/+12
2010-12-09Document the free variable implementation (mostly in lift_symbol) better.David Robillard1-1/+1
2010-12-09Fix cpplint warnings.David Robillard1-12/+12
2010-12-09Add let form.David Robillard1-1/+5
2010-12-09read_expression => PEnv::parse.David Robillard1-9/+3
2010-12-09Make environment always referenced by symbols.David Robillard1-58/+69
2010-12-09Const-correct parser.David Robillard1-2/+1
2010-12-09ValVec => CVals.David Robillard1-3/+3
2010-12-09Consistent engine global[Set|Get] interface.David Robillard1-2/+2
2010-12-09Clean up engine code.David Robillard1-20/+19