1.22.11

Features:

• port half the backend to LSTS

1.22.10

Features:

• type1 has been completed replaced with type2

1.22.9

• type2 suffix declarations
• type2 zero declarations
• all but 3 type declarations ported to type2

1.22.8

Features:

• more type2 bug fixes (down to 2 remaining known bugs)
• AST still fails on type2
• still need syntax for complex ground types C<"a"> implies C<"b">

1.22.7

Features:

• all known type2 bugs have been fixed
• some significant code is already using type2
• now we can try to swap the majority of type1 to type2

1.22.6

• type2 works as a drop in replacement for type1
• migrated Type definition to type2
• type2 types codegen attempts to order type definitions before compilation to satisfy C forward definition concerns
• discriminator is always type sensitive now
• non-empty tagged union cases can be marked as zero (if you ever wanted to do that)
  • for example ASTEOF can have a source location now

1.22.5

Features:

• type2 types are compatible with type1 types as a drop-in replacement
• so now we can start migrating everything to type2

1.22.4

Features:

• most Type2 features are working now

type A<b: B, c> = { x: X, } Case1 | Case2;

1.22.3

Features:

• type2 field accesors are in the AST now and ready to typecheck
• only remaining parts to get type2 working is constructors and codegen

1.22.2

Features:

• implies and implements are working with new type2 system