Mercury Bugs - mercury
View Issue Details
0000462mercuryFeature Requestpublic2018-06-08 22:402018-06-08 22:41
Reporterzs 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityN/A
StatusassignedResolutionopen 
PlatformOSOS Version
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? pack_args_notag.m (3,416) 2018-06-08 22:40
https://bugs.mercurylang.org/file_download.php?file_id=284&type=bug

There are no notes attached to this issue.

Issue History
2018-06-08 22:40zsNew Issue
2018-06-08 22:40zsFile Added: pack_args_notag.m
2018-06-08 22:41zsAssigned To => zs
2018-06-08 22:41zsStatusnew => assigned