[mercury-users] Type inheritance?

[John Griffith]

>> "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:

  <URL:http://www.cs.mu.oz.au/research/mercury/papers.html>

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?