-ddump-minimal-imports does not dump some pattern imports correctly
Summary
The minimal imports generated by -ddump-minimal-imports
are sometimes not correct.
For example, it generates import Agda.Utils.List1 ( pattern (:|) )
correctly, but doesn't include the pattern
keyword for Def
in import qualified Agda.Syntax.Abstract as A ( QName, NameToExpr(nameToExpr), Expr(Con), Def )
, where Def
is defined in the Agda.Syntax.Abstract
module as:
-- | Pattern synonym for regular Def
pattern Def :: QName -> Expr
pattern Def x = Def' x NoSuffix
This limits the utility of the feature.
Environment
- GHC version used: 8.10.1
- OS; MacOS Catalina