I wrote:
I am completely baffled. I thought I hada solved all my problems on
MacOS X
10.6 and was just tidying up, when I had to recompile a 32 bit
version of
Poly/ML to test a tidied up make file. This failed because
PolyML.Compiler.printTypesWithStructureName no longer exists. The same
problem happened when i rebuild a 64 bit version. What has happened?
but it was a false alarm: my make file was wrong for other reasons and
the absence of PolyML.Compiler.printTypesWithStructureName was not
relevant. No doubt there are good reasons why this variable has been
withdrawn.
Regards,
Rob.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
