Skip to content
  • Alan Zimmerman's avatar
    Make HsAppsType contents Located · ff923954
    Alan Zimmerman authored
    An HsAppInfix can carry a qconop/varop preceded by a SIMPLEQUOTE as a
    Located RdrName.
    
    In this case AnnSimpleQuote is attached to the Located HsAppType.
    
        | SIMPLEQUOTE qconop            {% ams (sLL $1 $> $ HsAppInfix $2)
                                               [mj AnnSimpleQuote $1] }
        | SIMPLEQUOTE varop             {% ams (sLL $1 $> $ HsAppInfix $2)
                                               [mj AnnSimpleQuote $1] }
    
    This patch changes
    
        data HsType name
          ...
          | HsAppsTy [HsAppType name]
    
    to
    
        data HsType name
          ...
          | HsAppsTy [LHsAppType name]
    
    so that the annotation is not discarded when it reaches the ParsedSource
    ff923954