[m-rev.] for review: proposed changes to term module

Julien Fischer jfischer at opturion.com
Tue Apr 18 11:33:08 AEST 2017


Hi Zoltan,

On Tue, 18 Apr 2017, Zoltan Somogyi wrote:

>> +:- type integer_size
>> +    --->    size_word.
>> +    %;       size_8bit
>> +    %;       size_16bit
>> +    %;       size_32bit
>> +    %;       size_64bit
>> +
>
> I would make these size_8_bit, size_16_bit etc.

Ok.

> That should be doable with four invocations of the attached script
> (just in case you haven't written one for yourself ages ago).

Those are the only occurrences of those for now; they're commented
out until we actually have something that uses them.

Julein.


More information about the reviews mailing list