aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)AuthorFilesLines
2009-03-07Stream based serialisation of AST nodes (can write arbitrarily large ↵David Robillard4-25/+68
expressions without chewing memory). git-svn-id: http://svn.drobilla.net/resp/tuplr@75 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Ensure only CEnv can call compile function directly (fix recursive functions).David Robillard2-7/+9
git-svn-id: http://svn.drobilla.net/resp/tuplr@74 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Make out and error streams fields of CEnv instead of static globals.David Robillard3-18/+18
git-svn-id: http://svn.drobilla.net/resp/tuplr@73 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Tidy.David Robillard4-23/+11
git-svn-id: http://svn.drobilla.net/resp/tuplr@72 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Block comments.David Robillard1-10/+23
Wrap up cursor moving logic into a separate function so it's less crufty. git-svn-id: http://svn.drobilla.net/resp/tuplr@71 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Oops.David Robillard3-16/+16
git-svn-id: http://svn.drobilla.net/resp/tuplr@70 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Fancy varargs AType constructor.David Robillard3-20/+24
git-svn-id: http://svn.drobilla.net/resp/tuplr@69 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Fix if type checking for arc style if.David Robillard1-6/+12
git-svn-id: http://svn.drobilla.net/resp/tuplr@68 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Typing improvements.David Robillard4-40/+55
More location information. git-svn-id: http://svn.drobilla.net/resp/tuplr@67 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Fancy error reporting for type errors, among other things.David Robillard4-76/+89
git-svn-id: http://svn.drobilla.net/resp/tuplr@66 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Remove low level type stuff completely from core code (let the backend deal ↵David Robillard3-53/+58
with conversion of abstract types to compiled types). git-svn-id: http://svn.drobilla.net/resp/tuplr@65 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Cleanup and de-llvm-ify primitive stuff.David Robillard4-102/+139
Fix type inference (only treat actual type expressions as type expressions). git-svn-id: http://svn.drobilla.net/resp/tuplr@64 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Ensure only PEnv can create new symbols (and thus they are unique).David Robillard1-1/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@63 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06AType::type() -> AType::ctype().David Robillard2-68/+66
git-svn-id: http://svn.drobilla.net/resp/tuplr@62 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Tidy.David Robillard4-22/+31
git-svn-id: http://svn.drobilla.net/resp/tuplr@61 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Add dependency on tuplr.hpp for everything.David Robillard3-6/+3
Shrink. git-svn-id: http://svn.drobilla.net/resp/tuplr@60 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Replace build.sh with a Makefile. Parallel building FTW.David Robillard2-5/+14
git-svn-id: http://svn.drobilla.net/resp/tuplr@59 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Tidy.David Robillard2-26/+20
git-svn-id: http://svn.drobilla.net/resp/tuplr@58 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Halfway decent main program.David Robillard4-49/+144
Move main program stuff from LLVM specific code file to tuplr.cpp. git-svn-id: http://svn.drobilla.net/resp/tuplr@57 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06More generic parser function mechanism that works for atoms too.David Robillard2-61/+83
Use atom parser methods to parse literals. Remove the last of the language and backend specific things from core code. git-svn-id: http://svn.drobilla.net/resp/tuplr@56 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Tidy/ShrinkDavid Robillard1-15/+9
git-svn-id: http://svn.drobilla.net/resp/tuplr@55 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Fix polymorphic lifting (sort of, can only lift once still).David Robillard2-11/+5
git-svn-id: http://svn.drobilla.net/resp/tuplr@54 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Tidy.David Robillard2-30/+32
git-svn-id: http://svn.drobilla.net/resp/tuplr@53 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Fully remove LLVM dependency from core code.David Robillard4-153/+136
git-svn-id: http://svn.drobilla.net/resp/tuplr@52 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Split LLVM dependent backend from core code.David Robillard6-1182/+1351
No more pretty little one filer. Oh well. git-svn-id: http://svn.drobilla.net/resp/tuplr@51 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Shrink.David Robillard1-20/+10
git-svn-id: http://svn.drobilla.net/resp/tuplr@50 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Less parser specialmagic cruft.David Robillard2-56/+34
git-svn-id: http://svn.drobilla.net/resp/tuplr@49 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Proper error reporting for undefined symbols.David Robillard2-41/+47
Fix line/col in error messages to point to start of relevant token. git-svn-id: http://svn.drobilla.net/resp/tuplr@48 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Remove silly looking parenthesis from primitive type expressions.David Robillard1-25/+42
git-svn-id: http://svn.drobilla.net/resp/tuplr@47 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-05Make TEnv an actual lexical environment (not used yet).David Robillard1-23/+17
Proper parsing of boolean literals "true" and "false". git-svn-id: http://svn.drobilla.net/resp/tuplr@46 ad02d1e2-f140-0410-9f75-f8b11f17cedd
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