From 52c949a781f8f65ad390e980f8fa143da86cb8bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Gilles?= <sebastien.gilles@inria.fr>
Date: Mon, 4 Nov 2024 15:52:11 +0100
Subject: [PATCH] Fixes suggested by Jerome.
---
1-ProceduralProgramming/4-Functions.ipynb | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/1-ProceduralProgramming/4-Functions.ipynb b/1-ProceduralProgramming/4-Functions.ipynb
index ff608a8..18386df 100644
--- a/1-ProceduralProgramming/4-Functions.ipynb
+++ b/1-ProceduralProgramming/4-Functions.ipynb
@@ -1411,7 +1411,7 @@
"source": [
"## Unused arguments\n",
"\n",
- "It might happen that a function provides parameters which are not actually used in the implementation; if you're doing things correctly your compiler should warn you about these unused parameters:"
+ "It might happen that a function provides parameters which are not actually used in the implementation; if you've set up the appropriate warning flags for your compiler, it should warn you about these unused parameters:"
]
},
{
@@ -1517,8 +1517,8 @@
"source": [
"We strongly advised you to use the latest, if your code is using at least C++ 17:\n",
"\n",
- "- Not naming the parameters might seem innocuous here, but in more meaningful codes you lose expressivity: the fact the argument isn't used doesn't mean you don't want the intel about what it is about (we'll see later in object programming `override` [we'll see later](../2-ObjectProgramming/7-polymorphism.ipynb#override-keyword)). Naming bears information, and dropping it is therefore loss of information.\n",
- "- Casting to `void` is not straightforward for developers who don't know the idiom. Even so, the fact it's not directly indicated at the declaration place makes it less expressive.\n",
+ "- Not naming the parameters might seem innocuous here, but in more meaningful codes you lose expressivity: the fact that the argument isn't used doesn't mean you don't want the intel about what it is about (we'll see later in object programming `override` [we'll see later](../2-ObjectProgramming/7-polymorphism.ipynb#override-keyword)). Naming bears information, and dropping it is therefore loss of information.\n",
+ "- Casting to `void` is not straightforward for developers who don't know the idiom. Even so, the fact that it's not directly indicated at the declaration site makes it less expressive.\n",
"\n",
"`[[maybe_unused]]` may in fact be used as well for local variables:\n"
]
--
GitLab