On Andreas Rossberg <rossberg@mpi-sws.org> wrote:

> On Keiko Nakata <keikonkt@gmail.com> wrote:
> > Why do you not make your unsigned int64 an abstract type (to make sure
> singed and unsigned int64 won't be mixed up)?
>
> Well, because that wouldn’t match the design being implemented there. For
> an assembly-like language, you don’t want to factor that way. For other
> purposes a separate ADT would make a lot of sense, of course. In any case,
> I was only pointing to this for the implementation of individual operators,
> not necessarily for the module as a whole.
>

Sure, I was just curious.

I'll play around with your library. I am porting some low level C++ code to
OCaml. Thanks!


Best regards,
Keiko