Mercury Bugs - mercury
View Issue Details
0000095mercuryBugpublic2009-05-28 12:072009-06-16 15:27
Reporterpbone 
Assigned Torafe 
PrioritynormalSeveritytweakReproducibilityalways
StatusresolvedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000095: svset module descriptions don't match declarations.
Description
In the svset module descriptions of predicates don't match their declarations.
Additional InformationFor 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.
TagsNo tags attached.
Attached Files

Notes
(0000176)
rafe   
2009-06-16 15:26   
User has misunderstood the comment.

Issue History
2009-05-28 12:07pboneNew Issue
2009-06-16 15:26rafeNote Added: 0000176
2009-06-16 15:26rafeStatusnew => resolved
2009-06-16 15:26rafeResolutionopen => no change required
2009-06-16 15:26rafeAssigned To => rafe