former : experimenting

Wandalen · Mar 29, 2024 · 68bd732 · 68bd732
1 parent 10fbde3
commit 68bd732
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 5 deletions.
diff --git a/module/core/former/tests/inc/former_tests/a_primitives_manual.rs b/module/core/former/tests/inc/former_tests/a_primitives_manual.rs
@@ -30,7 +30,9 @@ impl Struct1
 pub struct Struct1FormerDefinition< Context = (), Formed = Struct1, End = former::ReturnPreformed >
 // xxx : use?
 // where
-//   End : FormingEnd< Struct1FormerDefinition< Context, Formed, NoEnd > >,
+//   End : former::FormingEnd< Struct1FormerDefinition< Context, Formed, NoEnd > >,
+// where
+  // End : former::FormingEnd< Self >,
 {
   _phantom : core::marker::PhantomData< ( Context, Formed, End ) >,
 }
@@ -53,6 +55,10 @@ for Struct1FormerDefinition< Context, Formed, End >
 
 impl< Context, Formed > former::FormerDefinitionTypes
 for Struct1FormerDefinition< Context, Formed, former::NoEnd >
+// impl< Context, Formed, End > former::FormerDefinitionTypes
+// for Struct1FormerDefinition< Context, Formed, End >
+// where
+//   End : former::FormingEnd< Self >,
 {
   type Storage = Struct1FormerStorage;
   type Formed = Formed;
@@ -63,9 +69,10 @@ impl< Context, Formed, End > former::FormerDefinition
 for Struct1FormerDefinition< Context, Formed, End >
 where
   End : former::FormingEnd< Struct1FormerDefinition< Context, Formed, former::NoEnd > >,
+  // End : former::FormingEnd< Self >,
 {
-  // type Types = Struct1FormerDefinition;
   type Types = Struct1FormerDefinition< Context, Formed, former::NoEnd >;
+  // type Types = Self;
   type End = End;
 }
 

diff --git a/module/core/former/tests/inc/former_tests/only_test/primitives.rs b/module/core/former/tests/inc/former_tests/only_test/primitives.rs
@@ -85,11 +85,9 @@ tests_impls!
     let _default = Struct1FormerDefinition::< () >::default();
     // let _default = Struct1FormerDefinition::default(); // why does not work?
 
-    // impl< Context, Formed, End > Default
-
     // definition types exists and has Formed
     let got = < Struct1FormerDefinition< (), Struct1, former::NoEnd > as the_module::FormerDefinitionTypes >::Formed::former().form();
-    // let got = < Struct1FormerDefinition as the_module::FormerDefinitionTypes >::Formed::former().form(); // xxx : make it working
+    // let got = < Struct1FormerDefinition<> as the_module::FormerDefinitionTypes >::Formed::former().form();
     let exp = Struct1::former().form();
     a_id!( got, exp );
     // xxx : uncomment