Re:Unsoundness in Pin
by jeltz on Friday November 29, 2019 @11:17AM
(#21665174)
You are very correct in your guess that it was post-1.0, it is like you can read my mind. :) I would indeed not have bothered to port my production code to a non-stable language. But once I started doing that I ran into these issues quite quickly.
[ Parent
| on HN ]
There are no comments on this comment yet.