{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreif6e4xupmigxkhisluh2whqqp2f43zt6tkg5qmy3a2xtujxh2cod4",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mge2jwxyunx2"
  },
  "path": "/t/announcing-scrod-like-haddock-but-faster/13761#post_7",
  "publishedAt": "2026-03-05T19:16:55.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "Make verification succeed with haddock enabled · Issue #2188 · ucsd-progsys/liquidhaskell"
  ],
  "textContent": "This is very cool. Haddock currently has an open issue which makes it incompatible with Liquid Haskell. Make verification succeed with haddock enabled · Issue #2188 · ucsd-progsys/liquidhaskell\n\nDoes it happen to work with LH if I drop haddock comments?",
  "title": "Announcing Scrod, like Haddock but faster"
}