[PPL-devel] [GIT] ppl/ppl(master): Fixed plain char vs. numeric unsafe mixing.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Nov  3 09:33:34 2011 +0100

Fixed plain char vs. numeric unsafe mixing.
Detected by ECLAIR service utypflag.

---

 src/Interval.templates.hh |   61 +++++-----
 src/c_streambuf.cc        |    4 +-
 src/checked.cc            |  276 ++++++++++++++++++++++++++------------------
 3 files changed, 195 insertions(+), 146 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=20692dc4750f2990bb5d83b0fa943c4c046f99f5