Commits

Show all
Author Commit Message Labels Comments Date
shawnh
Support the set! ast node type in the search for free variables.
shawnh
Crashing on identifier lookup failure is a little too harsh. Resolve issue #2.
shawnh
Broke out the LLVM-compilation code; fixed some bugs in the revised typechecker; for some reason the 'fast' CallConv not working properly, so I disabled it for now.
shawnh
Tried to clean up the typechecking code a bit, and prune out some of the old crufty stuff.
shawnh
Added some preliminary support for let-polymorphism in the typechecker.
shawnh
Moved some typecheck code from llvm to typecheck module.
shawnh
Couple of small code cleanups.
shawnh
Start verifying the types of the args for LLVM functions; and call the right version of the function.
shawnh
Small expansion of the LLVM primitive support; dbl- dbl* dbl/ operations.
shawnh
Got a very simple primitive function (dbl+) generating LLVM code.
shawnh
Resolved some horrible merge problems that I brought on myself.
shawnh
Hacked up a version that will actually invoke the LLVM execution engine. Identity function lives!
shawnh
Added some changes to lay the groundwork for JIT-compiling a mandelbrot test.
shawnh
Branch merge.
shawnh
Made a little hack to allow annotating the type of variables.
shawnh
Allow the AST to carry an optional type annotation. Probably a temporary feature.
shawnh
Branch merge.
shawnh
A few minor tweaks to the bytecode compiler stage.
shawnh
The first little bit of LLVM compiling. Can compile ((lambda (x) x) 3.4)
shawnh
Got started on a function that finds all the unsolved type variables under an AST node.
shawnh
Converted the typechecker to thread the type judgements through instead of using a mutable hash table.
shawnh
Removing unused file; added a small comment.
shawnh
Getting the closure type more coherent; a few cleanups to prettify things.
shawnh
Removed the ill-considered 'type' field from variables.
shawnh
A couple of small tweaks to the pretty printing.
Alan Falloon
Added .depend to .hgignore
Alan Falloon
Adding the link options necessary for llvm.
shawnh
Put in some of the code for finding the free variables in an expression.
shawnh
Renamed bc_abstraction to lambda.
shawnh
Added the LLVM code generator to the list of targets.
  1. Prev
  2. Next