Re: [Caml-list] Native toplevel? (was: OCamlJit 2.0)
Hello, 2010/11/18 Ashish Agarwal agarwal1...@gmail.com: Rapid prototyping for me often involves a couple of lines of code that read in a very large file and do something with it. I have to keep compiling these small programs to native code because the performance of the toplevel is too slow. Then, I have to recompile and re-read the whole file for every little additional thing I want to compute. A high-performance toplevel would help in this kind of work. Or use ocamlscript: http://martin.jambon.free.fr/ocamlscript.html Sincerely yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Causes for segfaults
Hello, 2010/11/4 Jamie Brandon ja...@scattered-thoughts.net: The unmarshalling itself finishes ok but I guess the segfault could be caused when accessing the resulting data structure? You could frequently call major collection in the GC, in order to be as close as possible to the source of the segfault (e.g. after your unmarshalling). Sincerely yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] [ANN] ocaml-expect v0.0.2: Expect-like framework
Hello Sylvain, 2010/10/1 Sylvain Le Gall sylv...@le-gall.net: [Generated by 'OASIS announce'] Very good! Except the license, all the information I want from an announcement in a short format. Sincerely yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] what do I need to know to understand camlp4
Hello, 2010/9/23 ben kuin benk...@gmail.com: I'm a Ocaml n00b (without any degree). Therefore I have a faible for everything that makes Ocamls syntax more algol/imperative like [1]. If you are new to OCaml, I strongly advise you to learn it the way it is, with its syntax (somewhat quirky[1], I admit). You are going to learn a *lot* more than trying to fit it in your current imperative knowledge. Sincerely yours, david [1] Compared to other programming languages. I know the syntax is the way it is for precise reasons (currying, closer to mathematical notation, ...). ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Compiling Ocaml sources to c sources
Hello, 2010/9/14 Vincent Gripon vincent.gri...@telecom-bretagne.eu: Is there any platform independent way to compile OCaml sources to C sources? Probably stupid answer: compile to byte code and provide the source code of the C OCaml byte code interpreter with the program embedded as C structure? Sincerely yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Please provide at least one page for your ocaml projects
Hello, 2010/8/25 Maxence Guesdon maxence.gues...@inria.fr: I think these projects would take advantage of having at least one web page giving all basic information: description, status, license, author(d), download links. As a simple OCaml user, I agree with Maxence. If an announcement is not provided without those minimal information, I skip it. Available time is so constrained. Sylvain, your OASIS project and the generated web page is very interesting in that regard. Regards, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] [ANNOUNCE] llpp v3
Hello, 2010/8/25 malc av1...@comtv.ru: New version of llpp is available at [1] new features include: What is llpp? Yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] ocaml for embedding
Hello, 2010/7/9 Gaspard Bucher gasp...@teti.ch: From my understanding of the use of caml_startup (or caml_main), this means that the caml runtime is global. Yes. Is there a way to avoid: 1. global locking (or locking only during script recompilation) I don't think so. 2. script level encapsulation I don't know. You might play with the C symbols and a bit a C pre-processing to generate several different OCaml runtimes that would be linked with you application. But, as far as I know, the OCaml runtime has not be designed to be included several times within the same application. Sincerely yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Ocamldoc and Unicode characters
Hello, 2010/6/3 Maxence Guesdon maxence.gues...@inria.fr: Daniel Bünzli daniel.buen...@erratique.ch a écrit : A command line switch for this in ocamldoc would be nice and forward looking (since the rest of the tool suite is perfectly able to deal directly with UTF-8 encoded sources). Agreed, but 3.12.0 is already in feature freeze. Will be for 3.12.1. BTW, maybe switching to UTF-8 by default wouldn't be that bad. Best regards, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: About Cryptokit (was: Re: [Caml-list] Re: SHA1 = stdlib ?!)
Hello Séphane, 2010/4/30 David MENTRE dmen...@linux-france.org: 2010/4/30 Stéphane Glondu st...@glondu.net: David MENTRE a écrit : I also used Cryptokit once. It was pretty useful and easy to use. However I had to modify a few lines in it in order to allow me to do some compositions with Cryptokit building blocks. Could you be more specific? Right now no, sorry. I'll try to dig up the patch I needed at that time. I think this is the patch I used: http://svn.gna.org/viewcvs/diseba/trunk/cryptokit-1.3-hmac256.patch?rev=13view=auto Here is some code that used the added functionalities: http://svn.gna.org/viewcvs/diseba/trunk/disk.ml?rev=18r1=17r2=18 All of this is quite old and might be no longer needed with more recent CryptoKit. More generally, this never-finished OCaml project was based on CryptoKit: http://svn.gna.org/viewcvs/diseba/trunk/#dirlist https://gna.org/projects/diseba/ Best regards, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
About Cryptokit (was: Re: [Caml-list] Re: SHA1 = stdlib ?!)
Hello, 2010/4/25 Eray Ozkural examach...@gmail.com: Well, crypotkit is pretty useful and you can easily add your own implementations to it. Nice framework. I had implemented a zero-knowledge protocol with it. I also used Cryptokit once. It was pretty useful and easy to use. However I had to modify a few lines in it in order to allow me to do some compositions with Cryptokit building blocks. Sincerely yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: About Cryptokit (was: Re: [Caml-list] Re: SHA1 = stdlib ?!)
Hello Stéphane, 2010/4/30 Stéphane Glondu st...@glondu.net: David MENTRE a écrit : I also used Cryptokit once. It was pretty useful and easy to use. However I had to modify a few lines in it in order to allow me to do some compositions with Cryptokit building blocks. Could you be more specific? Right now no, sorry. I'll try to dig up the patch I needed at that time. Best regards, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] gc overhead
Hello Warren, 2010/3/3 Warren Harris warrensomeb...@gmail.com: Thanks, this is excellent info. I've been using both gprof and shark and understand the tradeoffs. I really was looking for a way to just provide a simple live gc overhead number that we could graph along with a bunch of other server health stats for our zenoss monitors. So simply enable gprof on OCaml binaries and look at the total fraction of time spent in OCaml GC functions! http://caml.inria.fr/pub/ml-archives/caml-list/2003/01/e8ee9d44073ff9cb7d257fef86bc8f53.en.html Best regards, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Re: Looking for information regarding use of OCaml in scientific computing and simulation
Hello, 2009/11/25 David MENTRE dmen...@linux-france.org: I'm considering doing a short presentation of OCaml to my colleagues in my research lab. [...] Therefore, I'm looking for reusable material for a presentation: Many thanks to all who replied. As usual, some answers were not in what I expected but they gave me new ideas. I'm going to post the slides when done but don't hold your breath (probably at the beginning of 2010). ;-) Regards, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Looking for information regarding use of OCaml in scientific computing and simulation
Hello, I'm considering doing a short presentation of OCaml to my colleagues in my research lab. They are working in the telecommunication and power electronic sectors, mainly doing signal processing and simulations. I know OCaml[1] but not specifically those domains. Therefore, I'm looking for reusable material for a presentation: - Slides on the use of OCaml in the signal processing and simulation domains; - Code snippets of OCaml used in scientific computing or simulation, typically for advocacy like it takes 10 lines in OCaml to do this, you would use 50 lines in C++ to do the same thing; - Evidence of *actual use* of OCaml for scientific computing or simulation, especially regarding usable libraries, bindings, etc. - Evidence of people having switched from C/C++ simulators to OCaml ones : good and bad points, issues, things to look at, etc. - My colleagues are working a lot with Mathlab, is there any synergy there (bindings, ways to integrate Mathlab within OCaml code or vice versa, ...)? You can reply to me on this list or off list. In case of personal reply, let me know if I can reuse your name and affiliation. If this presentation is done, I'll make the slides available under a free license. Many thanks in advance for any pointer, Best regards, david [1] For both OCaml's strong (typing, GC, efficiency, ...) and bad (strange syntax, ...) points. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Why don't you use batteries?
Hello Erik, 2009/9/4 Erik de Castro Lopo mle+oc...@mega-nerd.com: If batteries is available for 9.10 Batteries is available for 9.10: http://packages.ubuntu.com/search?keywords=batteries and I like it enough I will probably grab the 9.10 source package and backport it to 6.06 and 8.04 and then push it into our personalised Ubuntu package repository. Here is the official Debian package used in Ubuntu: http://packages.qa.debian.org/o/ocaml-batteries.html Yours, d. PS: List of OCaml packages in Debian and Ubuntu: http://bentobako.org/ubuntu-ocaml-status/raw/compare-unstable-karmic.html ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Documentation to start
Hello, 2009/9/3 vernade vern...@free.fr: I just downloaded ocaml (and caml-light) . I am looking for documentation on pdf or any format that I can easily download , read and print. I need basic information. As you probably speak French, take a look at Le Langage Caml book: http://caml.inria.fr/pub/distrib/books/llc.pdf It is dedicated to Caml Light but code examples can be adapted fairly easily to OCaml. It is a very good book! Yours, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Transition to OCaml 3.11.1 in Ubuntu Karmic Koala completed!
Hello, I am very pleased to announce that transition to OCaml 3.11.1 in Ubuntu Karmic is now completed! http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html Many thanks to (in order of appearance): * Ubuntu side: James Wetsby Andrea Gasparini Michael Bienia Steve Kowalik Jonathan Riddell Stefan Lesicnik * Debian side: Stefano Zacchiroli Stéphane Glondu Mehdi Dogguy Sylvain Le Gall And of course all the Debian and Ubuntu developers that work so hard on OCaml support and have helped me doing this transition! Currently, most of OCaml packages is Debian unstable are available in Karmic: http://bentobako.org/ubuntu-ocaml-status/raw/compare-unstable-karmic.html [ I have requested a synchronization for react and pgocaml. ] Sincerely yours, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Native compilation for today's MIPS
Hello, 2009/8/11 ri...@happyleptic.org: 1004b6cc: 68b8 ldl t8,0(a1) ; Mips strange but clever way to load a possibly unaligned doubleword into t8. 1004b6d0: 6cb80007 ldr t8,7(a1) Too clever for me apparently. Of course on a little endian CPU that must be : ldl t8,7(a1) ldr t8,0(a1) This problem is gone. Now camlp4 is compiled, and unison seams to work. Is this a problem you fixed in the compiler? Yours, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] OCaml developers at RMLL in Nantes?
Hello, Are any OCaml developers going to the RMLL at Nantes next week? Yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] [ANN] All OCaml packages synchronised for OCaml 3.11.0 in Ubuntu Karmic
Hello, I'm pleased to announce that all OCaml packages made by Debian developers are now synchronized to OCaml 3.11.0 in Ubuntu Karmic: http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html Moreover, all packages[1] have the same version number in Debian Unstable and Ubuntu Karmic: http://bentobako.org/ubuntu-ocaml-status/raw/compare-unstable-karmic.html So Ubuntu Karmic, aka 9.10, to be released in October will ship with a full fledge OCaml 3.11.0! Many thanks to all Debian and Ubuntu developers involved. Regarding recently released OCaml 3.11.1, I'm not sure it will be ready for Karmic but it will be available in Karmic+1 and probably in a backport or through PPA. Sincerely yours, david [1] Except unison package, but the changes made in 2.27.57-2 revision should not impact users. http://packages.debian.org/changelogs/pool/main/u/unison/current/changelog#versionversion2.27.57-2 ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] project management tool
Hello Vincent, On Fri, Jun 12, 2009 at 18:17, Vincent Balatvincent.ba...@pps.jussieu.fr wrote: We have a project to build a forge with such features (based on the Ocsigen framework). (The project will be hosted by ocamlcore.org: http://forge.ocamlcore.org/projects/ocsforge/) I discovered this project through the OCaml Planet. What is the rationale behind this project? What specific functionalities do you want to provide, compared to current forges? Sincerely yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Garbage collection and profiling
Hello, On Thu, Jun 4, 2009 at 19:03, Jean Krivine jean.kriv...@gmail.com wrote: Does anyone knows a simple way to evaluate the time spent by an ocaml program in GCing? Activate profiling in native code version and sum the time spent in the GC entry points in gprof call graph output? Sincerely yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Ocamlopt x86-32 and SSE2
Hello, Xavier Leroy xavier.le...@inria.fr writes: 1- Have an additional ia32sse2 port of ocamlopt in parallel with the current i386 port. 2- Declare pre-SSE2 processors obsolete and convert the current i386 port to always use SSE2 float arithmetic. 3- Support both x87 and SSE2 float arithmetic within the same i386 port, with a command-line option to activate SSE2, like gcc does. Regarding option 2, I assume that byte-code would still work on i386 pre-SSE2 machines? So OCaml programs would still work on those machines. As far as I know, one is using ocamlopt to improve performance. I can't think of any case where one would need native code running on pre-SS2 machines which are so outdated performance-wise. So I would vote for option 2: always use SSE2 float arithmetic. Sincerely yours, david -- GPG/PGP key: A3AD7A2A David MENTRE dmen...@linux-france.org 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Parallelized parsing
Hello Jon, On Mon, Apr 20, 2009 at 23:15, Jon Harrop j...@ffconsultancy.com wrote: For example, Mathematica syntax for nested lists of integers looks like: {{{1, 2}}, {{3, 4}, {4, 5}}, ..} and there are obvious divide-and-conquer approaches to lexing and parsing that grammar. You can recursively subdivide the string (e.g. memory mapped from a file) to build a tree of where the tokens { , and } appear by index and then recursively convert the tree into an AST. What other grammars can be lexed and/or parsed efficiently in parallel? Is it of any use? The overhead of parsing a single file in parallel is so high that you won't have any speedup, especially compared to the much simpler approach of parsing *several* files in parallel. It reminds me of parallel approaches used for 3D movies: a lot of research has been done to parallelize the rendering of a single picture[1] while companies like Pixar are using a much simpler approach in real life: render a whole picture per computer or core. And don't forget the Amdahl's law : http://en.wikipedia.org/wiki/Amdahl%27s_law Where is your real bottleneck? Yours, david [1] Hopefully, some of those algorithms have brought speedup in serialized setting, i.e. on a single core or computer, for example by optimizing cache use. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] [ANN]Amthing - a multi-threaded GUI library
Hello, On Tue, Apr 14, 2009 at 07:11, Satoshi Ogasawara ogasaw...@itpl.co.jp wrote: - Multi-threaded design using Concurrent ML style message passing. - Time-line animation and functional reactive sprite system. - X11 Binding. - 2D vector rendering by cairo. 1. Are there any screenshots? 2. Is there a widget system like in GTK/Qt? 3. What is the domain space covered by this library? Was it made for a specific purpose? IT Planning, Inc. is apparently a Japanese company using OCaml but the main software is using Java Swing GUI. Sincerely yours, david ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Subtyping
Hello, On Tue, Apr 7, 2009 at 07:48, Goswin von Brederlow goswin-...@web.de wrote: In the last 2 weeks I've been playing around with lots of different ways to do the same thing to get a feel for what style suites me best. If you have improvements or alternative ways of doing the two things below let me know. Well, if you are learning OCaml, I would advise you to read regular OCaml code, e.g. the standard library. You'll learn The Right OCaml Style(tm). Lets look another thing going in a similar direction. I want to have a structure where I can store key value pairs. But just for fun lets say I want to store values of different types and the key knows the type of value. In short a heterogeneous associative container: Well, why don't you just do: # type k = Int_k of int | Float_k of int;; type k = Int_k of int | Float_k of int # type v = Int_v of int | Float_v of float;; type v = Int_v of int | Float_v of float # let h = Hashtbl.create 3;; val h : ('_a, '_b) Hashtbl.t = abstr # Hashtbl.add h (Int_k 3) (Int_v 4);; - : unit = () # Hashtbl.add h (Float_k 5) (Float_v 0.6);; - : unit = () Yours, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] questions
Hello, On Tue, Mar 31, 2009 at 16:44, Martin Jambon martin.jam...@ens-lyon.org wrote: There is however one book that covers the essentials, Le Langage Caml by Weis and Leroy, which despite using the Caml Light dialect is the most enlightening programming book I've ever got to read. I heartily agree. It's ability to show you how to make a grep or a simple compiler in a few pages of OCaml and explanations is really an enlightenment. Probably one of the best computer book I ever read. Unfortunately, this book is out of print and hard to find. Yours, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] First release of focalize, a development environment for high integrity programs.
Hello, On Wed, Mar 25, 2009 at 10:02, Damien Doligez damien.doli...@inria.fr wrote: For example, I don't understand why you would need a detailed review of the code in order to notice that the licence (which you quoted) is an exact copy of the new BSD licence (straight from www.opensource.org, IIRC). I already acknowledged that I should have noticed that the license is an exact copy of the new BSD license. However, from past experience, it happens that such software coming from a national or european project with multiple contributors might mix multiple (and even incompatible) licenses for the different part of the code. Thus my question regarding code review. (I'm *not* saying this is the case for Focalize) Whether you (or the Debian developers, Microsoft management, or whoever else) choose to call it Free is a matter of political opinion and debate on this topic is usually a waste of time. I entirely agree (for caml-list@). I'll should have avoided this part of the question. formal tools rant for 2009 Formal verification tools have such a high cost to learn and use them that I personally won't *consider* them if they not Free Software (according to FSF or Debian). It is hard enough to convince colleagues and management of the usefulness of such tools without being annoyed by restriction of use. /rant Yours, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] BDD reloaded
Hello Mr. Abate, Sorry for the late reply[1]. Pietro Abate [EMAIL PROTECTED] writes: In this thread http://caml.inria.fr/pub/ml-archives/caml-list/2001/04/8bbf7629ef3ef299c16f78bd2b986e36.en.html David Mentre announces a preliminary work on binding for the cudd library, but the link is broken... this link currently is broken: http://www-rocq.inria.fr/~mentre/software/ocaml-bdd/ and there is a mention to a caml-light implementation of a robdd library that I was also not able to retrieve. The code was a binding for CMU bdd library (http://www.cs.cmu.edu/~modelcheck/bdd.html). It was working great at that time (OCaml 3.00) and is rather simple. I have no idea if it would still work with recent OCaml (let me know). I put the archive on the web. Code is under a BSD license. http://www.linux-france.org/~dmentre/code/OcamlBdd.tar.gz Code provided as is. I mean... really. ;-) Yours, d. Footnotes: [1] And many thanks to Alan for his CWN that keeps us informed! -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] OCaml support on Ubuntu
Hello Richard, Context: I'm a long time Debian user, still using Debian on my servers. But I switched my desktop machine under Ubuntu a few years ago, seduced by the good polish and freshness of Ubuntu desktop applications. Richard Jones [EMAIL PROTECTED] writes: Ubuntu's OCaml support is very flaky. They don't have developers committed to it and take a random snapshot of what's in Debian. This has in the past led to serious brokenness where they've taken a snaphot in the middle of a rebuild-the-world compiler upgrade. I'm sorry to agree that Richard is right. For example, I discovered at a time that *all* bytecodes shipped in Ubuntu Gutsy could not be executed. This was fixed once spotted: https://bugs.launchpad.net/ubuntu/+source/ocamlnet/+bug/180364 Another example: current Hardy release (which has Long Term Support status) is shipped which OCaml 3.10.0 which is broken regarding Camlp4. To fix this situation, one only needs people on the Ubuntu side to synchronize packets from Debian at the right time. As I have an direct interest in this story and while I have no knowledge at all regarding Ubuntu workflow, I'll try to see what can be done. Sincerely yours, david -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Issue to compile a program with camlp4 in OCaml 3.10.0
Hello Сергей, On Tue, Sep 23, 2008 at 10:08, Сергей Плаксин [EMAIL PROTECTED] wrote: Here is the beginning of the relevant file: (** Common utility functions. *) (* space *) let heap_size () : float = float_of_int (Gc.stat ()).Gc.heap_words *. float_of_int (Sys.word_size / 8) (* in bytes *) This code successfuly compiled on my ocaml 3.10.2 without any pa_op.cmo, Could you compile it with 'ocamlopt -pp camlp4o pa_op.cmo', just to check that the error is fixed using ocaml 3.10.2? what is pa_op.cmo? I don't know. Yours, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Issue to compile a program with camlp4 in OCaml 3.10.0
Hello Richard, On Tue, Sep 23, 2008 at 12:18, Richard Jones [EMAIL PROTECTED] wrote: Best to upgrade if you can. That's the answer I feared. ;-) As next Ubuntu should be released in a few weeks and has OCaml 3.10.2, I'll give it a try. Yours, d. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Issue to compile a program with camlp4 in OCaml 3.10.0
Hello, I'm trying to compile an OCaml program I haven't written. I'm compiling it on an Ubuntu 8.04, OCaml 3.10.0. The compilation fails with following error: ocamlopt -pp camlp4o pa_op.cmo -I src -c src/common.ml File src/common.ml, line 5, characters 101-102: Parse error: in expected after [binding] (in [expr]) Preprocessor error Here is the beginning of the relevant file: (** Common utility functions. *) (* space *) let heap_size () : float = float_of_int (Gc.stat ()).Gc.heap_words *. float_of_int (Sys.word_size / 8) (* in bytes *) This expression seems correct to me. Is this issue related to one of the fixes on camlp4 that where made in 3.10.1? Any idea how to work around this issue (without recompiling latest ocaml and all the needed libraries)? Sincerly yours, david -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Hashtbl.remove legal within Hashtbl.iter for the same hash table?
Hello Till, Till Varoquaux [EMAIL PROTECTED] writes: Indeed. The answer you got was, however, based on the actual implementation not on the documentation. This means that, at some point, this might evolve and not be valid anymore. If you want to be on the safe side you should do a fold instead of an iter and collect all of the items to remove and then remove them in a second pass. I'll do that. Thanks, d. -- GPG/PGP key: A3AD7A2A David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs