[M3devel] Question about TEXTs under CM3

[Mika Nystrom]

Hello everyone,

Here's a random question that hopefully someone can answer...

Is it true that certain TEXTs can't be Pickled under CM3?

Unless there's some magic I don't understand going on, I am thinking
that would be the implication of:

UNSAFE INTERFACE Text8CString;
...
TYPE
  T <: Public;
  Public = TEXT OBJECT
    str: Ctypes.char_star;
  END;
  (* The array contains the characters of the text followed by a '\000'. *)
...

I hope someone can set me straight and tell me that no, the situation
isn't as dire as that---some clever thing somewhere makes it possible
to Pickle all objects of type TEXT... 

     Mika