Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2009-03-07 | Block comments. | David Robillard | 1 | -10/+23 |
2009-03-07 | Oops. | David Robillard | 3 | -16/+16 |
2009-03-07 | Fancy varargs AType constructor. | David Robillard | 3 | -20/+24 |
2009-03-07 | Fix if type checking for arc style if. | David Robillard | 1 | -6/+12 |
2009-03-07 | Typing improvements. | David Robillard | 4 | -40/+55 |
2009-03-07 | Fancy error reporting for type errors, among other things. | David Robillard | 4 | -76/+89 |
2009-03-06 | Remove low level type stuff completely from core code (let the backend deal w... | David Robillard | 3 | -53/+58 |
2009-03-06 | Cleanup and de-llvm-ify primitive stuff. | David Robillard | 4 | -102/+139 |
2009-03-06 | Ensure only PEnv can create new symbols (and thus they are unique). | David Robillard | 1 | -1/+2 |
2009-03-06 | AType::type() -> AType::ctype(). | David Robillard | 2 | -68/+66 |
2009-03-06 | Tidy. | David Robillard | 4 | -22/+31 |
2009-03-06 | Add dependency on tuplr.hpp for everything. | David Robillard | 3 | -6/+3 |
2009-03-06 | Replace build.sh with a Makefile. Parallel building FTW. | David Robillard | 2 | -5/+14 |
2009-03-06 | Tidy. | David Robillard | 2 | -26/+20 |
2009-03-06 | Halfway decent main program. | David Robillard | 4 | -49/+144 |
2009-03-06 | More generic parser function mechanism that works for atoms too. | David Robillard | 2 | -61/+83 |
2009-03-06 | Tidy/Shrink | David Robillard | 1 | -15/+9 |
2009-03-06 | Fix polymorphic lifting (sort of, can only lift once still). | David Robillard | 2 | -11/+5 |
2009-03-06 | Tidy. | David Robillard | 2 | -30/+32 |
2009-03-06 | Fully remove LLVM dependency from core code. | David Robillard | 4 | -153/+136 |
2009-03-06 | Split LLVM dependent backend from core code. | David Robillard | 6 | -1182/+1351 |
2009-03-05 | Shrink. | David Robillard | 1 | -20/+10 |
2009-03-05 | Less parser specialmagic cruft. | David Robillard | 2 | -56/+34 |
2009-03-05 | Proper error reporting for undefined symbols. | David Robillard | 2 | -41/+47 |
2009-03-05 | Remove silly looking parenthesis from primitive type expressions. | David Robillard | 1 | -25/+42 |
2009-03-05 | Make TEnv an actual lexical environment (not used yet). | David Robillard | 1 | -23/+17 |
2009-03-05 | Cleanup. | David Robillard | 1 | -27/+30 |
2009-03-05 | Proper type inferencing for functions (and more generic) (type the identity f... | David Robillard | 1 | -30/+42 |
2009-03-05 | Work with LLVM 2.4. | David Robillard | 1 | -3/+3 |
2009-03-05 | Don't lift variable typed closures (but don't die). | David Robillard | 4 | -8/+21 |
2009-03-05 | Cleanup. | David Robillard | 1 | -16/+10 |
2009-03-05 | GCC style error reporting with line and column number. | David Robillard | 1 | -102/+116 |
2009-03-05 | Working cons allocation. | David Robillard | 1 | -64/+224 |
2009-01-29 | Pairs. Kinda. | David Robillard | 1 | -20/+141 |
2009-01-28 | Move stuff. | David Robillard | 3 | -166/+831 |
2009-01-28 | Shrink. | David Robillard | 1 | -12/+3 |
2009-01-28 | Shrink. | David Robillard | 1 | -17/+9 |
2009-01-28 | Shuffle code so order of things match in the various sections. | David Robillard | 1 | -52/+52 |
2009-01-28 | Compilation of recursive function definitions. | David Robillard | 1 | -34/+52 |
2009-01-27 | Fix function compilation. | David Robillard | 1 | -4/+4 |
2009-01-27 | Shrink. | David Robillard | 1 | -8/+5 |
2009-01-27 | Real type inference (classic Hindley-Milner straight from TAPL). | David Robillard | 1 | -103/+143 |
2009-01-26 | Shrink. | David Robillard | 1 | -32/+13 |
2009-01-26 | Shrink. | David Robillard | 1 | -25/+19 |
2009-01-26 | Make ASTClosure an ASTTuple. | David Robillard | 1 | -64/+62 |
2009-01-26 | Make SExp a template generic. | David Robillard | 1 | -10/+12 |
2009-01-26 | Shrink. | David Robillard | 1 | -5/+2 |
2009-01-26 | Shrink. | David Robillard | 1 | -79/+68 |
2009-01-26 | Clean up / shrink primitive code generation. | David Robillard | 1 | -15/+7 |
2009-01-26 | Somewhat functional type inference. | David Robillard | 1 | -75/+104 |