Number 42 for #158

proposals/0000-record-set-field.rst → proposals/0042-record-set-field.rst

@@ -1,15 +1,11 @@
 Add ``setField`` to ``HasField``
 ================================
 
-.. proposal-number:: Leave blank. This will be filled in when the proposal is
-                     accepted.
-.. trac-ticket:: Leave blank. This will eventually be filled with the Trac
-                 ticket number which will track the progress of the
-                 implementation of the feature.
-.. implemented:: Leave blank. This will be filled in with the first GHC version which
-                 implements the described feature.
+.. proposal-number:: 42
+.. trac-ticket::
+.. implemented::
 .. highlight:: haskell
-.. header:: This proposal is `discussed at this pull request <https://github.com/ghc-proposals/ghc-proposals/pull/158>`_.
+.. header:: This proposal was `discussed at this pull request <https://github.com/ghc-proposals/ghc-proposals/pull/158>`_.
 .. sectnum::
 .. contents::