2024-12-15 05:25 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000095mercuryBugpublic2009-06-16 15:27
Reporterpbone 
Assigned Torafe 
PrioritynormalSeveritytweakReproducibilityalways
StatusresolvedResolutionno change required 
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

-Relationships
+Relationships

-Notes

~0000176

rafe (reporter)

User has misunderstood the comment.
+Notes

-Issue History
Date Modified Username Field Change
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