toInt

[Rolf-Thomas Happe]

The current implementation (*) of toInt doesn't interpret its input
string in the way Clean treats integer literals in the program text
(and it returns 0 on failure).  E.g.

   ("+12", +12, toInt "+12",
    "012", 012, toInt "012",
    "0x12", 0x12, toInt "0x12", 
    "knorpel", toInt "knorpel")

evaluates to

   ("+12",12,12,
    "012",10,12,
    "0x12",18,0,
    "knorpel",0).

Since the name 'toInt` doesn't tell me that, a few words of spec (in
StdString.dcl or elsewhere) would be nice.

(*) Clean 1.3 / SunOS 5.5

rthappe