[mercury-users] Abstract instantiations?

David Overton dmo at cs.mu.OZ.AU
Mon Dec 13 12:21:19 AEDT 1999


On Mon, 13 Dec, 1999 at 11:50:58AM EST, Warwick Harvey wrote:
> Can anybody confirm whether or not abstract instantiation declarations are 
> supported?
> 

Hi Warwick,

Abstract instantiation declarations are not yet supported.

David
-- 
David Overton       Department of Computer Science & Software Engineering
PhD Student         The University of Melbourne, Australia
+61 3 9344 9159     http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list