Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
A struct without a region should be a immutable struct without a region
I think this is a bad idea, both in combination with pure structs and for structs with multiple region parameters
@mlutze should I close this? do you have something actionable to help this?
> `case object InvalidType extends RuntimeException` - should be ICE Why should this be type? `InvalidType` is like an AE exception. It's always handled
@mlutze is this still being used?
> Why is that so complicated? Our current monomorph tricks for enums are very particular and do not work if you remove the tuple inside the enum
Should be easy if we follow the ticket i just made
@magnus-madsen @mlutze The type of `None` is still `Option[t]` right (and not `Unit -> Option[t]`)?
Will this PR not use `SetUnification.unifyAll`? or is that later?
This seems very useful, also because it almost seems mechanizable.