How trustworthy and robust is GHC?
Haskell Community [Unofficial]
May 30, 2026
I think the comparison to LLVM is pretty interesting actually!
LLVM receives much more funding and has many more active contributors than GHC. And yet issues like #190540 still happen, where any program that used musttail or the tailcc calling convention with byval parameters (i.e. essentially any non-trivial program that used musttail or tailcc) was totally miscompiled under LLVM 22.1.
This isn’t to say that there isn’t room for improvement in GHC’s processes (or LLVM’s), but I don’t think GHC is unique here in any way. Compilers are hard.
Discussion in the ATmosphere