Fix total pattern match verification

Store ADTs with only singletons in registers

Also define Bool as an ADT within the stdlib!

Check for complete pattern matches

Add extra spicy test case

Fix typechecking with bindings

Start work on collecting all bindings when typechecking nested pattern match

Add more complicated pattern matching test case

Fix bindings in ADT pattern matching codegen

Add case statement codegen and singleton ADTs

Handle pattern matching entire expressions

Add bindings to pattern matching in case statement typechecking

Fix up typechecking of case

WIP on typechecking case statements

Start work on case statements

Flesh out stack values within ADTs

Fix typo

Fix typo

Can now pass about adts stored on the stack

Move utils into its onw file

Check for let pattern matches that they have only one sum

Update main.scm to properly read in multi-expression programs

Check for the right number of bindings in pattern matching

Move expanding pattern matches to its own transformations

I think this will make it easier to understand how pattern matching
works

ADT codegen working for simple types

A bit more work on ADT codegen

Denormalize the type annotated ast, and tag stack values

Annotate ast with types for adt codegen

Formulate destructors properly

Fix let-bindings

Fix flat-map

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

Add test case

Remove redundant range definition

WIP in let-binding pattern match stuff

Start work on ADTs

Tidy up

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