[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...> |
| Subject: | Re: [Caml-list] V.null in ocamlgraph |
Alexy Khrabrov wrote: > In some folds over data when creating ocmalgraph's, I'd need an empty > vertex value, something like V.null, to give to an edge-creating fold > when I know it's not going to be used. Currently I have to look ahead > into the data. Does it make sense to add a null value to the V > module, or is there another OCaml way to give a fold an empty V value? What about using an option type instead? I kind of dislike the idea of introducing an infamous "null" value in Ocamlgraph... -- Jean-Christophe