Effekt Versions Save

Automatic release for refs/tags/v0.2.2

What's Changed

• Rework --compile and add a seperate --build option by @dvdvgt in https://github.com/effekt-lang/effekt/pull/294
• Integrate higher-rank polymorphism on block parameters by @dvdvgt in https://github.com/effekt-lang/effekt/pull/298
• fix currentTimeNanos to return nanos, not micros by @IR0NSIGHT in https://github.com/effekt-lang/effekt/pull/302
• Lexer: match escape sequences in strings by @dvdvgt in https://github.com/effekt-lang/effekt/pull/290
• Feature/init array default values by @IR0NSIGHT in https://github.com/effekt-lang/effekt/pull/296
• Higher Rank Polymorphism follow-up: parser refactor by @dvdvgt in https://github.com/effekt-lang/effekt/pull/310
• JS backend: Do not drop first element for Array.toList (fixes #319) by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/320
• Port break & continue to all backends by @jiribenes in https://github.com/effekt-lang/effekt/pull/315
• Testing infrastructure for core transformations by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/321
• Improve core testing infrastructure by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/323
• DS-JS Backend by @b-studios in https://github.com/effekt-lang/effekt/pull/316
• Refactor/post merge cleanup by @b-studios in https://github.com/effekt-lang/effekt/pull/340
• Add sbt command bench to automatically run the benchmarks by @b-studios in https://github.com/effekt-lang/effekt/pull/342
• Use .effekt.md for literate Effekt code by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/341
• Make most of the tests work for the monadic backend again by @b-studios in https://github.com/effekt-lang/effekt/pull/343
• Expand standard library by @jiribenes in https://github.com/effekt-lang/effekt/pull/339
• Fix missing code snippet ending by @marvinborner in https://github.com/effekt-lang/effekt/pull/346
• Add sbt task for building the JS file by @dvdvgt in https://github.com/effekt-lang/effekt/pull/347
• Feature/core constructor by @b-studios in https://github.com/effekt-lang/effekt/pull/349
• Fix "Annotate Captures" feature of the VSCode extension by @dvdvgt in https://github.com/effekt-lang/effekt/pull/348
• Fix non-zero exit code on error by @marvinborner in https://github.com/effekt-lang/effekt/pull/338
• Feature/extern unquotes by @b-studios in https://github.com/effekt-lang/effekt/pull/350
• Try to fix capture flow by @b-studios in https://github.com/effekt-lang/effekt/pull/371
• Website breaks to missing extern definitions by @b-studios in https://github.com/effekt-lang/effekt/pull/374
• Improve Test Runner by @b-studios in https://github.com/effekt-lang/effekt/pull/377
• Warn if a type parameter shadows a non-parameter by @b-studios in https://github.com/effekt-lang/effekt/pull/378
• Fix #354 by not exporting extern resources by @b-studios in https://github.com/effekt-lang/effekt/pull/379
• Try to run CI only once and not twice on a PR by @b-studios in https://github.com/effekt-lang/effekt/pull/380
• Also check wellformedness of effects in namer by @b-studios in https://github.com/effekt-lang/effekt/pull/381
• Also export and import captures to allow referring to them in other modules by @b-studios in https://github.com/effekt-lang/effekt/pull/382
• Do not ignore type parameters of receiver in method calls by @b-studios in https://github.com/effekt-lang/effekt/pull/376
• Implement pattern matching with literals and guards by @b-studios in https://github.com/effekt-lang/effekt/pull/385
• Implement namespaces by @b-studios in https://github.com/effekt-lang/effekt/pull/388
• Fix separate compilation involving (nested) namespaces by @b-studios in https://github.com/effekt-lang/effekt/pull/391
• Constructor calls are also pure, but we need to bind them as scrutinees by @b-studios in https://github.com/effekt-lang/effekt/pull/393
• Expand immutable/list library in every backend by @jiribenes in https://github.com/effekt-lang/effekt/pull/355
• Add examples from OOPSLA-2022 artifact as tests by @dvdvgt in https://github.com/effekt-lang/effekt/pull/386
• Hardcode types that should be boxed by @b-studios in https://github.com/effekt-lang/effekt/pull/392
• Directly forward execution output to stdout by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/370
• Fix: Object typing for bidirectional effects by @dvdvgt in https://github.com/effekt-lang/effekt/pull/361

New Contributors

• @dvdvgt made their first contribution in https://github.com/effekt-lang/effekt/pull/294
• @IR0NSIGHT made their first contribution in https://github.com/effekt-lang/effekt/pull/302
• @marvinborner made their first contribution in https://github.com/effekt-lang/effekt/pull/346

Full Changelog: https://github.com/effekt-lang/effekt/compare/v0.2.1...v0.2.2

Automatic release for refs/tags/v0.2.1

What's Changed -- Major

• Evidence Monomorphization by @b-studios in https://github.com/effekt-lang/effekt/pull/229
• Naive state by @b-studios in https://github.com/effekt-lang/effekt/pull/235

What's Changed –– User Facing

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

What's Changed -- LLVM Backend

• More extensive stdlib for LLVM by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/223

• LLVM Doubles by @jfrech in https://github.com/effekt-lang/effekt/pull/141

• LLVM Strings (UTF-8-interpreted byte buffers) by @jfrech in https://github.com/effekt-lang/effekt/pull/142

• multi-line extern definitions ; LLVM stdlib by @jfrech in https://github.com/effekt-lang/effekt/pull/138

• Machine: interfaces and multiple operations by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/162

• Machine: Handle evidence by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/164

• Machine: Allow block parameters with effects by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/184

• Shallow types in machine so we can compile recursive data types. by @phischu in https://github.com/effekt-lang/effekt/pull/154

• machine: Add support for multi-handlers by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/236

• machine: Val(x,s,Return(x)) -> s by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/241

• Feature/mutable_state by @phischu in https://github.com/effekt-lang/effekt/pull/170

• Opaque pointers by @serkm in https://github.com/effekt-lang/effekt/pull/197

• Cache erasers based on environment type by @serkm in https://github.com/effekt-lang/effekt/pull/201

• Machine: Fix arity mismatch with effect handlers due to evidence by @marzipankaiser in https://github.com/effekt-lang/effekt/pull/163

• Mutable state using evidence by @serkm in https://github.com/effekt-lang/effekt/pull/248

• Set default llvm version to 15 by @serkm in https://github.com/effekt-lang/effekt/pull/212

• Multiple operations by @serkm in https://github.com/effekt-lang/effekt/pull/275

What's Changed –– Code Quality

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

New Contributors

• @serkm made their first contribution in https://github.com/effekt-lang/effekt/pull/197
• @JonathanStarup made their first contribution in https://github.com/effekt-lang/effekt/pull/208

Full Changelog: https://github.com/effekt-lang/effekt/compare/v0.2.0...v0.2.1

Automatic release for refs/tags/v0.2.0

What's Changed

• We integrated System C (described in our OOPSLA paper "Effects, Capabilities, and Boxes"
• First draft of the LLVM backend -- not fully implemented, yet.
• Many more changes.

Full Changelog: https://github.com/effekt-lang/effekt/compare/v0.1.16...v0.2.0

Automatic release for refs/tags/v0.1.16

Biggest changes are:

• multiple new backends for ChezScheme
• bidirectional effects (#29 thanks to @long-long-float)

Automatic release for refs/tags/v0.1.15

Automatic release for refs/tags/v0.1.14

Automatic release for refs/tags/v0.1.13

In this release we changed the whole build setup of the Effekt compiler. It now tracks the timestamps of dependencies in traces and recompiles, if any transitive dependency changed.

Automatic release for refs/tags/v0.1.12

Automatic release for refs/tags/v0.1.11

This release is improving pattern matching support.

• New support for pattern matching block definitions
• Pattern matching block definitions also supported in handler definitions
• literal (constant) matchers

Automatic release for refs/tags/v0.1.10

• improved REPL output on imports
• Added script effekt.sh for linux