Re: [PATCH] New function posix_time32 to map timestamps

[Jose E. Marchesi]

Hi John.

Very nice!  :)

But it seems to me that it would be better to split this in two parts:

- A standard library function that gets an uint<32> and returns a string
  with the formatted date.  Something like asctime.

- A pickle pickles/posix.pk defining the POSIX_Time32 struct, whose
  pretty-printer uses asctime.

WDYT?
     
    +/*** Date and Time.  */
    +
    +deftype posix_time32 = struct

We follow a convention to use Camel_Case for type names in poke.
POSIX_Time32.

    +{
    +  uint<32>  seconds;