Re: GADT printer patch

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 22 May 2013, at 15:22, Stephen Dolan <Stephen.Dolan@xxxxxxxxxxxx> wrote:

>> We rarely need to render anything other than very limited precision floats,
>> and it's information that is only *required* in the Gc interface from the
>> standard library (unfortunately).
> 
> It is a little strange that those use floats. They should be int64,
> but this would be a breaking change.

Yeah. Primarily historical, but rather entrenched now.  We're going to change
those in the Mirage OPAM switch to be Int64.  It requires small tweaks to the
runtime also, which Gabor did last summer when porting Mirage to kFreeBSD.

-anil