<!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...<br>
<br>
I just did not want to miss the opportunity.<br>
<br>
<br>
All  the best,<br>
<br>
             Nick<br>
<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>
<br>
</body>
</html>