toujours plus

README.md

@@ -22,34 +22,52 @@ convenience.
 
 Here's an example of what can be achieved with Rouille:
 
+### struct and impl (aka convention et réalisation)
+
 ```rust
-utilisons std::collections::Dictionnaire comme Dico;
+rouille::rouille! {
+    utilisons std::collections::Dictionnaire comme Dico;
 
-convention CléValeur {
-    fonction écrire(&soi, clé: Chaine, valeur: Chaine);
-    fonction lire(&soi, clé: Chaine) -> PeutÊtre<&Chaine>;
-}
-
-statique mutable DICTIONNAIRE: PeutÊtre<Dico<Chaine, Chaine>> = Rien;
-
-structure Concrète;
-
-réalisation CléValeur pour Concrète {
-    fonction écrire(&soi, clé: Chaine, valeur: Chaine) {
-        soit dico = dangereux {
-            DICTIONNAIRE.prendre_ou_insérer_avec(Défaut::défaut)
-        };
-        dico.insérer(clé, valeur);
+    convention CléValeur {
+        fonction écrire(&soi, clé: Chaine, valeur: Chaine);
+        fonction lire(&soi, clé: Chaine) -> PeutÊtre<&Chaine>;
     }
-    fonction lire(&soi, clé: Chaine) -> PeutÊtre<&Chaine> {
-        soit dico = dangereux {
-            DICTIONNAIRE.prendre_ou_insérer_avec(Défaut::défaut)
-        };
-        dico.lire(&clé)
+
+    statique mutable DICTIONNAIRE: PeutÊtre<Dico<Chaine, Chaine>> = Rien;
+
+    structure Concrète;
+
+    réalisation CléValeur pour Concrète {
+        fonction écrire(&soi, clé: Chaine, valeur: Chaine) {
+            soit dico = dangereux {
+                DICTIONNAIRE.prendre_ou_insérer_avec(Défaut::défaut)
+            };
+            dico.insérer(clé, valeur);
+        }
+        fonction lire(&soi, clé: Chaine) -> Résultat<PeutÊtre<&Chaine>, Chaine> {
+            si soit Quelque(dico) = dangereux { DICTIONNAIRE.en_réf() } {
+                Bien(dico.lire(&clé))
+            } sinon {
+                Arf("fetchez le dico".vers())
+            }
+        }
     }
 }
 ```
 
+### Support for regional languages
+
+```rust
+#[légal(code_inaccessible)]
+fonction secondaire() {
+    merde!("oh non"); // for the true French experience
+    calisse!("tabernacle"); // for friends speaking fr-ca
+    oups!("fetchez la vache"); // in SFW contexts
+}
+```
+
+### Other examples
+
 See the [examples](./examples/src/main.rs) to get a rough sense of the whole
 syntax. Voilà, that's it.
 

examples/src/main.rs

@@ -5,7 +5,7 @@ rouille::rouille! {
 
     convention CléValeur {
         fonction écrire(&soi, clé: Chaine, valeur: Chaine);
-        fonction lire(&soi, clé: Chaine) -> PeutÊtre<&Chaine>;
+        fonction lire(&soi, clé: Chaine) -> Résultat<PeutÊtre<&Chaine>, Chaine>;
     }
 
     statique mutable DICTIONNAIRE: PeutÊtre<Dico<Chaine, Chaine>> = Rien;
@@ -19,11 +19,12 @@ rouille::rouille! {
             };
             dico.insérer(clé, valeur);
         }
-        fonction lire(&soi, clé: Chaine) -> PeutÊtre<&Chaine> {
-            soit dico = dangereux {
-                DICTIONNAIRE.prendre_ou_insérer_avec(Défaut::défaut)
-            };
-            dico.lire(&clé)
+        fonction lire(&soi, clé: Chaine) -> Résultat<PeutÊtre<&Chaine>, Chaine> {
+            si soit Quelque(dico) = dangereux { DICTIONNAIRE.en_réf() } {
+                Bien(dico.lire(&clé))
+            } sinon {
+                Arf("fetchez le dico".vers())
+            }
         }
     }
 
@@ -49,7 +50,7 @@ rouille::rouille! {
     fonction principale() {
         soit mutable x = 31;
 
-        correspond x {
+        selon x {
             42 => {
                 affiche!("omelette du fromage")
             }
@@ -71,5 +72,14 @@ rouille::rouille! {
                 12
             };
         }
+
+        secondaire();
+    }
+
+    #[légal(code_inaccessible)]
+    fonction secondaire() {
+        merde!("oh non"); // for the true French experience
+        calisse!("tabernacle"); // for friends speaking fr-ca
+        oups!("fetchez la vache"); // in SFW contexts
     }
 }

rouille_proc_macro/src/lib.rs

@@ -22,24 +22,26 @@ fn replace_ident(ident: Ident) -> Option<TokenTree> {
         "boucle" => "loop",
         "bouge" => "move",
         "cagette" => "crate",
+        "code_inaccessible" => "unreachable_code",
         "comme" => "as",
         "constant" => "const",
-        "correspond" => "match",
+        "convention" => "trait",
         "dangereux" => "unsafe",
         "de" => "in",
         "depuis" => "from",
         "dynamique" => "dyn",
         "déballer" => "unwrap",
         "défaut" => "default",
+        "en_réf" => "as_ref",
         "es" => "io",
         "externe" => "extern",
         "faux" => "false",
         "fonction" => "fn",
         "génial" => "super",
-        "réalisation" => "impl",
         "insérer" => "insert",
-        "convention" => "trait",
         "lire" => "get",
+        "légal" => "allow",
+        "merde" | "calisse" | "oups" => "panic",
         "module" => "mod",
         "mutable" => "mut",
         "nouveau" => "new",
@@ -50,6 +52,9 @@ fn replace_ident(ident: Ident) -> Option<TokenTree> {
         "public" => "pub",
         "que" => None?,
         "renvoie" => "return",
+        "réalisation" => "impl",
+        "réf" => "ref",
+        "selon" => "match",
         "si" => "if",
         "sinon" => "else",
         "soi" => "self",
@@ -59,6 +64,7 @@ fn replace_ident(ident: Ident) -> Option<TokenTree> {
         "suppose" => "expect",
         "tant" => "while",
         "utilisons" => "use",
+        "vers" => "into",
         "vrai" => "true",
         "énumération" => "enum",