What    |Removed                     |Added
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #3 from 2012-05-22 15:16:31 PDT ---
The second problem is now fixed.
Regarding the first problem, I don't like a lot the fact that readf doesn't
throw an exception. But something like this seems to fix my problem, so I close
this bug report:

enforce(readf("%d\n", &x));

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to