Jakob Schneider
Jakob Schneider
Alright, I've tried experimenting with it for a bit. I'm getting an error when trying to use upcast on this: ```flix pub def foldRightM(f: (a, b) -> Result[b, e] \...
Hmm I think this still needs some work. Apparently, it clashes (among other things) with type classes: ```flix class Foldable[t: Type -> Type] { pub def foldLeftM(f: (b, a) ->...
Also, we cannot `upcast` an expression like this: ```flix pub def ap(mf: ContStateLeft[ef1, ka, s, a -> b \ ef], ma: ContStateLeft[ef1, ka, s, a]): ContStateLeft[ef1, ka, s, b] \...
39 cases work and 6 errors (45 in lib in total) Errors: ``` Unable to compile. Failed with: 6 errors. -- Type Error -------------------------------------------------- Foldable.flix >> No instance of the...
I'm not entirely sure what's wrong but the rest of the use cases are rejected as unsafe upcasts. Again, *I think* it has something to do with the declared signatures:...
Currently we're not handling set effects at all in the Safety phase for upcast, so I'm trying to extend it to do that. I think that may also be why...
Almost, we may still need better support for the boolean formulas in #4531 but I'll try to see which upcasts I can replace with the new expression in the std...
Blocked until we figure out what to do with https://github.com/flix/flix/pull/4531
I think this would be fun to work on but I think I have tickets in my backlog that should be finished before I start something new so if Nina...
I'm not sure. I think Magnus wrote something in the June meeting issue #3933