Skip to content
  • Alan Zimmerman's avatar
    ApiAnnotations : PatBind gives wrong SrcSpan for the pattern. · ecc3d6be
    Alan Zimmerman authored
    Summary:
    The production for decl_no_th starts
    
        decl_no_th :: { Located (OrdList (LHsDecl RdrName)) }
                : sigdecl               { $1 }
    
                | '!' aexp rhs  {% do { let { e = sLL $1 $> (SectionR (sL1 $1 (HsVar bang_RDR)) $2) };
                                        pat <- checkPattern empty e;
        ...
    
    The e value should be just the pattern, excluding the rhs, but the span
    created includes the rhs.
    
    Test Plan: ./validate
    
    Reviewers: hvr, austin
    
    Reviewed By: austin
    
    Subscribers: bgamari, thomie, mpickering
    
    Differential Revision: https://phabricator.haskell.org/D873
    
    GHC Trac Issues: #10358
    ecc3d6be