aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)AuthorFilesLines
2009-03-05Cleanup.David Robillard1-27/+30
git-svn-id: http://svn.drobilla.net/resp/tuplr@45 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Proper type inferencing for functions (and more generic) (type the identity ↵David Robillard1-30/+42
function polymorphically correctly). git-svn-id: http://svn.drobilla.net/resp/tuplr@44 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Work with LLVM 2.4.David Robillard1-3/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@43 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Don't lift variable typed closures (but don't die).David Robillard4-8/+21
Add some test programs. git-svn-id: http://svn.drobilla.net/resp/tuplr@42 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Cleanup.David Robillard1-16/+10
git-svn-id: http://svn.drobilla.net/resp/tuplr@41 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05GCC style error reporting with line and column number.David Robillard1-102/+116
git-svn-id: http://svn.drobilla.net/resp/tuplr@40 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Working cons allocation.David Robillard1-64/+224
Polymorphic function lifting. git-svn-id: http://svn.drobilla.net/resp/tuplr@39 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-29Pairs. Kinda.David Robillard1-20/+141
git-svn-id: http://svn.drobilla.net/resp/tuplr@38 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-28Move stuff.David Robillard3-166/+831
git-svn-id: http://svn.drobilla.net/resp/tuplr@37 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-28Shrink.David Robillard1-12/+3
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@30 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-28Shrink.David Robillard1-17/+9
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@29 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-28Shuffle code so order of things match in the various sections.David Robillard1-52/+52
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@28 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-28Compilation of recursive function definitions.David Robillard1-34/+52
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@27 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-27Fix function compilation.David Robillard1-4/+4
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@26 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-27Shrink.David Robillard1-8/+5
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@25 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-27Real type inference (classic Hindley-Milner straight from TAPL).David Robillard1-103/+143
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@24 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-26Shrink.David Robillard1-32/+13
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@23 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-26Shrink.David Robillard1-25/+19
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@22 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-26Make ASTClosure an ASTTuple.David Robillard1-64/+62
Make Exp more generic (typedef list type). Shrink. git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@21 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-26Make SExp a template generic.David Robillard1-10/+12
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@20 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-26Shrink.David Robillard1-5/+2
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@19 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-26Shrink.David Robillard1-79/+68
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@18 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-26Clean up / shrink primitive code generation.David Robillard1-15/+7
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@17 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-26Somewhat functional type inference.David Robillard1-75/+104
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@16 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-26Type inference.David Robillard1-245/+363
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@15 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-25Floating point and comparison primitives.David Robillard1-45/+88
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@14 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-25Execute and print REPL code with type safety (i.e. print int and bool ↵David Robillard1-2/+8
correctly). git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@13 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-25Coherent type system, prettily exposed to REPL, etc.David Robillard1-308/+357
Def symbols to functions. Calling functions through symbols. git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@12 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-24Shrink.David Robillard1-22/+11
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@11 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-24Half decent extensible parser design.David Robillard2-187/+246
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@10 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-24Rudimentary type system.David Robillard1-159/+294
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@9 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-23Fix sticky REPL value problem.David Robillard1-19/+22
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@8 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-23Merge applications into a common AST base type (ASTCall).David Robillard2-173/+122
Merge parsing of calls. git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@7 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-23More primitives.David Robillard1-0/+5
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@6 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-23Arithmetic.David Robillard1-21/+93
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@5 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-23Cleanup.David Robillard1-5/+5
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@4 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-23Remove old error crap.David Robillard1-27/+2
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@3 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-23Use exceptions for error handling (shrinks code).David Robillard1-89/+40
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@2 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-01-23Add LLVM LISP JIT interpreter.David Robillard2-0/+608
git-svn-id: http://svn.drobilla.net/resp/llvm-lisp@1 ad02d1e2-f140-0410-9f75-f8b11f17cedd