[m-dev.] discussion about the implementation of compact type representations

[Zoltan Somogyi]

On Tue, 31 Oct 2017 16:58:32 +1100, Mark Brown <mark at mercurylang.org> wrote:

> On Tue, Oct 31, 2017 at 4:33 PM, Julien Fischer <jfischer at opturion.com> wrote:
> > On Tue, 31 Oct 2017, Zoltan Somogyi wrote:
> >> That leaves the question: should a Mercury type with one functor of arity
> >> 0
> >> *with* foreign type pragmas be considered a dummy type in grades in which
> >> none of those pragmas apply? I don't see any reason why it shouldn't,
> >> but then again, I don't see any great urgency in optimizing the
> >> representation
> >> of a data item whose first access will abort the program.
> >
> >
> > In the above case it doesn't.  That said, surely the "dummyness"
> > property only needs to be consistent within a target language not
> > across different target languages (e.g. if there's an applicable
> > foreign_type pragma then it's not a dummy type and otherwise it is)?
> 
> That's the same thing as not seeing any reason why it shouldn't be
> different across grades, right? I think you and Zoltan may be in
> agreement :-)

We are.

Zoltan.