[m-rev.] for review: Make subtypes share high-level data representation with base type.

[Peter Wang]

On Thu, 08 Apr 2021 21:29:12 +1000 Julien Fischer <jfischer at opturion.com> wrote:
> 
> So, if the base type has a user defined equality or comparison predicate
> then the subtype in high-level data grades inherits that (by virtue of the
> above)?
> 
> Do we allow user-defined equality / comparison on subtypes at the moment?
> If so, I think we should just disallow them and subtypes (in all grades)
> should just inherit those operations from their base type.
> 

They are allowed, and I agree it makes sense to disallow them.

Peter