{
"$type": "site.standard.document",
"bskyPostRef": {
"cid": "bafyreihk4khskmfkgvjo55omzlvibb3yi4v3z5jzmcpwrj6xinyiw7vruq",
"uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mge2jrwghtx2"
},
"path": "/t/announcing-scrod-like-haddock-but-faster/13761#post_8",
"publishedAt": "2026-03-05T19:45:16.000Z",
"site": "https://discourse.haskell.org",
"tags": [
"Scrod",
"@-"
],
"textContent": "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.\n\nHere’s an example showing that the LH plugin and annotations are ignored: Scrod",
"title": "Announcing Scrod, like Haddock but faster"
}