[GHC] #8399: Of Bird tacks and non-blank blank lines

GHC ghc-devs
Wed Oct 2 18:42:23 UTC 2013


#8399: Of Bird tacks and non-blank blank lines
--------------------------+------------------------------------------------
       Reporter:          |             Owner:
  tinctorius              |            Status:  new
           Type:  bug     |         Milestone:
       Priority:  low     |           Version:  7.6.3
      Component:          |  Operating System:  Unknown/Multiple
  Compiler                |   Type of failure:  GHC accepts invalid program
       Keywords:          |         Test Case:
   Architecture:          |          Blocking:
  Unknown/Multiple        |
     Difficulty:          |
  Unknown                 |
     Blocked By:          |
Related Tickets:          |
--------------------------+------------------------------------------------
 {{{
 > main :: IO ()
 \begin{code}
 \end{code}
 > main = print "Hello world!"
 }}}

 According to the Haskell 1.2 report, code in Bird tacks must be hugged by
 blank lines (or file borders), to catch unintended use. The above should
 be _rejected_ during the unlit phase.

 However, because GHC's `unlit` thinks lines with `\begin{code}` and
 `\end{code}` are blank lines, the above is _accepted_. I believe this is
 an error.

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



More information about the ghc-tickets mailing list