diff --git a/tools/gg/ggcore.ml b/tools/gg/ggcore.ml index ddcaef5b7dcf6ee906b297383e27d35154a628dd..6429315435fd46484f6e7ad07e44c7af4cea1dfb 100644 --- a/tools/gg/ggcore.ml +++ b/tools/gg/ggcore.ml @@ -2,6 +2,7 @@ open Sasacore.Topology type node_ofId_t = (string, node) Hashtbl.t +(* TODO: should be tail-recursive+tmp is a poor name *) let rec create_nodes : (string -> int*int -> node_id list) = (* Create names from a generic name *) fun name (start,finish) -> diff --git a/tools/gg/ggcore.mli b/tools/gg/ggcore.mli index f87e17374b028c689c7a988eb2095dfbd325630e..ad0b56586e3240efcf3f7c333129902b3a7e0569 100644 --- a/tools/gg/ggcore.mli +++ b/tools/gg/ggcore.mli @@ -3,7 +3,8 @@ open Sasacore.Topology (** Create a name (i.d. node ID) list from a generic name *) val create_nodes : (string -> int*int -> node_id list) -(** creates a list of nodes, each having an ID from the list given in argument, and no file or init value. *) +(** creates a list of nodes, each having an ID from the list given in + argument, and no file or init value. *) val id_to_empty_nodes : (node_id list -> node list) (** create a function to get a node from it's ID *)