IO.ioeGetErrorString

[Sigbjorn Finne]

With Hugs (June 98), the following expression

  ioeGetErrorString (userError "foo")

evaluates to

  "User error: foo"

My reading of the library report (Section 11.1) is that the
"User error: " prefix should not be included here. 

(The report text does appear a bit dated here though, since it makes
reference to the older "fail" as the mechanism by which
programmer-defined IO exceptions are constructed&raised.)

--Sigbjorn