Re: Removing core-spec.pdf from repository?

Certainly no complaints from me. I knew I was doing a Bad Thing when I committed that file, but couldn't think of a good alternative, given the rarity of finding an ott installation. Thanks, Ben. Richard

On Mar 13, 2017, at 6:57 PM, Ben Gamari wrote:

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 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs