Re: [MirageOS-devel] Mirage 1.1.0 pull req

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

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

> 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:

https://realworldocaml.org/v1/en/html/the-compiler-frontend-parsing-and-type-checking.html#enforcing-principal-typing

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.

-anil
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel