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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
