On 29/01/2012 00:33, Ian Zimmerman wrote:

David> OK. It turned out to be a problem with flexible records. Your David> code in Vector2 had a complicated case of flexible records inside David> flexible records that were only resolved later on. I've reworked David> the flexible record handling in the compiler and it now seems to David> work. It will require an update to SVN and make compiler to David> build the updated version.

David, thanks very much for looking into it. I am still getting the same error, though (with svn revision 1399).

It works for me. david@aeolus:~$ cd easylib david@aeolus:~/easylib$ ~/polyml/poly Poly/ML 5.4.2 Testing

use "load-all";

signature PRODUCT = ....... Created structure RealVectorSliceX structure RealVectorSliceX : MONO_VECTOR_SLICE_X Making Fold Created structure Fold structure Fold : FOLD

Leaving directory `/home/david/easylib/src' val it = (): unit

Are you sure you ran "make compiler" AFTER the update and "make"? i.e. make distclean svn update ./configure && make && make compiler

Simply using "make" compiles the RTS and compiles in the basis library using the pre-built compiler from the imports directory. If there have been updates to the compiler source since the pre-built compiler was built then you have to run "make compiler".

David