Skip to content
  • Alan Zimmerman's avatar
    AnnDotDot missing for Pattern Synonym export · f5ad1f03
    Alan Zimmerman authored
    For the following code fragment
    
        {-# LANGUAGE PatternSynonyms #-}
    
        module ExportSyntax ( A(.., NoA), Q(F,..), G(T,..,U)) where
    
    The second and third .. are missing AnnDotdot annotations.
    
    Closes #11332
    f5ad1f03