GNU bug report logs - #34955
Manual: Service extensions not clear

Message received at submit <at> debbugs.gnu.org:

Received: (at submit) by debbugs.gnu.org; 23 Mar 2019 15:46:36 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Mar 23 11:46:36 2019
Received: from localhost ([127.0.0.1]:55690 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1h7iqy-0006vR-3d
	for submit <at> debbugs.gnu.org; Sat, 23 Mar 2019 11:46:36 -0400
Received: from eggs.gnu.org ([209.51.188.92]:33316)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <pelzflorian@HIDDEN>) id 1h7iqt-0006vC-AY
 for submit <at> debbugs.gnu.org; Sat, 23 Mar 2019 11:46:32 -0400
Received: from lists.gnu.org ([209.51.188.17]:58183)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <pelzflorian@HIDDEN>)
 id 1h7iqo-0004qa-48
 for submit <at> debbugs.gnu.org; Sat, 23 Mar 2019 11:46:26 -0400
Received: from eggs.gnu.org ([209.51.188.92]:47694)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <pelzflorian@HIDDEN>) id 1h7iqn-00071J-2u
 for bug-guix@HIDDEN; Sat, 23 Mar 2019 11:46:25 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,URIBL_BLOCKED
 autolearn=disabled version=3.3.2
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <pelzflorian@HIDDEN>) id 1h7iqm-0004p0-2A
 for bug-guix@HIDDEN; Sat, 23 Mar 2019 11:46:25 -0400
Received: from pelzflorian.de ([5.45.111.108]:53164 helo=mail.pelzflorian.de)
 by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <pelzflorian@HIDDEN>)
 id 1h7iql-0004lv-HW
 for bug-guix@HIDDEN; Sat, 23 Mar 2019 11:46:23 -0400
Received: from pelzflorian.localdomain (unknown [5.45.111.108])
 by mail.pelzflorian.de (Postfix) with ESMTPSA id 84AFC360038
 for <bug-guix@HIDDEN>; Sat, 23 Mar 2019 16:46:21 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=pelzflorian.de;
 s=mail; t=1553355981;
 bh=B/1KRqNq3iC+QReA8avW43oWi+TAKOELqituTyMdaHg=;
 h=Date:From:To:Subject;
 b=jVxWrQNAhN5aBrhzldo/YSPswf+Olp41MKOCfWib8YrpCFVcC2BIiDHD5V8yxeCJj
 Ju1Pw2qB6Dvmjv43l8Trge4P4AO8gOWYDlQ4FxMUZns1JTEAjKGeTuCbsZbxBbi6ih
 0GkNmyGj3Vtfx3ckiU18hOPNIqWgEfJT0bQpZggU=
Date: Sat, 23 Mar 2019 16:46:21 +0100
From: "pelzflorian (Florian Pelz)" <pelzflorian@HIDDEN>
To: bug-guix@HIDDEN
Subject: Manual: Service extensions not clear
Message-ID: <20190323154621.u5kjvvgcci7ikrbt@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
User-Agent: NeoMutt/20180716
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 5.45.111.108
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Spam-Score: 0.9 (/)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)

The Guix manual (section Defining services) says about service
extensions:

[The example guix-service-type definition] defines three things:

  1. [=E2=80=A6]

  2. A list of =E2=80=9Cservice extensions=E2=80=9D, where each extension=
 designates the
     target service type and a procedure that, given the parameters of
     the service, returns a list of objects to extend the service of
     that type.

     Every service type has at least one service extension.  The only
     exception is the =E2=80=9Cboot service type=E2=80=9D, which is the u=
ltimate
     service.

This is confusing to me because previously it was explained that
services extend services but now it says types extend types which does
not fit the previous explanation.

Later it says:

   There can be only one instance of an extensible service type such as
UDEV-SERVICE-TYPE.  If there were more, the =E2=80=98service-extension=E2=
=80=99
specifications would be ambiguous.

I believe before the example for the definition of service types,
service extensions should be explained.

E.g.

A service type definition specifies which services can be extended by
an instance of the service type.  For each service extension, exactly
one service of the target service type of the extension must appear
in the services field of the operating-system declaration.

Regards,
Florian