12 Jun
2003
12 Jun
'03
4:11 a.m.
John Hughes <rjmh@cs.chalmers.se> wrote,
"should always have" is unfortunately ambiguous: does it mean "you should ensure that...", or "we believe that..., but we're not completely sure". I suggest changing the last phrase to
...; to avoid this, the programmer should ensure that the result of unsafePerformIO has a monomorphic type.
Done. Thanks, Manuel