Correction orthographique: par défaut (#3)

This commit is contained in:
Anisse Astier 2021-09-10 09:37:31 +02:00 committed by GitHub
parent 46ea2190ed
commit 9c88b0aece
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 6 deletions

View file

@ -35,13 +35,13 @@ structure Concrète;
implémentation CléValeur pour Concrète { implémentation CléValeur pour Concrète {
fonction écrire(&soi, clé: Chaine, valeur: Chaine) { fonction écrire(&soi, clé: Chaine, valeur: Chaine) {
soit dico = dangereux { soit dico = dangereux {
DICTIONNAIRE.prendre_ou_insérer_avec(Défault::défault) DICTIONNAIRE.prendre_ou_insérer_avec(Défaut::défaut)
}; };
dico.insérer(clé, valeur); dico.insérer(clé, valeur);
} }
fonction lire(&soi, clé: Chaine) -> PeutÊtre<&Chaine> { fonction lire(&soi, clé: Chaine) -> PeutÊtre<&Chaine> {
soit dico = dangereux { soit dico = dangereux {
DICTIONNAIRE.prendre_ou_insérer_avec(Défault::défault) DICTIONNAIRE.prendre_ou_insérer_avec(Défaut::défaut)
}; };
dico.lire(&clé) dico.lire(&clé)
} }

View file

@ -15,13 +15,13 @@ rouille::rouille! {
implémentation CléValeur pour Concrète { implémentation CléValeur pour Concrète {
fonction écrire(&soi, clé: Chaine, valeur: Chaine) { fonction écrire(&soi, clé: Chaine, valeur: Chaine) {
soit dico = dangereux { soit dico = dangereux {
DICTIONNAIRE.prendre_ou_insérer_avec(Défault::défault) DICTIONNAIRE.prendre_ou_insérer_avec(Défaut::défaut)
}; };
dico.insérer(clé, valeur); dico.insérer(clé, valeur);
} }
fonction lire(&soi, clé: Chaine) -> PeutÊtre<&Chaine> { fonction lire(&soi, clé: Chaine) -> PeutÊtre<&Chaine> {
soit dico = dangereux { soit dico = dangereux {
DICTIONNAIRE.prendre_ou_insérer_avec(Défault::défault) DICTIONNAIRE.prendre_ou_insérer_avec(Défaut::défaut)
}; };
dico.lire(&clé) dico.lire(&clé)
} }

View file

@ -8,7 +8,7 @@ fn replace_ident(ident: Ident) -> Option<TokenTree> {
"Bien" => "Ok", "Bien" => "Ok",
"Chaine" => "String", "Chaine" => "String",
"Dictionnaire" => "HashMap", "Dictionnaire" => "HashMap",
"Défault" => "Default", "Défaut" => "Default",
"Erreur" => "Error", "Erreur" => "Error",
"PeutÊtre" => "Option", "PeutÊtre" => "Option",
"Quelque" => "Some", "Quelque" => "Some",
@ -30,7 +30,7 @@ fn replace_ident(ident: Ident) -> Option<TokenTree> {
"depuis" => "from", "depuis" => "from",
"dynamique" => "dyn", "dynamique" => "dyn",
"déballer" => "unwrap", "déballer" => "unwrap",
"défault" => "default", "défaut" => "default",
"es" => "io", "es" => "io",
"externe" => "extern", "externe" => "extern",
"faux" => "false", "faux" => "false",