<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta content="text/html;charset=UTF-8" http-equiv="Content-Type"> </head> <body bgcolor="#ffffff" text="#000000"> Thank you, Mark; I think it's time to begin finishing my work in a less elegant way... I just did not want to miss the opportunity. All the best, Nick <blockquote cite="mid20070130233549.GA9573@mundula.csse.unimelb.edu.au" type="cite"> <pre wrap=""> >From the reference manual: "The current implementation does not handle partially instantiated data structures yet." Unfortunately, you'll have to find a way to do this using ground data for the time being. (Incidentally, the compiler really should report something when it sees insts that it can't handle.) Cheers, Mark.</pre> </blockquote> </body> </html>