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

[Mark Brown]

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

Mark