Add clash constraints when merging

WIP on typechecker refactor

Need to figure out the best way to union merge constraints, where they
have the same key but one has a more concrete term

Fix starting off with the wrong stack index

And thus fix botched backtraces

Make base pointer to point to the previous frames base pointer

Backtrace still looks kinda funny in lldb

Add notes on typechecking

Merge branch 'master' of lukelau.me:/srv/git/scheme

Add support for recursive let binding codegen

Add notes on ownership

Add pow test

Add a test for equality

Reset label and lambda counters on compile

Also emit some comments in the assembly for debugging

Fix = codegen

Use the sete instruction instead of the just plain wrong subtraction
method

Fix graph not considering original binds when recursing

Update recursive test to simpler example

Substitute constraints after recursive call

Now it typechecks! Also fix type-equal? being too lenient

Add ast-find

Refactor unify

Always use PIC for static string codegen

Start thinking about heap allocation

Add dodgy uname based host OS detection

Substitute only the variables in the scc

This preserves the most generic possible type

Also add a test for type equality (unifies, but only type variable
substitutions)
Fix graph when there's no bindings

Break up lets into SCCs before typechecking

This means each binding gets the most general type possible.
Part of the work towards supporting typechecking recursive functions

Add some documentation to the abi

Add a bunch more tests

Fill in missing builtin lambda info

Fix overwriting preserved base pointer in prolog

Also fix illegal instruction copying over captives

Add new test

Allocate and pass closures on the heap

Merge branch 'master' of lukelau.me:/srv/git/scheme

More WIP on closures

Add WIP on passing about closures

Allocate heap at the start

Fix string addressing and clobbered register

Fix static string addressing

Add darwin target support

Make the ABI respect stack etc.

Update main for codegen changes

Add strings and print primitive

Remove C dependency, directly emit _start

Codegen if statements

Add ast-traverse helper

Refactor ast "pattern matching" to a single function

Add recursive let-bindings

Fix some normalization issues, add codegen tests

First pass at lambdas and closures

Add pretty printing for types

Add more binary ops

Resolve types in lambda arguments, recursively substitute

Also add test

Normalize lambdas to be single arguments only

Split out compiler into codegen and main

Fix up codegen-add for vars

Add let bindings

Also split out some helpers into a separate ast file
Need to split compiler out into codegen and main

Add .gitignore

Add consolidation, tie up with typechecker

Also normalize program before typechecking

Start typechecker