Generalize First trait

Author: d-plaindoux

lang/v0/parser/src/transpiler.rs

@@ -116,7 +116,7 @@ impl TranspileBody<(Option<String>, TokenStream)> for ASTParsec<char> {
             }
             PAtom(c) => Ok((None, quote!(celma_core::parser::char::a_char(#c)))),
             PAtoms(s) => {
-                let s = s.into_iter().collect::<String>();
+                let s = s.iter().collect::<String>();
                 Ok((None, quote!(celma_core::parser::literal::string(#s))))
             }
             PCode(c) => {

lang/v1/parser/src/first.rs

@@ -18,8 +18,11 @@ use crate::token::Token::{AllAtom, Atom};
 use crate::token::{First, Token};
 use celma_lang_ast::syntax::ASTParsec;
 
-impl First<char> for ASTParsec<char> {
-    fn first(&self) -> Vec<Token<char>> {
+impl<E> First<E> for ASTParsec<E>
+where
+    E: Copy,
+{
+    fn first(&self) -> Vec<Token<E>> {
         match self {
             ASTParsec::PIdent(_) => vec![AllAtom],
             ASTParsec::PAtom(c) => vec![Atom(*c)],

lang/v1/parser/tests/first_tests.rs

@@ -22,7 +22,7 @@ mod tests {
 
     #[test]
     fn it_compute_first_for_ident() {
-        assert_eq!(vec![AllAtom], PIdent(String::from("test")).first());
+        assert_eq!(vec![AllAtom::<char>], PIdent(String::from("test")).first());
     }
 
     #[test]