Menu ▾ ▴

#24 nuweb not detecting EOF

open
nobody
None
5
2012-07-16
2012-07-16
No

There's a bug in which nuweb will not properly detect the end of a .w file and will output nulls (0xff) to the .tex file indefinitely. This happens if the writer accidentally uses @} instead of @) in a parameterized scrap reference:

@d Scrap @{
@<Other scrap @(arg@}@>
@}

Discussion