Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
It seems that it is wrong sometimes, so maybe not 😄 (from #7118) ``` 'Pure' appears to be a superset of 'e1 + e0'. ```
I think it works if we drop monomorphization, otherwise I'm not sure how it would work
Changing MonoTypes is a big one which includes changing the last. maybe Lowering could do it, thus LoweredAst will have cases: List[Case] instead of enums: List[Enum] or something like that
last -> ast. the loweredAst i think
This also does not work with enums
Hmm this one checks ```scala eff Ask { pub def ask(x: Int32): Unit } eff Gen { pub def gen(): Int32 } def runGenAsk(): Int32 = try { let f:...
It seems to me its because `Ask` lives on in the substitution `s`. The error disappears if visit is used on the values of `s`. ```scala def purifyEff(sym: Symbol.EffectSym, eff:...
I want to create a reverse iterator of the underlying collection, like `List.toReverseIterator` exactly because I can't reverse the iterator after the fact.
I thought this could be a good intro ticket too if people wanted to work on stdlib
It is correctly kinded, but maybe `Eff -> Eff -> Eff` should be illegal