effekt

effekt copied to clipboard

Currently, one needs to write `mutable::array::fill` for a function `fill` imported from `module mutable/array`. I'd like to write just `array::fill` instead :) https://github.com/effekt-lang/effekt/blob/c93e5c695553e7f8958241bea8588a435baf9429/examples/pos/arrays.effekt#L22

jiribenes

Continuing the discussion from #410, do we actually want to be able to escape newlines like this: ```scala val myString = "let's say I want to \ continue on the...

jiribenes

b-studios

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

marzipankaiser

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

marzipankaiser

This treats one half of #464. Ideally, we would represent unit as a data type (which is defined in the prelude). However, we still need to special case its rendering...

b-studios

Experiment: Generating OCaml instead of SML

1

Just a draft for now. While it is somewhat feature complete wrt to the old MLTon backend, there is still a lot to do: - [ ] identify recursive groups...

b-studios

Misleading error message on a nested non-exhaustive pattern match

1

### Problem The compiler reports a somewhat misleading error message which tells me that "a case for `Cons` is missing", but it _actually_ means that the `Cons(_, Cons(_, _))` case...

jiribenes

While we do have literal syntax for the unit value `()`, we should not treat it as a literal in later stages of the compiler. Pattern matching should not generate...

phischu

phischu