#11017: ApiAnnotations: BooleanFormula is not properly Located -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple ApiAnnotations | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- At the moment `BooleanFormula` is defined as {{{#!hs data BooleanFormula a = Var a | And [BooleanFormula a] | Or [BooleanFormula a] deriving (Eq, Data, Typeable, Functor, Foldable, Traversable) }}} An API Annotation can only be attached to an item of the form `Located a`. Replace this with a properly `Located` version, and attach the appropriate API Annotations to it -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11017 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler