On 21/12/2014 00:01, Peter Gammie wrote:
I apologise if “bug” is not proper nomenclature in this forum.
$ poly --use binio.sml Poly/ML 5.5.2 Release structure FS : POSIX_FILE_SYS structure IO : POSIX_IO val main = fn: unit -> unit Assertion failed: (save_vec_addr < save_vec+1000), function push, file save_vec.cpp, line 70. Abort trap: 6
I think that fully qualifies as a bug. Thanks for reporting it. It was a trivial error and I fixed it in SVN head. It probably deserves to be ported to the fixes branch.
BTW is there a simpler/more canonical way to take a Posix.FileSys.file_desc into a BinIO.instream? I copied the above pretty much verbatim from the Poly/ML sources.
I think this is the only way to do this. David _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
