Issue 22 in ocaml-extlib: Add IO.output_strings

2 views
Skip to first unread message

codesite...@google.com

unread,
Jan 5, 2012, 6:52:19 AM1/5/12
to ocaml-extlib-...@googlegroups.com
Status: New
Owner: ----

New issue 22 by meh...@gmail.com: Add IO.output_strings
http://code.google.com/p/ocaml-extlib/issues/detail?id=22

It seems that some development of extlib took place elsewhere. More
precisely, there is another extlib
in "cvs :pserver:anon...@cvs.motion-twin.com:/cvsroot/ ocaml/extlib-dev".
The only significant difference between yours and theirs is the addition of
IO.output_strings (see patch attached) which is (afaik) needed for haxe
(http://haxe.org).

We have been informed about that "other repository" in a Debian bugreport
(See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=596622). It would be
nice to integrate this feature.

Kind Regards,

--
Mehdi


Attachments:
0001-added-output_strings.patch 1.8 KB

codesite...@google.com

unread,
Jan 7, 2012, 3:45:06 PM1/7/12
to ocaml-extlib-...@googlegroups.com
Updates:
Status: Accepted
Labels: Milestone-Release1.6

Comment #1 on issue 22 by ygrekheretix: Add IO.output_strings
http://code.google.com/p/ocaml-extlib/issues/detail?id=22

I've tried to contact ncannasse, but got no reply. This situation is quite
awkward, as he is an author of the major part of extlib I believe.

codesite...@google.com

unread,
Feb 6, 2012, 4:50:38 PM2/6/12
to ocaml-extlib-...@googlegroups.com

Comment #2 on issue 22 by meh...@gmail.com: Add IO.output_strings
http://code.google.com/p/ocaml-extlib/issues/detail?id=22

FWIW, I've checked that there were no other commits in his repository that
are not present in yours. Haxe should be told to use your version as
ncannasse is not replying nor developing extlib anymore (imho).

Thanks for your work on this!

codesite...@google.com

unread,
Jul 7, 2013, 3:04:16 AM7/7/13
to ocaml-extlib-...@googlegroups.com
Updates:
Status: Fixed

Comment #3 on issue 22 by ygrekheretix: Add IO.output_strings
http://code.google.com/p/ocaml-extlib/issues/detail?id=22

This issue was closed by revision r415.

--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
Reply all
Reply to author
Forward
0 new messages