[Oz] Convert String to Int

[francois at info.unicaen.fr]

Dear Oz users,

I'm using Mozart 1.0.0 of Dec 10 1998  and I have a little problem to convert 
string to int. When I use {String.toint "80"}, the result is 80
but when I try {String.toInt "080"}, then result is :

%******************* Error: representation fault ****************
%**
%** Conversion to integer failed
%**
%** String: "080"
%** In statement: {<P/2 String.toInt> [48 56 48] _}
%**
%** Call Stack:
%** toplevel abstraction in line 1, column 0, PC = 138869340
%**--------------------------------------------------------------

Can anyone help me. Is it a bug ? Is this bug cerrect in the new version ?

Best regards,

Francois Girault

-
Please send submissions to oz-users at dfki.de,
administriva mail to oz-users-request at dfki.de.
The Oz web site is at http://www.ps.uni-sb.de/oz/.