added single-level closures

added anf pretty printing

fleshed out an ANF based compiler based on ml

added cerise compiler script

corrected generation of globals

almost have closure generation working

fixed free variable detection and started working on code generation

debugging free variable detection. It is still very broken. I do not know why

funcs now have a free variable list

cleaned up debug printing code

added start of free variable tracking to type checker

Added support for float literals

added tests for type checker

added specs for symtable

rearrange files

complete type inferrer/checker but buggy code generation and symbol table implementation

added symbol table to correctly handle scoping

checkpoint commit

updated error messaging and inference of identifiers

implemented basic type checking and inference

checkin cleanup

cleaned up dead code from old if expression syntax

updated parser syntax and AST nodes in preparation for type checking implementation

Merge branch 'master' of git.mdlowis.com:~/git/proto/sclpl-rb

checkpoint commit

tweaked syntax to get rid of let forms in favor of = for definitions

experimented with one-pass code generation and started to overhaul dyn.rb with a two-pass generation assuming immutable bindings and values

checkpoint commit before breaking out codegen stuff

added prototype dynamically typed language compiler. Attempting to proveout closure conversion and one-pass compilation techniques

partial implementation of canonical type lookup

started working on code generation and type checking as a single pass

added TODO list

added parsing of referenced modules

reorg code and work on module loading

added record and array literals

added symbol table class

fixed up array and assignment parsing

added declaration parsing and scaffolding for array

added nillable types

added member access and function calls

implemented statement parsing

added more scaffolding for declarations and assignments

added return statement and scaffolding for other statements

reorged code slightly

tweaked syntax based on ideas from oberon

added ada notes

taking inspiration from ada...

added basic arithmetic operators with proper precedence

implemented first pass at pratt parser

sketched out pratt parser

added bare minimum constant parsing (only ints)

initial commit