2023-12-03 15:58 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000353mercuryBugpublic2014-08-19 11:11
Assigned Towangp 
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 dir.open 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
Date Modified Username Field Change
2014-08-19 11:11 wangp New Issue
2014-08-19 11:11 wangp Status new => assigned
2014-08-19 11:11 wangp Assigned To => wangp
+Issue History