[GHC] #11024: Fix strange parsing of BooleanFormula

[GHC]

#11024: Fix strange parsing of BooleanFormula
-------------------------------------+-------------------------------------
        Reporter:  mpickering        |                Owner:
            Type:  task              |               Status:  new
        Priority:  low               |            Milestone:
       Component:  Compiler          |              Version:  7.10.2
  (Parser)                           |
      Resolution:                    |             Keywords:  newcomer
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by ethercrow):

 I've tried fixing this in the parser but I don't understand how to write a
 test for this. Parser tests in the test suite seem to check the output of
 compiled haskell programs or the error messages, and the way of parsing
 this pragma shouldn't affect either.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11024#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler