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