categorifier icon indicating copy to clipboard operation
categorifier copied to clipboard
verified publisher icon con-kitty

Update error message re: plugin ordering

Open sellout opened this issue 11 months ago • 1 comments

https://github.com/con-kitty/categorifier/blob/3b7220fd5d03bd20d786bdd901f320d38c728d1c/plugin/Categorifier/Categorify.hs#L90-L91

This message needs to be updated, because the behavior was changed in GHC 9.4. Now plugins are loaded in the expected order, but we need to clarify that the existing comment still holds for older versions.

sellout avatar Jan 09 '25 17:01 sellout

Good to know!

zliu41 avatar Jan 17 '25 04:01 zliu41