From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x32c.google.com (mail-wm1-x32c.google.com [IPv6:2a00:1450:4864:20::32c]) by sourceware.org (Postfix) with ESMTPS id 0A2D23858C66 for ; Tue, 21 May 2024 07:30:57 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 0A2D23858C66 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 0A2D23858C66 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::32c ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1716276659; cv=none; b=IDEfyiDXnZF7gCOerVoqlX6o+6kPPSMQ8EUMkuETSiWz/vWI8q6Mze3lbYNva7tAlG4j4rn6HVySTyGiCUTw1CoduL2Y5oQHHFf2F3vFa+b3K21eCDnv5BFfGQyWFWMJYn+ViJJI0pZIjW5HNZY3D8fFfmr95GkvcfVKrGUDFMQ= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1716276659; c=relaxed/simple; bh=r6W6THgAZLQt5NVBlBiYwxgIYguJq0YXyMuRQLG53C4=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=Ye96M3BVm/IqaEwQtoVWFJ8zWbTXTMz9H9fzbETv8ylCn3Vu0Vv9+7c4THqdaRuDPZwz6st782Pe/qB3F2W8Ob1TULZopbQU7m99yKJ7FH1mQkQWD/GaFHCXXZOQdQt5xnfG4UUVsMgl+hT57LrIluSgp++E89P4WWKcqMMBj+k= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wm1-x32c.google.com with SMTP id 5b1f17b1804b1-420180b5922so39016225e9.2 for ; Tue, 21 May 2024 00:30:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1716276656; x=1716881456; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=MV9OQ0t8Upx1go8MqfR1o0lNzpg5CX+iqOsgjpZxrns=; b=VexlBGqkrvsOwHM7+TcAJkmWABqpsm103U/dtDnCpRDJb+AkPbnMMT9x2l0EEdki2/ kMqoGxO0EoeEwMOWp4vFoMH52S3wCmvBuHRUglvif4Di9FyiHjYOr5KQwO7qbumgSvw7 ip9X+NOyXfx5jMy3/Dp3aTVoRpb+JZJXqhrZZrhidDL/tLb/DXmpcKZr/xN+gIwTruJl b57B2if5CJRF1NehY9AOviLz7eEQKdCh5zmZvMkFEmFhcyBdoyMABUz7KeQGes52Ck3g TnR4HgqO5Dsm2Kotgf/5liT6BgbVqA6tVEx0+HjN5A8gjSGpPGIHx2yNcxy7HmZ4rS9t rKkA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1716276656; x=1716881456; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=MV9OQ0t8Upx1go8MqfR1o0lNzpg5CX+iqOsgjpZxrns=; b=ThIDnQqIDE6Z6gTqqbLs73g28v4aQ7h+QAlMDxItyb7kMQ6pnHu/f4BGdKiYma7pzQ BjXKxqLKNLgoMQ03jlmJoTIk4nECRWQ0NhFq7JnN+qCDEWiIXHx5tkpvS6IC/syC8RZ2 fJnCxQ9BYFuXKTRDTc4s4RO4JuH06JGvPQ7x2S+pd9TPouZ4LJIq+gtqvuR73cTzhU1k YGKJtTkOw1YPuQ/IDP37VFkURISRrOeAMo8+IQ+Y9yhdbwX8MnA0TaGqPa4S+9ru8P5I KmcGGqt0P8hc1+Yr+SQzxlwG8U1o6IO9YuE9oocTPQ4p6pUIlsP0+LEduPDmMsUs+jAk 2Cqw== X-Gm-Message-State: AOJu0YwyYsFQzLGhfPBpwg1ZG+w2OH4p41cya+3hgoGZk4M4Nzhv4lpV SCBfYNMJTKvw6jotMczwZMkb6vpBiXnVR5m83JYovFjHp1Oe6xd9lTqFWd+st7XhcDLBG4GaAGU = X-Google-Smtp-Source: AGHT+IELB85R6Z8iiEi2HUjf9zR38sEoehim9TGj/0Hn9Wio9PMTwlLqaPZqXieI2LAV9FPFvLvSDQ== X-Received: by 2002:a05:600c:584d:b0:420:e949:41b4 with SMTP id 5b1f17b1804b1-420e94942camr55117595e9.19.1716276655378; Tue, 21 May 2024 00:30:55 -0700 (PDT) Received: from localhost.localdomain ([2001:861:3382:1a90:de37:8b1c:1f33:2610]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-41fccee9292sm453333645e9.37.2024.05.21.00.30.54 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 21 May 2024 00:30:54 -0700 (PDT) From: =?UTF-8?q?Marc=20Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Piotr Trojanek Subject: [COMMITTED 09/31] ada: Fix formatting in list of implemented Ada 2012 features Date: Tue, 21 May 2024 09:30:12 +0200 Message-ID: <20240521073035.314024-9-poulhies@adacore.com> X-Mailer: git-send-email 2.43.2 In-Reply-To: <20240521073035.314024-1-poulhies@adacore.com> References: <20240521073035.314024-1-poulhies@adacore.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: From: Piotr Trojanek Fix formatting; meaning is unaffected. gcc/ada/ * doc/gnat_rm/implementation_of_ada_2012_features.rst: Fix formatting. * gnat_rm.texi: Regenerate. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst | 6 +++--- gcc/ada/gnat_rm.texi | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst b/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst index 706de492301..9708e15de8d 100644 --- a/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst +++ b/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst @@ -255,7 +255,7 @@ http://www.ada-auth.org/ai05-summary.html. * *AI-0039 Stream attributes cannot be dynamic (0000-00-00)* - The RM permitted the use of dynamic expressions (such as ``ptr.all``)` + The RM permitted the use of dynamic expressions (such as ``ptr.all``) for stream attributes, but these were never useful and are now illegal. GNAT has always regarded such expressions as illegal. @@ -555,7 +555,7 @@ http://www.ada-auth.org/ai05-summary.html. This AI clarifies that 'needs finalization' is part of dynamic semantics, and therefore depends on the run-time characteristics of an object (i.e. its tag) and not on its nominal type. As the AI indicates: "we do not expect - this to affect any implementation''. + this to affect any implementation". RM References: 7.06.01 (6) 7.06.01 (7) 7.06.01 (8) 7.06.01 (9/2) @@ -812,7 +812,7 @@ http://www.ada-auth.org/ai05-summary.html. The new syntax for iterating over arrays and containers is now implemented. Iteration over containers is for now limited to read-only iterators. Only - default iterators are supported, with the syntax: ``for Elem of C``. + default iterators are supported, with the syntax: ``for Elem of C``. RM References: 5.05 diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index df6969f98b7..776dd4a4afc 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -26913,7 +26913,7 @@ RM References: A.10.05 (37) A.10.07 (8/1) A.10.07 (10) A.10.07 (12) A.1 @item `AI-0039 Stream attributes cannot be dynamic (0000-00-00)' -The RM permitted the use of dynamic expressions (such as @code{ptr.all})` +The RM permitted the use of dynamic expressions (such as @code{ptr.all}) for stream attributes, but these were never useful and are now illegal. GNAT has always regarded such expressions as illegal. @@ -27358,7 +27358,7 @@ RM References: 3.10.01 (6) 3.10.01 (9.2/2) This AI clarifies that ‘needs finalization’ is part of dynamic semantics, and therefore depends on the run-time characteristics of an object (i.e. its tag) and not on its nominal type. As the AI indicates: “we do not expect -this to affect any implementation’’. +this to affect any implementation”. RM References: 7.06.01 (6) 7.06.01 (7) 7.06.01 (8) 7.06.01 (9/2) @end itemize @@ -27730,7 +27730,7 @@ RM References: A.04.11 The new syntax for iterating over arrays and containers is now implemented. Iteration over containers is for now limited to read-only iterators. Only -default iterators are supported, with the syntax: @code{for Elem of C}. +default iterators are supported, with the syntax: @code{for Elem of C}. RM References: 5.05 @end itemize -- 2.43.2