• Alan Zimmerman's avatar
    ApiAnnotations : BooleanFormula construction discards original · 24707d72
    Alan Zimmerman authored
    The MINIMAL pragma is captured in the parser using a BooleanFormula.
    The constructors (mkBool,mkAnd,mkOr) are smart and try to minimise the
    boolean formula as it is constructed.
    This discards the original information, making round tripping
    Note: there is another version which provides a more API Annotations
    friendly version of the MINIMAL pragma, but this requires changes to
    haddock, which will cause problems for 7.10.2.
    See https://github.com/alanz/ghc/tree/wip/10287
    Test Plan: ./validate
    Reviewers: hvr, austin
    Reviewed By: austin
    Subscribers: bgamari, Fuuzetsu, thomie, mpickering
    Differential Revision: https://phabricator.haskell.org/D837
    GHC Trac Issues: #10287
Parser.y 163 KB