News for hackers. Stuff that matters.

A comment on Open-sourcing Facebook Infer: Identify bugs before you ship. Parent comment

Re:Open-sourcing Facebook Infer: Identify bugs before you ship by pcwalton on Thursday June 11, 2015 @04:16PM (#9702091)
I've heard that or-patterns can result in superlinear blowup in the number of cases, which is why Haskell compilers have not implemented it so far.
[ Parent | on HN ]
Re:Open-sourcing Facebook Infer: Identify bugs before you ship by thoughtpolice on Thursday June 11, 2015 @07:57PM (#9703193)
As far as I know, that's never really been a reason as to why we haven't implemented it in GHC. It's much more likely just that nobody has ever gotten around to implementing it. Shouldn't be especially hard, I imagine.
[ Parent | on HN ]
Re:Open-sourcing Facebook Infer: Identify bugs before you ship by gohrt on Thursday June 11, 2015 @08:46PM (#9703367)
How so? There's one case per branch. It's no more blowup than writing out the branches by hand would be.
[ Parent | on HN ]