some unused warnings in grammar, get compiling with logos-0.11.0-rc2

Author: ratmice

src/lex.rs

@@ -2,8 +2,11 @@ pub use logos::Lexer;
 use logos::Logos;
 
 #[derive(Logos, Debug, Clone, PartialEq)]
-#[logos(trivia = r"(\p{Whitespace}+|#.*\n)")]
+#[logos(trivia = r"(\p{Whitespace}+|;;.*\n)")]
 pub enum Token<'a> {
+    #[token = ","]
+    Comma,
+
     #[token = "."]
     Dot,
 
@@ -82,10 +85,6 @@ pub enum Token<'a> {
     #[token = "]"]
     RBrack,
 
-    // Name ↔ Name
-    #[regex = r"[a-zA-Z][_a-zA-Z0-9]*"]
-    Name,
-
     // Since this uses Coptic letters for keywords all greek letters can be used as variable names.
     // Variables can start with a slash character, a greek/math alphanumeric symbol,
     // and ascii letters numbers, and subscripts (TODO superscripts)
@@ -152,7 +151,8 @@ impl<'a> std::fmt::Display for Token<'a> {
             Token::RParen => write!(f, ")"),
             Token::LBrack => write!(f, "["),
             Token::RBrack => write!(f, "]"),
-            Token::Name(s)      => write!(f, "{}", s),
+            Token::Name(s) | Token::FancyNameAscii(s) => write!(f, "{}", s),
+            Token::LexError => write!(f, "Lexical Error"),
         }
     }
 }

src/prop.lalrpop

@@ -41,17 +41,17 @@ name: &'a str = {
 pub prop = Semi<Binding>;
 
 Binding: () = {
-    <n:name> "≔" <s:Stmt> => (),
-    <n:name> ":" <t:Prop> "≔" <s:Stmt> => (),
+    <_n:name> "≔" <_s:Stmt> => (),
+    <_n:name> ":" <_t:Prop> "≔" <_s:Stmt> => (),
 }
 Stmt: () = {
-  <s: Stmt> "‣" <t:Thus> => (),
+  <_s: Stmt> "‣" <_t:Thus> => (),
   Thus => (),
 }
 
 Thus: () = {
-  <t:Thus> <p: ("∴" PropOpt)> => (),
-  <t:Thus> "." <p:PropOpt> => (),
+  <_t:Thus> <_p: ("∴" PropOpt)> => (),
+  <_t:Thus> "." <_p:PropOpt> => (),
   PropOpt
 }
 
@@ -67,7 +67,7 @@ Semi<T>: Vec<T> = {
 }
 
 Prop: () = {
-  "¬" <t:BinaryProp> => (),
+  "¬" <_t:BinaryProp> => (),
   BinaryProp,
 }
 
@@ -77,20 +77,20 @@ PropOpt: () = {
 }
 
 BinaryProp: () = {
-  <p1:BinaryProp> "∧" <p2:Atom> => (),
-  <p1:BinaryProp> "∨" <p2:Atom> => (),
-  <p1:BinaryProp> "→" <p2:Atom> => (),
-  <p1:BinaryProp> "↔" <p2:Atom> => (),
-  <p1:BinaryProp> "∧" "¬" <p2:Atom> => (),
-  <p1:BinaryProp> "∨" "¬" <p2:Atom> => (),
-  <p1:BinaryProp> "→" "¬" <p2:Atom> => (),
-  <p1:BinaryProp> "↔" "¬" <p2:Atom> => (),
+  <_p1:BinaryProp> "∧" <_p2:Atom> => (),
+  <_p1:BinaryProp> "∨" <_p2:Atom> => (),
+  <_p1:BinaryProp> "→" <_p2:Atom> => (),
+  <_p1:BinaryProp> "↔" <_p2:Atom> => (),
+  <_p1:BinaryProp> "∧" "¬" <_p2:Atom> => (),
+  <_p1:BinaryProp> "∨" "¬" <_p2:Atom> => (),
+  <_p1:BinaryProp> "→" "¬" <_p2:Atom> => (),
+  <_p1:BinaryProp> "↔" "¬" <_p2:Atom> => (),
   Atom,
 }
 
 Atom: () = {
   "⊤" => (),
   "(" Prop ")" => (),
-  <n:name> => (),
+  <_n:name> => (),
 };