Release v0.2.1

Automatic release for refs/tags/v0.2.1

What's Changed -- Major

• Evidence Monomorphization by @b-studios in #229
• Naive state by @b-studios in #235

What's Changed –– User Facing

• Generalize extern capture and add resources by @b-studios in #178
• Parse return type annotation of operations by @jiribenes in #148
• Feature/user state by @b-studios in #176
• Feature/compile pattern matching by @b-studios in #187
• Feature/match void by @b-studios in #189
• Improved Exhaustivity Check by @b-studios in #190
• Refactor/deprecate local declarations by @b-studios in #191
• Deprecate multiple value argument sections by @b-studios in #253
• Improve errors by @b-studios in #255
• Optimize Core by @b-studios in #267
• Support 64bit integer literals by @b-studios in #279
• Support recursive object definitions by @b-studios in #280
• Avoid having two effekt binaries (deprecate effekt.sh) by @b-studios in #166
• First step at making the prelude configurable by @b-studios in #174
• Make prelude configurable by @b-studios in #175
• Feature/show capture in vscode by @b-studios in #181
• Expand on stdlib for ML backend by @b-studios in #260

What's Changed -- LLVM Backend

• More extensive stdlib for LLVM by @marzipankaiser in #223

• LLVM Doubles by @jfrech in #141

• LLVM Strings (UTF-8-interpreted byte buffers) by @jfrech in #142

• multi-line extern definitions ; LLVM stdlib by @jfrech in #138

• Machine: interfaces and multiple operations by @marzipankaiser in #162

• Machine: Handle evidence by @marzipankaiser in #164

• Machine: Allow block parameters with effects by @marzipankaiser in #184

• Shallow types in machine so we can compile recursive data types. by @phischu in #154

• machine: Add support for multi-handlers by @marzipankaiser in #236

• machine: Val(x,s,Return(x)) -> s by @marzipankaiser in #241

• Feature/mutable_state by @phischu in #170

• Opaque pointers by @serkm in #197

• Cache erasers based on environment type by @serkm in #201

• Machine: Fix arity mismatch with effect handlers due to evidence by @marzipankaiser in #163

• Mutable state using evidence by @serkm in #248

• Set default llvm version to 15 by @serkm in #212

• Multiple operations by @serkm in #275

What's Changed –– Code Quality

• Fix block parameter type pretty-printing by @jiribenes in #155
• Move from Scalatest to MUnit by @b-studios in #172
• Migrate to Scala 3.2 by @b-studios in #173
• Simplify Syntax by @b-studios in #177
• Rename Builtin to Extern by @b-studios in #179
• Refactor/syntax into enums by @b-studios in #183
• Add sbt command generateDocumentation to update the tree documentation by @b-studios in #186
• Refactor/cleanup core lifted by @b-studios in #193
• Drop intrinsic lists in core by @b-studios in #194
• Whole program js by @b-studios in #196
• Feature/typed core draft by @b-studios in #203
• Core parser by @b-studios in #205
• Remove deprecated test by @JonathanStarup in #208
• Annotate more core types in lifted by @marzipankaiser in #209
• Common Context objects for phases on core and lifted by @b-studios in #204
• Refactor/visitor macro by @b-studios in #211
• Handle Record in DeclPrinter by @marzipankaiser in #216
• Polymorphism in machine-based backends (through boxing) by @marzipankaiser in #199
• Wrap pure/direct blocks in core to use the correct calling convention by @marzipankaiser in #210
• Convert filename of location of node to URI by @mm0821 in #221
• PolymorphismBoxing: Transform the callee correctly by @marzipankaiser in #228
• Fix bug in tuple pattern by @serkm in #224
• Refactor/typed lifted by @b-studios in #226
• lifted.freeVariables: Don't overload by type, assert equality by @marzipankaiser in #227
• MLton backend by @b-studios in #156
• WIP Quickly draft implement state that requires evidence by @b-studios in #231
• Add shift to lifted by @b-studios in #232
• Refactor backend interfaces by @b-studios in #234
• Add support for Holes to machine and llvm by @marzipankaiser in #220
• machine: Fix passing of free variables to local functions by @marzipankaiser in #219
• PolymorphismBoxing: Fix transformation of Operations by @marzipankaiser in #237
• Fix failing test caused by #255 by @jiribenes in #257
• Recursive mono by @b-studios in #263
• Bugfix at toInt by @serkm in #277
• Fix/32bit integer literals by @b-studios in #278

New Contributors

• @serkm made their first contribution in #197
• @JonathanStarup made their first contribution in #208

Full Changelog: v0.2.0...v0.2.1