Announcing Scrod, like Haddock but faster
Haskell Community [Unofficial]
March 5, 2026
Ah, I didn’t think to test with Liquid Haskell. Without actually trying, it should work. Scrod doesn’t run plugins at all. The GHC options for enabling them are simply ignored. And my understanding is that LH annotations are comments like {-@ … @-}, which would also be ignored.
Here’s an example showing that the LH plugin and annotations are ignored: Scrod
Discussion in the ATmosphere