Make objects printable

8 files changed, 17 insertions, 0 deletions

diff --git a/lib/kernel/Branch.ml b/lib/kernel/Branch.ml
index b8d331f..1e7794e 100644
--- a/lib/kernel/Branch.ml
+++ b/lib/kernel/Branch.ml
@@ -63,6 +63,8 @@ module Make (S : Abstract.Storage.STORAGE) = struct
   class branch storage value node = object (self)
     inherit Lifecycle.null
 
+    method to_string = "branch"
+
     val storage : S.connection = storage
     val branch : t = value
     val node = node (* FIXME: can we not place this inside `t`? *)
diff --git a/lib/kernel/BranchManager.ml b/lib/kernel/BranchManager.ml
index 1162b40..bda4233 100644
--- a/lib/kernel/BranchManager.ml
+++ b/lib/kernel/BranchManager.ml
@@ -28,6 +28,8 @@ module Make (S : Abstract.Storage.STORAGE) = struct
     inherit Lifecycle.null
     inherit Identity.of_id
 
+    method to_string = "branch-manager"
+
     val storage : S.connection = storage
     val label : string = label
     val head : M.node Atomic.t = Atomic.make head
diff --git a/lib/kernel/Generator.ml b/lib/kernel/Generator.ml
index e4a15f8..10f6865 100644
--- a/lib/kernel/Generator.ml
+++ b/lib/kernel/Generator.ml
@@ -15,6 +15,8 @@ class producer_cursor produce on_release =
     inherit Lifecycle.null
     inherit Identity.of_id
 
+    method to_string = "producer-cursor"
+
     val mutable state : [`Fresh | `Live of (unit, step) Effect.Deep.continuation | `Done] = `Fresh
     method protocols : Protocols.Handle.protocol list = Protocols.[Cursor.make self]
     method private step : (Concepts.Tuple.t option, Concepts.Condition.condition) result =
diff --git a/lib/kernel/Multigroup.ml b/lib/kernel/Multigroup.ml
index 685c8c7..e5e36cf 100644
--- a/lib/kernel/Multigroup.ml
+++ b/lib/kernel/Multigroup.ml
@@ -41,6 +41,8 @@ module Make (S : Abstract.Storage.STORAGE) = struct
   class multigroup conn value node = object
     inherit Lifecycle.null
 
+    method to_string = "multigroup"
+
     val multigroup = value
     val storage = conn
     val node = node (* FIXME: see the comment on Branch.ml *)
diff --git a/lib/kernel/Namespace.ml b/lib/kernel/Namespace.ml
index 507afa4..728c307 100644
--- a/lib/kernel/Namespace.ml
+++ b/lib/kernel/Namespace.ml
@@ -2,6 +2,8 @@ class namespace = object (self)
   inherit Lifecycle.null
   inherit Identity.of_id
 
+  method to_string = "namespace"
+
   val entries : (string, Protocols.Handle.t) BatMap.t Atomic.t =
     Atomic.make BatMap.empty
 
diff --git a/lib/kernel/Prototype.ml b/lib/kernel/Prototype.ml
index 65de68f..1d0751a 100644
--- a/lib/kernel/Prototype.ml
+++ b/lib/kernel/Prototype.ml
@@ -4,6 +4,8 @@ let mixture ps = Protocols.Handle.make @@
                      inherit Identity.of_id (* Should we allow the user to override this? *)
 
                      method protocols = ps
+
+                     method to_string = "mixture"
                    end
 
 let rec mixture_of value f =
diff --git a/lib/kernel/SubstantialRelation.ml b/lib/kernel/SubstantialRelation.ml
index 0afc3f7..136c146 100644
--- a/lib/kernel/SubstantialRelation.ml
+++ b/lib/kernel/SubstantialRelation.ml
@@ -146,6 +146,9 @@ module Make (S : Abstract.Storage.STORAGE) = struct
   class relation storage value =
     object (self)
       inherit Lifecycle.null
+
+      method to_string = "relation"
+
       val storage : S.connection = storage
       val relation : t = value
       method predicate = Ok relation.predicate
diff --git a/lib/kernel/Tuple.ml b/lib/kernel/Tuple.ml
index ef591ae..bbc20ab 100644
--- a/lib/kernel/Tuple.ml
+++ b/lib/kernel/Tuple.ml
@@ -117,6 +117,8 @@ module Make (S : Abstract.Storage.STORAGE) = struct
   class tuple ~relation conn value node = object (self)
     inherit Lifecycle.null
 
+    method to_string = "tuple"
+
     val tuple = value
     val storage = conn
     val node = node