0000095: svset module descriptions don't match declarations.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000095

mercury

Bug

public

2009-05-28 12:07

2009-06-16 15:27

Reporter

pbone

Assigned To

rafe

Priority

normal

Severity

tweak

Reproducibility

always

Status

resolved

Resolution

no change required

Product Version

Target Version

Fixed in Version

Summary

0000095: svset module descriptions don't match declarations.

Description

In the svset module descriptions of predicates don't match their declarations.

Additional Information

For example:

     % `svset.insert(X, Set0, Set)' is true iff `Set' is the union of
     % `Set0' and the set containing only `X'.
     %
  :- pred svset.insert(T::in, set(T)::in, set(T)::out) is det.

The description says insert/3 is *true iff* however the predicate is deterministic. As a user I'm not sure if this will throw an exception if the key already exists or just ignore it.

It may be best to adjust the declaration to match the description.

  paul@tarrango:~/code/edsnap/src$ mmc -V
  Mercury Compiler, version rotd-2009-03-13, configured for i686-pc-linux-gnu
  Copyright (C) 1993-2009 The University of Melbourne
  Usage: mmc [<options>] <arguments>
  Use `mmc --help' for more information.

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes

~0000176

~~rafe~~ (reporter)

2009-06-16 15:26

User has misunderstood the comment.

Notes

Date Modified	Username	Field	Change
Issue History
2009-05-28 12:07	pbone	New Issue
2009-06-16 15:26	~~rafe~~	Note Added: 0000176
2009-06-16 15:26	~~rafe~~	Status	new => resolved
2009-06-16 15:26	~~rafe~~	Resolution	open => no change required
2009-06-16 15:26	~~rafe~~	Assigned To	=> rafe

Issue History