[ANNOUNCE] GHC 8.4.1-rc1 available
Kazu Yamamoto (=?iso-2022-jp?B?GyRCOzNLXE9CSScbKEI=?=)
kazu at iij.ad.jp
Tue Mar 6 07:42:39 UTC 2018
> As always, do let us know if you encounter any trouble in the course of
> testing. Thanks for your help!
I tried GHC 8.4.1rc1 to understand how SemigroupMonoid and MonadFail
GHC 8.4.1rc1 surely detects Monoid data types if they are not
instances of Semigroup. However, GHC users guide still says that both
-Wcompat and -Wsemigroup are disabled by default. Should we update the
document or am I missing something?
GHC 8.4.1rc does not find Monad data types which define "fail" even
with -Wcompat. Now I understand that
-Wnoncanonical-monadfail-instances is necessary. Why doesn't -Wcampat
Anyway, I hope that the proposals will be updated with the concurete
warning flag names so that I can understand them easily.
More information about the ghc-devs