[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GADT printer patch

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.




Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.