Fix code generation for compares.
Parse and set builtin constraints. First cut.
Move inference state into state struct.
Add test for builtin constraints.
Nested functions work slightly better now.
Make nested functions work.
Be pickier about instruction formats.
We now make a valiant attempt at destructuring tuples.
Add support for creating unions on the stack.
Move away from literals for tuples.
Make the tuple test test things more usefully.
Merge branch 'master' of git+ssh://mimir.eigenstate.org/git/ori/mc2
Merge branch 'master' of git+ssh://mimir.eigenstate.org/git/ori/mc2
GCC, you're annoying at times.
Start work towards closures.
Add test for nested functions.
Rename 'coloncolon' to 'trait'.
Fix writing literal arrays.
Infer types for array literals.
Parse and store unadorned literal sequences
Merge branch 'master' of git+ssh://mimir.eigenstate.org/git/ori/mc2
Make generating global uninitialized blobs work.
Add tests for global arrays.
Get rid of generating new bitsets.
Speed up adjacency iteration.
Don't walk past the end of the array.
Speed up bitset iteration a bit.
More work towards getting sequence literals to work.
Add tests for literal sequences.
Add parenthesized submatches.
Override the default yacc rule for make.
Fix up grammar to only accept valider patterns.
Remove bad tree generation.
Add const matching test, fix up test script.
Add test for matching constants.
Make checking sub-union members work.
Add test for unions with args
Actually store the union tags.
Compile matchunion to incorrect asm!
start of tutorial-spec-thingy.
Compile matches on literal values.
Add test for type checking match types.
Try to unify pattern types.
Create nodes for match statements correctly.
Add constructors for match nodes
Add in node types for match and match patterns.
Stub out grammar for matches.
Allow chaining prefix expressions.
Add test for integer matching.
Generate code for creating unions.
Work towards codegen for unions
Add test for union creation
Allow Ovar as a top level operator.
Work towards supporting unions.
Remove dead data structure.
Allow nullary union constructors.
Add parsing for union constructors.
Give correct error when unifying mismatched aliases
Make sizeof stuff work nicer.
Make returns with 0 args valid.
Propagate cstrs from base types up
Make type names proper types.
Don't assert name equality.
Remove the binary I added accidentally.
A number of misc fixes I can't be arsed to separate.
Make sure node ids are unique.
Rename type constraint functions.
Fix infinite recursion on infinite types.
Don't make duplicate specializations
Rename specialized generics.
Correctly generate specialized versions of funcs.
Don't try to generate code for templates.
Don't attempt to generate code for generics.
Null sets become null sets.