[mercury-users] Type inheritance?
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