#10287: ApiAnnotations : BooleanFormula construction discards original -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple ApiAnnotations | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- 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 impossible. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10287 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler