aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
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
2009-01-26Clean up / shrink primitive code generation.David Robillard1-15/+7
2009-01-26Somewhat functional type inference.David Robillard1-75/+104
2009-01-26Type inference.David Robillard1-245/+363
2009-01-25Floating point and comparison primitives.David Robillard1-45/+88
2009-01-25Execute and print REPL code with type safety (i.e. print int and bool correct...David Robillard1-2/+8
2009-01-25Coherent type system, prettily exposed to REPL, etc.David Robillard1-308/+357
2009-01-24Shrink.David Robillard1-22/+11
2009-01-24Half decent extensible parser design.David Robillard2-187/+246
2009-01-24Rudimentary type system.David Robillard1-159/+294
2009-01-23Fix sticky REPL value problem.David Robillard1-19/+22
2009-01-23Merge applications into a common AST base type (ASTCall).David Robillard2-173/+122
2009-01-23More primitives.David Robillard1-0/+5
2009-01-23Arithmetic.David Robillard1-21/+93
2009-01-23Cleanup.David Robillard1-5/+5
2009-01-23Remove old error crap.David Robillard1-27/+2
2009-01-23Use exceptions for error handling (shrinks code).David Robillard1-89/+40
2009-01-23Add LLVM LISP JIT interpreter.David Robillard2-0/+608
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-18 23:17:34 +0000