Zejun Wu
Zejun Wu
For reference, I had an old local commit created to use plugins: https://github.com/watashi/haddock/commit/febba04aa046b1192e4a2013919bd7131b769539 It's not completed, at minimum, it missed the `Opt_PluginTrustworthy` (https://github.com/ghc/ghc/commit/406e43af2f12756c80d583b86326f760f2f584cc) flag to plugins to get the correct...
@alexbiehl-gc Do you have any update or your patch or are you blocked by any issue there?
> Aside: is there some permission I need to this repo now so I can do things like assign issues to myself, etc? I think I can add you as...
> Ugh I thought I had fixed this. Will investigate. FWIW, a simpler version ``` main :: IO () main = do x
> It'd be great if there's an option to iterate till fixpoint Retrie will avoid unnecessary iterations if it hits a fixed point. How about just use `-i 1000` or...
Can we also add ghc 9.10.1 to CI? or ghc 9.10 support can be broken again without notice in the future. https://github.com/facebookincubator/retrie/blob/main/.github/workflows/test.yml#L12,L16