[mercury-users] Type inheritance?

John Griffith griffith at sfs.nphil.uni-tuebingen.de
Mon Sep 22 18:17:16 AEST 1997

>> "JG" == John Griffith <griffith at sfs.nphil.uni-tuebingen.de> writes:

JG> Is there any way to get inheritance of types?

Well, after looking at some of the papers at:


I can answer (part of) my own question since I read that subtyping is
not "yet" supported.

Just out of curiosity, is this on the agenda for the near future?

More information about the users mailing list