Proposal section numbering messed up

Ben Gamari ben at smart-cactus.org
Mon Apr 15 15:07:57 UTC 2019


Simon Peyton Jones via ghc-devs <ghc-devs at haskell.org> writes:

> Why does this proposal
> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0036-kind-signatures.rst
> start with Section 36?  (It is proposal 36.)
> Lots of other proposals do this too.

That's a great question. The header contains

    .. sectnum::
      :start: 36

which mpickering added in [1]. mpickering, what was the motivation for
this?

Cheers,

- Ben

[1] https://github.com/ghc-proposals/ghc-proposals/commit/5c2fa009a369df39cf60ebda84debbf6e5b5490d#diff-f272dc8b5fdcaf6b06c33f7e52a815aa
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190415/075e0e43/attachment.sig>


More information about the ghc-devs mailing list