0000167: bimap.init could be uo

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000167

mercury

Bug

public

2010-11-04 17:40

Reporter

mgiuca

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

new

Resolution

open

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.

Date Modified	Username	Field	Change
Issue History
2010-11-04 17:40	mgiuca	New Issue

Relationships

Notes
There are no notes attached to this issue.