Jakob Schneider
Jakob Schneider
@magnus-madsen what do you think of this as a solution (modulo refactoring and rough edges)?
It *seems* to work when building a jar and trying manual tests
Yes basically... or well something obviously bad that should fail / crash later on
I tried returning `Option` and it seems to work fine. There are only one or two places where special handling seems to be required. Other than that the call to...
It seems that this is related to https://github.com/flix/flix/issues/11738#issuecomment-3611508408 but for effects. Why do we not emit a duplicate definition error? Seems like the "safer" thing to do. Sure, we can...
@magnus-madsen @AStenbaek @JonathanStarup @mlutze what do you think about this? Any wishes or things you find weird in the current package manager or things that you miss? I want to...
> Improved integration with VSCode would be very nice. Could you expand on this? E.g., is this related to the settings in VSCode, running commands as actions from vscode?
Also, feel free to criticize the design guidelines or add to them if something you think is missing :)
> you write "prompt the user" in many places and i think excessive interaction can be impractical. init for example should just choose cwd but have an --folder xyz option...
@magnus-madsen tentative review? I still need add tests and such but so far this is what I have adapted from the old implementation. EDIT: I just want to make sure...