Jiří Beneš

Resuming an object operation produces confusing error message

1

I was playing around with objects and managed to write `resume( ... )` by accident. This however produced a very confusing error message about not being able to infer the...

Check return type annotation of object operations

1

Following up on #148, we should type check the return type annotation of object operations. As of right now, we reject all return type annotations given by the user on...

Unhelpful hover information for list literals

1

When hovering on records, the language server usually provides useful details. Unfortunately, because list literals are immediately desugared into applications of `Cons` and `Nil`, the language server shows details about...

Emit CommonJS in JS backends

2

Currently, the `commonjs` export produces the following export at the end: ```js module.exports = { main: () => main_1394().run() }; ``` Unfortunately, browsers use a completely different module system so...

Multiline strings are not recognised

1

Currently, it is impossible to write multiline strings (other than in extern definitions) -- I believe that's a regression.

Effekt v0.2.2 crashes on Windows

2

### Steps to reproduce: 1. Use Windows 2. Install Effekt v0.2.2 3. Open Effekt REPL 4. Write `42` and press Enter. 5. See the error message below. ### Error message...

Currently, we use "user defined effects" in an error message when signalling that a required effect isn't handled in `main`. https://github.com/effekt-lang/effekt/blob/6f8973ae77e4962b67b3cb626142fab7430a6cd8/effekt/shared/src/main/scala/effekt/context/ModuleDB.scala#L86 Perhaps we should say simply "effects" instead :) Note...

Confusing error message for different types with same name

5

Trying to write a sort that works on the first element of a tuple: ``` import immutable/list def comparePairsByFirst[A, B](x: Tuple2[A, B], y: Tuple2[A, B]){ compare: (A, A) => Boolean...

Unhelpful error message on missing braces in an interface implementation

4

When trying to write an instance of an interface: ```scala interface Eff { def op(): Int } def e: Eff = new Eff { def op() = println("42"); 42 }...

Unhelpful error message when boxing blocks

4

The motivation is wrapping a block into a box in order to facilitate a nicer API. (using `orElse { ... } { ... }` instead of `orElse(box { ... },...