FW: Clarification of \begin{code} ... \end{code} stuff

2001-12-11 Thread Simon Peyton-Jones
> In the thread "Literate scripts not handled correctly" Simon Marlow > said: > > > Yes, it looks like GHC's unlit program removes whitespace when > > looking for \begin{code}, but not for \end{code}. The report isn't > > explicit about whether whitespace is allowed on these lines, but I > >

Re: Clarification of \begin{code} ... \end{code} stuff

2001-12-10 Thread Ian Lynagh
On Mon, Dec 10, 2001 at 04:03:27PM +, Ian Lynagh wrote: > > In the thread "Literate scripts not handled correctly" Simon Marlow > said: > > > Yes, it looks like GHC's unlit program removes whitespace when looking > > for \begin{code}, but not for \end{code}. The report isn't explicit > > ab