http://tech.groups.yahoo.com/group/ocaml_beginners/ Ocaml Beginners Sat, 04 Jul 2009 02:03:37 GMT Ashish Agarwal http://tech.groups.yahoo.com/group/ocaml_beginners/message/11175 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11175 ... tediousness. Do you mean there is some general tool? Can you refer us to any examples? ... [Non-text portions of this message have been removed] Fri, 03 Jul 2009 20:27:28 GMT Jon Harrop http://tech.groups.yahoo.com/group/ocaml_beginners/message/11174 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11174 Sorry for the slow response, Vincent. I have been on holiday... ... Yes. That solutions works well when it is suitable. Specifically, when the arguments of the Fri, 03 Jul 2009 14:46:31 GMT Hugo Ferreira http://tech.groups.yahoo.com/group/ocaml_beginners/message/11173 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11173 ... Nice! Thanks Regards, Hugo F. Fri, 03 Jul 2009 14:20:54 GMT Peng Zang http://tech.groups.yahoo.com/group/ocaml_beginners/message/11172 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11172 ... Hash: SHA1 ... For testing and debugging purposes I find it convenient to have some access to raw (unabstracted) types. My solution is for every module to Fri, 03 Jul 2009 14:04:03 GMT Hugo Ferreira http://tech.groups.yahoo.com/group/ocaml_beginners/message/11171 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11171 ... Since I keep my tests in separate files from the module source this might not be the way to go for me. H.F. Fri, 03 Jul 2009 12:22:13 GMT Vincent Aravantinos http://tech.groups.yahoo.com/group/ocaml_beginners/message/11170 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11170 ... I think he is talking about doing both at a time. Which is indeed nonsense. ... I am having the same problem and am thinking of just keeping the black box Fri, 03 Jul 2009 12:13:23 GMT Vincent Aravantinos http://tech.groups.yahoo.com/group/ocaml_beginners/message/11169 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11169 ... I was not clear, settled this way this is indeed non-sense. But what I meant by "structure" in the quotation was not the "implementation structure". I mean Fri, 03 Jul 2009 10:30:45 GMT Hugo Ferreira http://tech.groups.yahoo.com/group/ocaml_beginners/message/11168 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11168 ... What is a nonsense? The use of abstract types or the opening up of the type and implementation details to external users? On a similar note: I too am Fri, 03 Jul 2009 10:16:20 GMT citromatik http://tech.groups.yahoo.com/group/ocaml_beginners/message/11167 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11167 ... The purpose of an abstract type is to hide how it is implemented. You may want to provide an interface to your type, and the end-users will be tied to it. Fri, 03 Jul 2009 09:58:22 GMT Vincent Aravantinos http://tech.groups.yahoo.com/group/ocaml_beginners/message/11166 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11166 ... I would still like to access the structure in some way. But this way should not reveal the data structure. Notice my question is highly informal and I Fri, 03 Jul 2009 09:11:54 GMT JM Nunes http://tech.groups.yahoo.com/group/ocaml_beginners/message/11165 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11165 Vincent Aravantinos wrote: ... without really looking into your mail, why not something allong: module M: sig type t end = struct type t = A of int | B of Fri, 03 Jul 2009 07:43:20 GMT Vincent Aravantinos http://tech.groups.yahoo.com/group/ocaml_beginners/message/11164 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11164 No one ? It seems to be a rather frequent situation, isn't it ? Maybe my question is not clear enough ? Thu, 02 Jul 2009 05:45:59 GMT Phil Tomson http://tech.groups.yahoo.com/group/ocaml_beginners/message/11163 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11163 ... Thanks, that should do what I need. Phil Wed, 01 Jul 2009 20:56:08 GMT Jim Grundy http://tech.groups.yahoo.com/group/ocaml_beginners/message/11162 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11162 Commercial Users of Functional Programming Workshop (CUFP) 2009 Functional Programming As a Means, Not an End Call for Participation Sponsored by SIGPLAN Wed, 01 Jul 2009 13:42:05 GMT Vincent Aravantinos http://tech.groups.yahoo.com/group/ocaml_beginners/message/11161 http://tech.groups.yahoo.com/group/ocaml_beginners/message/11161 ... Well he can stil functorize it if he wants. The advantage being to bound all possibly created squeues to have the wanted size thus avoiding potential