aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2009-06-28Split unification into a separate file than type constraints.David Robillard3-80/+100
2009-06-28Fix type substitution.David Robillard3-21/+49
2009-06-27Better error messages.David Robillard1-3/+4
2009-06-27Re-enable other tests (poly, nest).David Robillard2-6/+4
2009-06-27Lift regardless (fix 'def' test).David Robillard1-2/+1
2009-06-27Fix substitution of call argument types to generic function type to work with...David Robillard5-5/+30
2009-06-27Shave a few lines.David Robillard1-4/+2
2009-06-27Add nothing type.David Robillard4-28/+37
2009-06-27More CPS conversion work.David Robillard4-20/+20
2009-06-26More CPS conversion work.David Robillard5-36/+125
2009-06-25Sanify AST constructors.David Robillard5-47/+35
2009-06-25Stubs for CPS conversion.David Robillard4-6/+115
2009-06-24Forward declare CEnv later.David Robillard1-4/+4
2009-06-24Funcs => AFn::ImplsDavid Robillard3-15/+23
2009-06-20Remove unused GC lib function.David Robillard1-9/+3
2009-06-20Remove useless AType constructor.David Robillard1-14/+0
2009-06-20Tidy.David Robillard2-6/+3
2009-06-20Make backend an object.David Robillard4-118/+115
2009-06-20Tidy.David Robillard1-3/+4
2009-06-20Clean separation between backend and CEnv (no more CEnv methods defined in ll...David Robillard3-75/+47
2009-06-20Remove redundant module pointer.David Robillard2-3/+2
2009-06-20More sanification of front/back end separation.David Robillard3-69/+72
2009-06-20Move alloc function to backend.David Robillard2-10/+12
2009-06-20Shorten AST names to match code names.David Robillard4-25/+25
2009-06-20Tidy.David Robillard2-8/+2
2009-06-20Fix building with explicit stack frames.David Robillard1-9/+7
2009-06-20Move eval and repl to tuplr.cpp (non-backend dependent code).David Robillard3-119/+129
2009-06-20Better abstraction for low-level code generation stuff (make repl and eval no...David Robillard1-80/+82
2009-06-20Accurate garbage collection of types without special (kludge) tag.David Robillard3-17/+17
2009-06-20Garbage collection of code-allocated stack frames.David Robillard5-55/+104
2009-06-19Tidy.David Robillard1-2/+2
2009-06-19Remove crufty cons/car/cdr implementation that doesn't work anyway.David Robillard5-154/+1
2009-06-19Add quick kludgey test suite.David Robillard6-2/+190
2009-06-19Work towards garbage collection and explicitly managed stack frames.David Robillard6-30/+154
2009-06-19Fix function definitions with several expressions in body.David Robillard1-1/+1
2009-06-19Factor out memory/GC related things from AST to Object.David Robillard5-30/+33
2009-06-19Primitive garbage collector for AST nodes.David Robillard6-55/+194
2009-06-18Rearrange Error order.David Robillard4-43/+43
2009-06-18Make source location mandatory parameter for Error.David Robillard3-12/+12
2009-06-18THROW_IF macro.David Robillard4-14/+15
2009-06-18Primitive internal macro system (for implementing sugar).David Robillard5-15/+86
2009-06-18Strip trailing whitespace.David Robillard5-31/+31
2009-04-20Clean up.David Robillard1-7/+12
2009-04-19Prettier LaTeX output.David Robillard1-31/+63
2009-04-19Valid XHTML 1.0.David Robillard1-1/+2
2009-04-19Fix colors.David Robillard1-3/+4
2009-04-19Add pygments highlighting script.David Robillard1-0/+113
2009-03-31Fix polymorphic functions (somewhat).David Robillard3-15/+15
2009-03-31Fix type constraint for symbols (match type of lexical binding).David Robillard1-4/+1
2009-03-30Add really primitive pretty printer.David Robillard3-5/+53