Slightly simplied status code.

diff --git a/helm/software/components/grafite_parser/nEstatus.ml b/helm/software/components/grafite_parser/nEstatus.ml
index 5cd454fb3a4b9b429769968eb550e0131f842327..306eca9d67cc45adf0e7e26c49cc410fc2f62118 100644 (file)
--- a/helm/software/components/grafite_parser/nEstatus.ml
+++ b/helm/software/components/grafite_parser/nEstatus.ml
@@ -21,7 +21,6 @@ class status =
  object (self)
   inherit LexiconEngine.status
   inherit NRstatus.dumpable_status
-  method set_estatus
-   : 'status. #g_status as 'status -> 'self
+  method set_estatus : 'status. #g_status as 'status -> 'self
    = fun o -> (self#set_lexicon_engine_status o)#set_dumpable_status o
  end

diff --git a/helm/software/components/lexicon/lexiconEngine.ml b/helm/software/components/lexicon/lexiconEngine.ml
index 0bf40e234f68ee2fc54fd1b2956fb952c74f6a88..39d95a7f2cd02c5f503390286c502a08e7e09d08 100644 (file)
--- a/helm/software/components/lexicon/lexiconEngine.ml
+++ b/helm/software/components/lexicon/lexiconEngine.ml
@@ -53,13 +53,12 @@ class type g_status =
  end
 
 class status =
- object
+ object(self)
   val lstatus = initial_status
   method lstatus = lstatus
   method set_lstatus v = {< lstatus = v >}
-  method set_lexicon_engine_status
-   : 'status. #g_status as 'status -> 'self
-   = fun o -> {< lstatus = o#lstatus >}
+  method set_lexicon_engine_status : 'status. #g_status as 'status -> 'self
+   = fun o -> self#set_lstatus o#lstatus
  end
 
 let dump_aliases out msg status =

diff --git a/helm/software/components/ng_refiner/nRstatus.ml b/helm/software/components/ng_refiner/nRstatus.ml
index dc7a6cf4a6df00fbad5997308c58e4ac04cd43c1..68fdf4f50f07663efdee6d131280f50f323f2416 100644 (file)
--- a/helm/software/components/ng_refiner/nRstatus.ml
+++ b/helm/software/components/ng_refiner/nRstatus.ml
@@ -21,8 +21,7 @@ class status =
  object (self)
   inherit NCicCoercion.status
   inherit NCicLibrary.status
-  method set_rstatus
-   : 'status. #g_status as 'status -> 'self
+  method set_rstatus : 'status. #g_status as 'status -> 'self
    = fun o -> (self#set_coercion_status o)#set_library_status o
  end
 
@@ -47,12 +46,11 @@ class type g_dumpable_status =
  end
 
 class dumpable_status =
- object
+ object(self)
   inherit status
   val dump = ([] : Serializer.obj list)
   method dump = dump
   method set_dump v = {< dump = v >}
-  method set_dumpable_status
-   : 'status. #g_dumpable_status as 'status -> 'self
-   = fun o -> {< dump = o#dump >}#set_rstatus o
+  method set_dumpable_status : 'status. #g_dumpable_status as 'status -> 'self
+   = fun o -> (self#set_dump o#dump)#set_rstatus o
  end