Marcial Gaißert

Using a block in an extern definition like this: ``` interface Bar { def bar(): Int } extern def foo(){ b: Bar } = js "${b.bar()}" default { b.bar() }...

Fix running Effekt on Windows

5

Fix #401 by, if running on Windows, generating a `.bat` file instead of the shebang'ed script. Note: Only tested with JavaScript-backend. This also changes the CI to: - In principle...

Add feature flags `jsNode` and `jsWeb`

5

Currently distinguished by the `Backend` creating the `JavaScript` generator object (backend). Untested.

Import with feature flag

1

Draft imports conditional on feature flags. Current syntax: ```effekt import chez/list on chez ``` - This DOES NOT check that this is ok (i.e. the imported names are actually only...

Renamer stack-overflows on large test suites

1

When writing large test suites using the `test` stdlib, `Renamer` reaches a stack overflow. (With even larger test suites, doubling the number of tests in the example below, `Namer` will...

According to the documentation: ```effekt /** * Copies `length`-many elements from `from` to `to` * starting at `start` (in `from`) and `offset` (in `to`) */ def copy[T](from: Array[T], start: Int,...

Most backends generate an executable with the same name as the file containing the `main`. This is not the case for ML, which always generates one named `mlton-main`: https://github.com/effekt-lang/effekt/blob/1f0c055f69c0596098e7b135ddc0e408cb08efbb/effekt/jvm/src/main/scala/effekt/Runner.scala#L301-L304 We...

In the chez Backends, we use scheme-`equal?` to implement `equals`. This does not properly recurse, so the test `examples/pos/issue429.effekt` (added in #499) fails on Chez. It seems that `equal?` uses...

Allow matchGuards in expression position with `?(...)`

2

Proof-of-concept implementation of #481 with the syntax `?(x is p)`.

When coming from other languages, it is surprising that you can't, e.g. use `not(x is Cons(_,Red()))` in an `if`/`while`. Also, splitting up longer conditionals using bindings is not possible when...