effekt

effekt copied to clipboard

Right now `return` is a keyword but only used to embed expressions into statements. This is fine for a core representation like System C, but not appropriate for source. That...

b-studios

Currently we define extern definitions for each backend separately in a different file and then select which of these files to include based on which backend we are compiling with....

phischu

Why not always eta-expanding block parameters implicitly

1

Sometimes we need to eta-expand block parameters to enable contextual effect polymorphism. For example, ``` effect Ask1(): Int effect Ask2(): Int def asks() = { do Ask1() + do Ask2()...

thwfhk

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...

jiribenes

Impure arity types

11

I tried to define some effects with impure arities / coarities (i.e., impure parameter and result types) but I failed. I wonder if this is possible in Effekt without using...

thwfhk

Closes #396. I also added collapsible items for imports and namespaces.  I'm not sure how to get the types of sub-level symbols yet, so I just put a '?'...

marvinborner

This PR closes #367. Together with https://github.com/effekt-lang/kiama/pull/1 and https://github.com/effekt-lang/effekt-vscode/pull/16, this should result in first steps towards more intelligent LSP intelligence. Main things still missing: - Better symbol selection; for now...

marvinborner

We should support interfaces to mention themselves in their own methods:  The error message is also really confusing. We should stop talking about bidirectional effects and find a more...

b-studios

We infer types but then don't show them, which is sad. The symbols outline could show them making it a bit more useful  This could for starters look very...

b-studios

Create distributable cross-platform packages

18

Most operating systems (e.g. GNU/Linux, BSDs) treat all text after the first space as a single argument. When using env in a script it is thus not possible to specify...

marvinborner