News for hackers. Stuff that matters.

A comment on Linear types are merged in GHC. Parent comment

Re:Linear types are merged in GHC by comex on Friday June 19, 2020 @07:43PM (#23580059)
That wouldn't work, because the value must be used in all possible control paths. In this case, both the 'then' and 'else' branch would have to use the value.
[ Parent | on HN ]
Re:Linear types are merged in GHC by enlyth on Friday June 19, 2020 @09:33PM (#23580738)
Just curious, what is considered as 'using' the value?
[ Parent | on HN ]
Re:Linear types are merged in GHC by anchpop on Friday June 19, 2020 @09:41PM (#23580779)
Passing it as a parameter to a function or returning it
[ Parent | on HN ]
Re:Linear types are merged in GHC by waltpad on Saturday June 20, 2020 @02:40AM (#23582247)
Or applying it if that value is a function. I believe the broader definition would be that it has to appear in an "evaluated" term.
[ Parent | on HN ]