-
Simon Marlow authored
We need the #line directives left in, so that Haddock can figure out what the name of the original source file was called, which is necessary for generating source links. You probably now need an updated Haddock to generate HTML from the libraries, but a release will be forthcoming shortly.
9de82d47