Marcial Gaißert

Use org-export-as with non-nil subtreep instead of manual substring

1

Change the code for exporting the content of a given card side. Reasons for this change: - Simplifies the code greatly - Respects global org settings, noweb references etc, especially...

Machine: Handle evidence

10

Handle evidence and use it to execute effect operations in the correct context. Is not yet correctly implemented in the llvm backend (number of stacks to pop is ignored), so...

Based on https://github.com/effekt-lang/effekt/pull/164, implement handling of evidence for the jit backend.

Machine: `interfaces` and multiple operations

1

This adds a basic implementation for interfaces and new into Machine and adds a example for usage. This also supports multiple methods, but llvm currently does not (and JIT is...

Special characters in file names break `js` backend

15

The file name just gets inserted into js as a identifier names, so `./examples/llvm/hello-world.effekt` generates the following js code: ```javascript const $effekt = require("./effekt.js"); const $hello-world = { }; function...

JIT: How to deploy the JIT binary

3

Currently, the binary for the JIT is a blob in the git repository at https://github.com/effekt-lang/effekt/blob/jit/bin/x86_64/rpyeffect-jit. We should find a better solution for this, that makes updates easier and puts a...

Workflow runs flaky / "Text file busy"

6

In both the workflow runs - (#320) https://github.com/effekt-lang/effekt/actions/runs/7034447758/job/19142525276?pr=321 | https://github.com/effekt-lang/effekt/actions/runs/7034447758/job/19142525276?pr=321#step:9:208 - (#321) https://github.com/effekt-lang/effekt/actions/runs/7019874175/job/19098324052 | https://github.com/effekt-lang/effekt/actions/runs/7019874175/job/19098324052#step:9:197 one of the tests fails with something like ``` ==> X effekt.ChezScheme*Tests.examples/pos/multieffects.effekt (chez-callcc) 2.115s java.io.IOException:...

JS backend ignores first command line argument

7

The runnables created for the JS backend always ignore the first command line argument. ## Minimal Example When compiling and running ```effekt import immutable/list import immutable/option import io/args import text/string...

Implementation of partial type signatures for Effekt, WIP. cc @MattisKra

WIP: Make more types extern instead of builtin

7

This PR is a draft to move types from being builtins (in `symbols.builtins`) to `extern type` declarations in the prelude. To do so, it annotates the operations using those types...