Mercury Bugs - mercury
View Issue Details
0000353mercuryBugpublic2014-08-19 11:112014-08-19 11:11
Assigned Towangp 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000353: misuse of tabled_for_io in the standard library
Descriptiondir.open_2 is tabled_for_io but is a non-primitive I/O operation as it directly calls dir.read_first_entry. It should leave that to the Mercury code in to do.

Foreign procs marked tabled_for_io should not throw exceptions. The throws should be deferred until back in Mercury code.
TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2014-08-19 11:11wangpNew Issue
2014-08-19 11:11wangpStatusnew => assigned
2014-08-19 11:11wangpAssigned To => wangp