Of Bird tacks and non-blank blank lines
> 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.
Trac metadata
Trac field | Value |
---|---|
Version | 7.6.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | low |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |