0000167: bimap.init could be uo

Mercury Bugs - mercury
View Issue Details

ID	Project	Category	View Status	Date Submitted	Last Update
0000167	mercury	Bug	public	2010-11-04 17:40	2010-11-04 17:40

Reporter	mgiuca
Assigned To
Priority	normal	Severity	minor	Reproducibility	always
Status	new	Resolution	open
Platform		OS		OS Version
Product Version
Target Version		Fixed in Version

Summary	0000167: bimap.init could be uo
Description	The mode of bimap.init is: :- func bimap.init = bimap(K, V). :- pred bimap.init(bimap(K, V)::out) is det. Note that the mode of map.init is: :- pred map.init(map(_, _)::uo) is det. :- func map.init = (map(K, V)::uo) is det. For consistency, bimap.init's mode could be upgraded to uo, which shouldn't cause any problems: :- func bimap.init = (bimap(K, V)::uo) is det. :- pred bimap.init(bimap(K, V)::uo) is det. (I've tried it and it compiles fine, as does code which depends on it.) This would be useful for programs trying to use uniqueness where possible.
Tags	No tags attached.
Relationships
Attached Files

There are no notes attached to this issue.