Here is the latest Caml Weekly News, for the week of March 06 to 13, 2007.
Archive: http://groups.google.com/group/fa.caml/browse_frm/thread/86a59b0e45370c9c/6f6c560f24133c65#6f6c560f24133c65Xavier Leroy announced:
The long-awaited release 3.10 of Objective Caml is making good progress and is now ready for beta-testing. A source-only beta distribution can be downloaded from http://caml.inria.fr/pub/distrib/ocaml-3.10/ocaml-3.10.0+beta.tar.gz We would be grateful if some of you could compile it, give it a good workout on your favorite Caml programs, and report any problems you might encounter via the Caml bug tracker. The main novelties in 3.10 are: - A new tool: ocamlbuild, a compilation manager for OCaml projects. - Much work on Camlp4, including a new API. - A long-awaited feature: stack backtraces on uncaught exceptions that work for native-code as well as for bytecode. - Two new 64-bit ports: to Windows 64/AMD64 and MacOS X/PowerPC 64. Other changes are listed below. The documentation is not up to date yet, but some preliminary documentation on ocamlbuild and the new Camlp4 can be found on Nicolas Pouillard's Web page, http://gallium.inria.fr/~pouillar/ Enjoy, - Xavier Leroy, for the Caml development team ---------------------------------------------------------------------- Objective Caml 3.10.0: ---------------------- (Changes that can break existing programs are marked with a "*" ) Language features: - Added virtual instance variables in classes "val virtual v : t" * Changed the behaviour of instance variable overriding; the new definition replaces the old one, rather than creating a new variable. New tools: - ocamlbuild: compilation manager for OCaml applications and libraries. See draft documentation at http://gallium.inria.fr/~pouillar/ * Camlp4: heavily revised implementation, new API. New ports: - MacOS X PowerPC 64 bits. - MS Windows 64 bits (x64) using the Microsoft PSDK toolchain. - MS Windows 32 bits using the Visual Studio 2005 toolchain. Compilers: - Faster type-checking of functor applications. - Referencing an interface compiled with -rectypes from a module not compiled with -rectypes is now an error. - Revised the "fragile matching" warning. Native-code compiler: - Print a stack backtrace on an uncaught exception. (Compile and link with ocamlopt -g; execute with OCAMLRUNPARAM=b.) Supported on Intel/AMD in 32 and 64 bits, PPC in 32 and 64 bits. - Stack overflow detection on MS Windows 32 bits (courtesy O. Andrieu). - Stack overflow detection on MacOS X PPC and Intel. - Intel/AMD 64 bits: generate position-independent code by default. - Fixed bug involving -for-pack and missing .cmx files (PR#4124). - Fixed bug causing duplication of literals (PR#4152). Run-time system: - C/Caml interface functions take "char const *" arguments instead of "char *" when appropriate. - Faster string comparisons (fast case if strings are ==). Standard library: - Refined typing of format strings (type format6). - Printf, Format: new function ifprintf that consumes its arguments and prints nothing (useful to print conditionally). - Scanf: new function format_from_string to convert a string to a format string; new %r conversion to accomodate user defined scanners. - Filename: improved Win32 implementation of Filename.quote. - List: List.nth now tail-recursive. - Sys: added Sys.is_directory. Some functions (e.g. Sys.command) that could incorrectly raise Sys_io_blocked now raise Sys_error as intended. Other libraries: - Bigarray: mmap_file takes an optional argument specifying the start position of the data in the mapped file. - Dynlink: now defines only two modules, Dynlink and Dynlinkaux (internal), reducing risks of name conflicts with user modules. - Labltk under Win32: now uses Tcl/Tk 8.4 instead of 8.3 by default. - VM threads: improved performance of I/O operations (less polling). - Unix: new function Unix.isatty. - Unix emulation under Win32: fixed incorrect error reporting in several functions (PR#4097); better handling of channels opened on sockets (PR#4098); fixed GC bug in Unix.system (PR#4112). Documentation generator (OCamldoc): - correctly handle '?' in value names (PR#4215) - new option -hide-warnings not to print ocamldoc warnings Lexer generator (ocamllex): improved error reporting. License: fixed a typo in the "special exception" to the LGPL.
Archive: http://groups.google.com/group/fa.caml/browse_frm/thread/8c3f2c6af44105fe/056596e9b83309b8#056596e9b83309b8Joel Reymont announced:
I asked around before settling on a build system since I'm new to OCaml. I looked at OMake, OCamlMakefile and found them complex and confusing. Then William Neuman pointed me to ocamlbuild and Nicolas Pouillard helped me hook it up to external libraries via a plugin. Deep into my first project I confirm that ocamlbuild is VERY nifty. I can automatically rebuild when any parts of my project change and then run my unit tests. All I need to do is: ocamlbuild test.byte -- *** my project *** 189 easy.mli 282 easy_lexer.mll 420 easy_parser.mly 17 myocamlbuild.ml 14 parser_util.ml 30 symtab.ml 8 test.ml 284 parser_test.ml 1355 total *** test.ml *** open OUnit let suite = "Morpher" >::: [Parser_test.suite] let _ = run_test_tt_main suite *** myocamlbuild.ml *** open Ocamlbuild_plugin;; open Command;; let packages = "ounit" (* "pkg1,pkg2,..." *);; let ocamlfind cmd = S[A"ocamlfind"; A cmd; A"-package"; A packages];; flag ["ocaml"; "link"] (A"-linkpkg");; dispatch begin function | After_options -> Options.ocamlc := ocamlfind "ocamlc"; Options.ocamlopt := ocamlfind "ocamlopt"; | _ -> () end
Archive: http://groups.google.com/group/fa.caml/browse_frm/thread/01ce80c8d2043ac0/2f0bec4aa4cbea8b#2f0bec4aa4cbea8bShivkumar Chandrasekaran asked and William D. Neumann answered:
> Is there any (easy) way to use ocamlbuild to handle the automatic > (re)-compilation of the C stub files to external libraries? Thanks, Well, I don't know if it's the best way (I wait for Nicolas to chime in), but while playing around with it I tried to get cryptokit to build with ocamlbuild. What I ended up with that worked was a myocamlbuild.ml that looks like: open Ocamlbuild_plugin open Command open Arch let static = false let zlib = "-DHAVE_ZLIB" let zlib_lib="-lz" let zlib_libdir="/usr/lib" (* let zlib_libdir=/usr/lib64 (* for x86-64 Linux *) *) let zlib_include="/usr/include" let libname = "cryptokit" let cc_map lst = List.fold_right (fun v b -> A"-ccopt"::(A v)::b) lst  let l_ x = "-L"^x let _a = "%.a" let c_files = [ "rijndael-alg-fst"; "stubs-aes" ; "d3des"; "stubs-des" ; "arcfour"; "stubs-arcfour" ; "sha1"; "stubs-sha1" ; "sha2"; "stubs-sha2" ; "sha256"; "stubs-sha256" ; "ripemd160"; "stubs-ripemd160" ; "pool"; "stubs-pool" ; "stubs-md5" ; "stubs-zlib"; "stubs-misc"; "stubs-rng" ] let c_objs = List.map (fun f -> f-.-"o") c_files let _ = dispatch begin function | Before_rules -> rule "create C library rule" ~prod:_a ~deps:c_objs begin fun env build -> let a = env _a in let tags = tags_of_pathname a++"library"++"object"++"archive" in Cmd(S([ !Options.ocamlmklib; A"-o"; A libname ] @ (List.map (fun o -> A o) c_objs) @ [ A(l_ zlib_libdir); A zlib_lib; T tags ] ) ) end; flag [ "c"; "compile"; ] (S(A"-I"::P".."::(cc_map [("-I"^zlib_include); zlib]))); flag [ "library"; "ocaml" ] (S[A"-ccopt"; A(l_ zlib_libdir); A"-cclib"; A zlib_lib]); flag [ "ocaml"; "program" ] (S[A"-ccopt"; A"-L."]); if static then flag [ "byte"; "link" ] (A"-custom"); flag [ "byte"; "library"; "link" ] (S[A"-dllib"; A"-lcryptokit"; A"-cclib"; A"-lcryptokit"]); flag [ "native"; "library"; "link" ] (S[A"-cclib"; A"-lcryptokit"]); | _ -> () end The main thing here being the rule to build the C library. I then use an itarget file to build the library. This contains libcryptokit.a cryptokit.cma cryptokit.cmxa Now, to build the library, I just issue the command ocamlbuild libcryptokit.otarget And then to build, for example, the test program I use something like ocamlbuild test.native -libs nums,unix,cryptokit I'm sure there's a bunch of cruft in there that could be better handled, but it seems to work well for now.
Archive: http://groups.google.com/group/fa.caml/browse_frm/thread/e9d5e5b2a1dbe64b/357d77f03489aaf4#357d77f03489aaf4Deep in this thread, Vu Ngoc San said, Jon Harrop asked, and Vu Ngoc San replied:
> > You probably know it already, but it is very easy to spawn opengl > > graphics directly from the toplevel using sdl. Then if you use the > > toplevel inside emacs, you get something very similar to the screenshots > > you had. > > And since you are into screenshots, here is one :-) > > http://www-fourier.ujf-grenoble.fr/~svungoc/prog/oplot/toplevel_plot.png > > This is just the kind of thing that I'd like to hear about! > How exactly do you do that? Can you post a complete working example? > > Looks great... :-) Thanks :-) The idea is that sdl (contrary to glut or lablgtk2), does not have a "main loop": so you can write your own. This allows you to open an opengl window from the toplevel, and when you quit your mainloop, you get back nicely to the toplevel. You can even let the window open when you are back to toplevel, but then the graphics are not updated anymore. Nice enough: you can later update the sdl window (no need to close it and open another one !). If you really need interaction in the window and in the toplevel at the same time, you can launch the sdl mainloop in a separate thread. It really works. But I wouldn't try to open two sdl windows at the same time (??). I don't have the courage -- and time -- to give you a "working example" (see below) but the initialisation is like this: Sdl.init [ `VIDEO ]; Sdlvideo.set_video_mode !window_width !window_height [ `DOUBLEBUF ; `OPENGL ; `RESIZABLE]); Sdlwm.set_caption "Oplot - SDL Window" ""; Then you can issue any openGL command you wish. Even from the toplevel ! You can also use Sdlttf to handle any ttf font. .... Now, since you sort of asked for it, here it is: I have written a small graphics library that does all of this. But this is my first ocaml program, first use of openGL etc.. so I'm not particularly proud of it. It is quite messy, and in a state of perpetual development. You can find a (not so recent) version at http://www-fourier.ujf-grenoble.fr/~svungoc/prog/oplot/index.html This lib is actually useful (to me) because you can insert LaTeX formulas and export directly to xfig (or postscript). It produces postscript of better quality than maple :-) There is a (very recent) GUI for this at http://www-fourier.ujf-grenoble.fr/~svungoc/prog/goplot/index.html which uses lablgtk2 and launches sdl in a separate thread... (yep. my first use of GTK and of threads.. don't be too harsh if you read my code... -:) ). However, and even though I'm not a programmer (I do this for learning ocaml during my spare time), I'd be happy to have some feedback. There is a package with precompiled binaries that works on at least three linux machines :-)
Archive: http://groups.google.com/group/fa.caml/browse_frm/thread/32d447bb50b30ac4/c88adab3f441477b#c88adab3f441477bMartin Jambon anonunced:
There's a new OCaml mailing-list/forum for OCaml software developers: http://groups.google.com/group/ocaml-developer This forum is centered on practical issues that arise during OCaml software development. Appropriate topics for this forum include: * Which library should I use for doing job X? * Should I write my own? * Has anyone had the same problem before? * How to communicate with other software components written in language Y? * Project architecture and build tools * Cross-platform issues * Web development * Intensive and distributed computing * Packaging and distribution * File formats and implementation of domain-specific languages ... Of course all the topics above must be addressed in the context of OCaml applications. Topics which are excluded from this forum are: * Learning the OCaml language * Discussing language extensions without trying to implement and use them effectively firstname.lastname@example.org and email@example.com and wonderful places for such things...Note from the editor:
I will be monitoring this list as well, to publish some messages here.
Archive: http://groups.google.com/group/fa.caml/browse_frm/thread/98edd808cde89278/a39e2eb7b6136f4b#a39e2eb7b6136f4bZheng Li announced:
I recently announced the availability of these two small piece of code at the beginners list . Then some people kindly encouraged me to post it here also. Here are they: STMlib ====== This is a user-space implementation of STM (Software Transactional Memory) library for OCaml. It's mainly inspired by the STM library of Haskell, with some exceptions due to the different nature of languages and different strategies of implementation. - This library is a user level implementation, whereas the Haskell version is based on primitives built into the runtime. - This library is purely an add-on to the already existed concurrent library of standard OCaml: threads, processes (TODO) and network programs (TODO). I.e. you can still program your concurrent applications with all facilities already exist in OCaml (e.g. Thread, Event, Unix etc.), but with the functions from this library you may transactionally read/write shared data instead of using locks or messages (and you may mix them if you really want). - There are subtle differences on the signatures and semantics of some specific functions between this library and the Haskell version. They are documented in the library manual. Currently only the threads (also vmthread) back-end is provided as a proof of concept. Other back-ends (process and network program), which share the exact interface, will come out in future version. The object is being able to write one .ml source program, compile once, but link with different back-ends to get executables of various execution model for different environments. Source code and documents are available at http://www.pps.jussieu.fr/~li/software/index.html#stmlib Enhtop ====== This is an experimental patch (we also provide pre-built testing executable and Debian package) for an enhanced OCaml toplevel with following features: For any kind of bindings (i.e. value, type, module, class etc.): * Identifiers been rebound are shown differently by default, to distinguish with currently effective ones * A new directive to query (by kinds or names or their composition) and show both current and history bindings * A new directive to show the current binding of any identifier without evaluating or rebinding it * A type-check-only testing mode to experiment your definitions without polluting the world, and the directive to enter/leave it Documents (running examples and installation instructions) and deliverables are available at http://www.pps.jussieu.fr/~li/software/index.html#enhtop PS. some wrong dependency (on libc6-dev 2.5) in the previously provided Debian packages is now fixed. Enjoy!  http://tech.groups.yahoo.com/group/ocaml_beginners/message/7390  http://tech.groups.yahoo.com/group/ocaml_beginners/message/7393Zheng Li then added:
This is a quick bug-fix and features update to Enhtop since the first release. Main enhancements include: * fixed a serious bug of visiting values from opened modules (Thanks Roberto) * new directive #env to set toplevel environment configuration. For now, which kinds of declarations get pretty printed is configurable, and we make a default configuration different from, and hopefully more rational than, the original toplevel setting. * new directive #modu to list all the modules at hand and indicate whether they are already loaded or not. * #directory now support the removal of path by prefixing "-" * #tell can now distinguish which module the current binding is from, in the case that more than one modules have the same identifier and all being opened * #tell now allow independent access to a single entry of an external module. It prints both the value and the type of the visited entry if the module is already loaded, otherwise only the type is printed. * *most* of the directives (both original and newly added ones) now get "defaults", i.e., when executed without any arguments, they fall back to some predefined default functions, which usually provide relevant helping information. e.g. #directory will print out current path setting, #load will print out the name of all .cmo and .cma currently available etc. * the feedback of some directives is improved. Check changelog and README from its website for more details and examples. One thing you should note that, we do not touch source files other than those inside the "toplevel" directory. I.e. there is no modification to your compilers (ocamlc/ocamlopt etc.) and libraries, the compilers themselves and the executables produced by them should remain identical to the originals. So you're safe and free to switch to it or switch back. We'd like to get more feedback from more people to improve it.
Here is a quick trick to help you read this CWN if you are viewing it using vim (version 6 or greater).
If you know of a better way, please let me know.
If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.
If you also wish to receive it every week by mail, you may subscribe online.