Re:GHC 9.0, supporting linear types
by whateveracct on Wednesday December 30, 2020 @03:33PM
(#25585734)
No that's not the case. I am fairly sure that situation you describe results in a type error. The extension does in fact enforce linearity, and does not have such a trivial & universal escape hatch afaiu.
Feel free to give GHC 9.0 a try with a minimal example of your scenario!
Feel free to give GHC 9.0 a try with a minimal example of your scenario!