aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)AuthorFilesLines
2009-06-29Split code up further.David Robillard6-186/+234
git-svn-id: http://svn.drobilla.net/resp/tuplr@165 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-29Don't build LaTeX documentation by default (takes forever).David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@164 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-29Build compiler documentation.David Robillard11-13/+1562
git-svn-id: http://svn.drobilla.net/resp/tuplr@163 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-28write.cpp -> pprint.cpp.David Robillard4-10/+9
git-svn-id: http://svn.drobilla.net/resp/tuplr@162 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-28Rename.David Robillard1-0/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@161 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-28Move code into src directory.David Robillard10-2/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@160 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-28Split unification into a separate file than type constraints.David Robillard3-80/+100
git-svn-id: http://svn.drobilla.net/resp/tuplr@159 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-28Fix type substitution.David Robillard3-21/+49
git-svn-id: http://svn.drobilla.net/resp/tuplr@158 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-27Better error messages.David Robillard1-3/+4
git-svn-id: http://svn.drobilla.net/resp/tuplr@157 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-27Re-enable other tests (poly, nest).David Robillard2-6/+4
git-svn-id: http://svn.drobilla.net/resp/tuplr@156 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-27Lift regardless (fix 'def' test).David Robillard1-2/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@155 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-27Fix substitution of call argument types to generic function type to work ↵David Robillard5-5/+30
with expressions (e.g. fix inferring return type from the return type of a parameter). git-svn-id: http://svn.drobilla.net/resp/tuplr@154 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-27Shave a few lines.David Robillard1-4/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@153 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-27Add nothing type.David Robillard4-28/+37
Only actually compile down to LLVM if main program is typed. git-svn-id: http://svn.drobilla.net/resp/tuplr@152 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-27More CPS conversion work.David Robillard4-20/+20
git-svn-id: http://svn.drobilla.net/resp/tuplr@151 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-26More CPS conversion work.David Robillard5-36/+125
git-svn-id: http://svn.drobilla.net/resp/tuplr@150 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-25Sanify AST constructors.David Robillard5-47/+35
git-svn-id: http://svn.drobilla.net/resp/tuplr@149 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-25Stubs for CPS conversion.David Robillard4-6/+115
git-svn-id: http://svn.drobilla.net/resp/tuplr@148 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-24Forward declare CEnv later.David Robillard1-4/+4
git-svn-id: http://svn.drobilla.net/resp/tuplr@147 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-24Funcs => AFn::ImplsDavid Robillard3-15/+23
git-svn-id: http://svn.drobilla.net/resp/tuplr@146 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Remove unused GC lib function.David Robillard1-9/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@145 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Remove useless AType constructor.David Robillard1-14/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@144 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Tidy.David Robillard2-6/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@143 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Make backend an object.David Robillard4-118/+115
git-svn-id: http://svn.drobilla.net/resp/tuplr@142 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Tidy.David Robillard1-3/+4
git-svn-id: http://svn.drobilla.net/resp/tuplr@141 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Clean separation between backend and CEnv (no more CEnv methods defined in ↵David Robillard3-75/+47
llvm.cpp). git-svn-id: http://svn.drobilla.net/resp/tuplr@140 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Remove redundant module pointer.David Robillard2-3/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@139 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20More sanification of front/back end separation.David Robillard3-69/+72
git-svn-id: http://svn.drobilla.net/resp/tuplr@138 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Move alloc function to backend.David Robillard2-10/+12
git-svn-id: http://svn.drobilla.net/resp/tuplr@137 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Shorten AST names to match code names.David Robillard4-25/+25
git-svn-id: http://svn.drobilla.net/resp/tuplr@136 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Tidy.David Robillard2-8/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@135 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Fix building with explicit stack frames.David Robillard1-9/+7
Tidy. git-svn-id: http://svn.drobilla.net/resp/tuplr@134 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Move eval and repl to tuplr.cpp (non-backend dependent code).David Robillard3-119/+129
git-svn-id: http://svn.drobilla.net/resp/tuplr@133 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Better abstraction for low-level code generation stuff (make repl and eval ↵David Robillard1-80/+82
not backend specific). git-svn-id: http://svn.drobilla.net/resp/tuplr@132 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Accurate garbage collection of types without special (kludge) tag.David Robillard3-17/+17
git-svn-id: http://svn.drobilla.net/resp/tuplr@131 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-20Garbage collection of code-allocated stack frames.David Robillard5-55/+104
git-svn-id: http://svn.drobilla.net/resp/tuplr@130 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Tidy.David Robillard1-2/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@129 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Remove crufty cons/car/cdr implementation that doesn't work anyway.David Robillard5-154/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@128 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Add quick kludgey test suite.David Robillard6-2/+190
git-svn-id: http://svn.drobilla.net/resp/tuplr@127 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Work towards garbage collection and explicitly managed stack frames.David Robillard6-30/+154
git-svn-id: http://svn.drobilla.net/resp/tuplr@126 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Fix function definitions with several expressions in body.David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@125 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Factor out memory/GC related things from AST to Object.David Robillard5-30/+33
git-svn-id: http://svn.drobilla.net/resp/tuplr@124 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Primitive garbage collector for AST nodes.David Robillard6-55/+194
Fix memory leaks. git-svn-id: http://svn.drobilla.net/resp/tuplr@123 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18Rearrange Error order.David Robillard4-43/+43
git-svn-id: http://svn.drobilla.net/resp/tuplr@122 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18Make source location mandatory parameter for Error.David Robillard3-12/+12
git-svn-id: http://svn.drobilla.net/resp/tuplr@121 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18THROW_IF macro.David Robillard4-14/+15
git-svn-id: http://svn.drobilla.net/resp/tuplr@120 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18Primitive internal macro system (for implementing sugar).David Robillard5-15/+86
(def (f x) ...) sugar. git-svn-id: http://svn.drobilla.net/resp/tuplr@119 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18Strip trailing whitespace.David Robillard5-31/+31
git-svn-id: http://svn.drobilla.net/resp/tuplr@118 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-04-20Clean up.David Robillard1-7/+12
git-svn-id: http://svn.drobilla.net/resp/tuplr@117 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-04-19Prettier LaTeX output.David Robillard1-31/+63
git-svn-id: http://svn.drobilla.net/resp/tuplr@116 ad02d1e2-f140-0410-9f75-f8b11f17cedd