From 4c6803773072d93de58a390bdcd09d31a7eb19f1 Mon Sep 17 00:00:00 2001 From: Joachim Breitner Date: Tue, 22 Jan 2019 23:10:01 +0100 Subject: [PATCH] Number 42 for #158 --- ...ecord-set-field.rst => 0042-record-set-field.rst} | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) rename proposals/{0000-record-set-field.rst => 0042-record-set-field.rst} (90%) diff --git a/proposals/0000-record-set-field.rst b/proposals/0042-record-set-field.rst similarity index 90% rename from proposals/0000-record-set-field.rst rename to proposals/0042-record-set-field.rst index 11ab2689ce..4cb53c5b79 100644 --- a/proposals/0000-record-set-field.rst +++ b/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 `_. +.. header:: This proposal was `discussed at this pull request `_. .. sectnum:: .. contents::