Agda-2.3.2.2: test/succeed/WErrorOverride.flags

--compile
--ghc-flag=-Wwarn