[PPL-devel] [GIT] ppl/ppl(master): Two non-urgent FIXMEs better documented.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 4280bc6f3e284b36f7cef0412733a44c28b08cd2
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4280bc6f3e284b36f7cef0412733a44c28b08cd2

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 21 15:26:09 2009 +0100

Two non-urgent FIXMEs better documented.

---

 src/Determinate.inlines.hh |   10 +++++++---
 1 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/Determinate.inlines.hh b/src/Determinate.inlines.hh
index c14927a..9aee467 100644
--- a/src/Determinate.inlines.hh
+++ b/src/Determinate.inlines.hh
@@ -178,14 +178,18 @@ Determinate<PS>::meet_assign(const Determinate& y) {
 template <typename PS>
 inline bool
 Determinate<PS>::has_nontrivial_weakening() {
-  // FIXME(0.10.1)
-  return true;
+  // FIXME: the following should be turned into a query to PS.  This
+  // can be postponed until the time the ask-and-tell construction is
+  // revived.
+  return false;
 }
 
 template <typename PS>
 inline void
 Determinate<PS>::weakening_assign(const Determinate& y) {
-  // FIXME(0.10.1)
+  // FIXME: the following should be turned into a proper
+  // implementation.  This can be postponed until the time the
+  // ask-and-tell construction is revived.
   element().difference_assign(y.element());
 }