Holger Dal Mogensen
Holger Dal Mogensen
See https://github.com/flix/flix/issues/7144#issuecomment-2302345872: > I've implemented this check, but it doesn't seem to ever get to it. When writing > > ``` > try println("Hello, World!") with IO {} > ```...
@magnus-madsen ping
Same status as in https://github.com/flix/vscode-flix/issues/442#issuecomment-2322205818 Optimal solution IMO: Fix in Flixify theme Secondary solution: Do not categorize struct arrow as anything
@magnus-madsen Can we merge this? It's strictly an improvement IMO. We can always fix Flixify at a later point.
It's unchanged: 
This was a bit of a nightmare merge, but I believe it works now except for the pjbdd jar. Any clue about what's going on with that? Can I delete...
@mlutze Could we prioritize getting this merged before more conflicts arise?
~~I just cloned this and ran it with a build of the compiler from master but the last 2 tests seem to fail. Has everything been merged on that side...