> Why do you want to do this? There is a String.set function that allows > you to modify a character of a string. For a list, if you need to modify > an element then it should be a list of reference cells. But I think that > in practice it would be strange for either operation to be necessary.
I would like to avoid unwanted run time behaviour because of unnecessary data copying when I will append text lines to a growing list. http://ocaml.org/learn/tutorials/comparison_of_standard_containers.html#Listsimmutablesinglylinkedlists I imagine that in-place modification will be a more efficient approach for my use case. Is a kind of list buffer available? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
