2023-12-09 20:32 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000462mercuryFeature Requestpublic2018-06-08 22:41
Assigned Tozs 
Product Version 
Target VersionFixed in Version 
Summary0000462: packing notag arguments
DescriptionGiven a type such as

:- type t1
   ---> f1(int8, bool, bool, int8, int).

we currently pack the first four arguments into a single word.

However, given a type such as

:- type t2
   ---> f2(nt_int8, nt_bool, nt_bool, nt_int8, int).


:- type nt_int8
   ---> nt_int8(int8).

:- type nt_bool
   ---> nt_bool(bool).

we do NOT pack the first four args of f2 into a single word.
We should be able to.
TagsNo tags attached.
Attached Files


There are no notes attached to this issue.

-Issue History
Date Modified Username Field Change
2018-06-08 22:40 zs New Issue
2018-06-08 22:40 zs File Added: pack_args_notag.m
2018-06-08 22:41 zs Assigned To => zs
2018-06-08 22:41 zs Status new => assigned
+Issue History