Closed fwcd closed 1 year ago
For example, setting {-# OPTIONS_FRONTEND -Wno-missing-signatures #-} should cause warnings about missing top-level signatures to disappear.
{-# OPTIONS_FRONTEND -Wno-missing-signatures #-}
For example, setting
{-# OPTIONS_FRONTEND -Wno-missing-signatures #-}
should cause warnings about missing top-level signatures to disappear.