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