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

Re: [MirageOS-devel] Mirage 1.1.0 pull req

On 5 Feb 2014, at 21:10, Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx> 

> btw, out of curiosity, are there other common points of incompatibility 
> between 4.01 and 4.00.1?

The main differentiator is the addition of record disambiguation in 4.01.0, 
which lets you shadow field names across records in the same module, but still 
access both types.

Spotting hidden uses of this (very useful) feature is why I normally activate 
the `principal` tag in my libraries (by editing _tags).  You can read more 
about it here:


There are some significant performance improvements in 4.01.0 (direct bigarray 
intrinsics, faster write barrier, code generation quality particularly for ARM) 
that will not be user facing, but mean that you should always benchmark using 
4.01.0 to keep a consistent baseline.

MirageOS-devel mailing list



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