Kill it! That's terrible practice indeed. Speaking of generated files, it's time to check if our Unicode tables are up to date.

David Feuer

Well-Typed, LLP

-------- Original message --------

From: Ben Gamari <ben@well-typed.com>

Date: 3/13/17 6:57 PM (GMT-05:00)

To: GHC developers <ghc-devs@haskell.org>

Subject: Removing core-spec.pdf from repository?

Hello everyone,

Currently there is a typeset copy of the Core specification in the GHC
repository. This means any time someone changes the specification the
repository grows by around 300kB. While this isn't the end of the
world, it's generally considered bad form to put generated files under
version control.

Of course, the tools required to typeset the specification (ott and
LaTeX) are non-trivial to install, so there is considerable convenience
that comes from having a typeset version readily available.

I suggest that we remove the PDF from the repository but instead I can
start including it in my nightly documentation builds. Any objections?

Cheers,

- Ben