2018-12-13 13:51 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000462mercuryFeature Requestpublic2018-06-08 22:41
Reporterzs 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityN/A
StatusassignedResolutionopen 
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).

where

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

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-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