Re: [RFC] redoxfs.pk: Pickle for RedoxFS file system

[Mohammad-Reza Nabipoor]

On Fri, Dec 18, 2020 at 05:58:09PM +0100, Jose E. Marchesi wrote:
> 
> >     uint<64> ctime;
> >     uint<32> ctime_nsec;
> >     uint<64> mtime;
> >     uint<32> mtime_nsec;
> >     uint<64> atime;
> >     uint<32> atime_nsec;
> 
> What are the meaning of ctime, mtime and atime above?  I quickly looked
> at the redoxfs source code but it wasn't obvious to me.


(c)reation time, (m)odification time and last (a)ccess time.

> 
> Maybe there is an opportunity there to factorize in a RedoxFS_Time
> struct?
> 
> type RedoxFS_Time =
>   struct
>   {
>      uint<64> whateverthesethingsare;
>      uint<32> atime_nsec;
>   };
> 
> along with a suitable pretty-printer...

Sure!
In fact it's `struct timespec` of C11 (according to the std `long` is
at least 32 bit).

```c
struct timespec
{
  time_t tv_sec;
  long tv_nsec;
};
```

But Poke's `Timespec` is using `int<64>` for both fields.
What's your suggestion?