http://permalink.gmane.org/gmane.comp.lang.caml.inria hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.lang.caml.inria/54906 <pre> [We apologize for multiple copies] ==================================================================== Final Call for Papers FACS 2012 9th International Symposium Formal Aspects of Component Software http://www.cmu.edu/silicon-valley/facs12/ Mountain View, USA, September 12-14, 2012 ==================================================================== Highlights: ----------- - Invited speakers: * Shaz Qadeer, Microsoft, USA http://research.microsoft.com/en-us/people/qadeer/ * Tevfik Bultan, University of California Santa Barbara, USA http://www.cs.ucsb.edu/~bultan/ * Scope * The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues sti</pre> Javier Cámara Moreno 2012-05-18T02:25:55 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54905 <pre>Thanks to everyone who responded. FWIW, I found the argument in favor of options most compelling as a general approach. Yitzhak On May 10, 2012, at 8:55 PM, Yaron Minsky wrote: ----------------------------- Yitzhak Mandelbaum </pre> Yitzhak Mandelbaum 2012-05-17T17:43:53 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54904 <pre>Hi, If I'm not mistaken, you want something like Haskell's typeclasses. I agree that it's a feature I often find myself wanting in OCaml, and -as you point out- is trivial to encode with module and functors, so it shouldn't be highly problematic. Is there some syntax extension providing such a feature ? If not, are there plans to have syntax for typeclass-like functor operations ? Regard, Nicolas 2012/5/11 Arnaud Spiwack &lt;Arnaud.Spiwack&lt; at &gt;lix.polytechnique.fr&gt;: </pre> Nicolas Braud-Santoni 2012-05-17T16:23:37 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54903 <pre> What are you trying to do there? Why do you need a functor for that at all? TC just having a type doesn't make sense to me. So S.x would be a function that turns for example an int list into a float list, e.g. let x list = List.map float_of_int list? How would you write Subst that it takes anything but 'a list (and Obj.magic doesn't count)? How would the functor look like that would accept 'a list or 'a array as argument? Seems to me TC needs to also contain the map function for this to work. And then why not just use (List.map float_of_int) as closure? Hard to say if I can't even understand what "this kind of thing" is. MfG Goswin </pre> Goswin von Brederlow 2012-05-17T14:52:33 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54902 <pre> Yes it does, oasis was installed then. Thanks! &gt; Bonus: you'll get the 0.3 version of oasis, which supports </pre> Francois Berenger 2012-05-17T10:24:58 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54901 <pre>Hello, 2012/5/15 Mehdi Dogguy &lt;mehdi&lt; at &gt;dogguy.org&gt;: Not much, but keeping git up-to-date (with the occasional "git gc"). Moreover, it means Gallium will need to have an internet-facing server, and maintain it. However, the SVN is at caml.inria.fr, which might mean that they aren't using Inria's GForge, so they might already have such a server. Indeed, at least for mid-size projects; I don't know whether one scales up more easily than the other). </pre> Nicolas Braud-Santoni 2012-05-17T10:18:54 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54900 <pre>HI François, I remember seeing this last week. I switched to the unstable version, which compiled fine, so: odb.ml --unstable oasis should do it. Bonus: you'll get the 0.3 version of oasis, which supports the Pack option for libraries (among other good surprises). ph. 2012/5/17 Francois Berenger &lt;berenger&lt; at &gt;riken.jp&gt; </pre> Philippe Veber 2012-05-17T08:25:44 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54899 <pre>Hello, With odb.ml as installed by ocamlbrew, 'odb.ml oasis' doesn't terminate correctly: --- W: Cannot find source file matching module 'OASISData' in library oasis I: Running command '/home/berenger/ocamlbrew/ocaml-3.12.1/bin/ocamlbuild src/oasis/oasis.cma src/oasis/oasis.cmxa src/oasis/oasis.a src/base/base.cma src/base/base.cmxa src/base/base.a src/builtin-plugins.cma src/builtin-plugins.cmxa src/builtin-plugins.a src/cli/cli.cma test/test.byte src/cli/Main.byte -tag debug' Finished, 1 target (0 cached) in 00:00:00. + ocamlfind ocamlc -c -g -annot -I src/oasis -I src/base -I src -package unix -package pcre -package odn -package ocamlgraph -package oUnit -package findlib -package fileutils -package extlib -package expect.pcre -I test -I src -I src/base -I src/cli -I src/oasis -I src/plugins/none -I src/plugins/ocamlbuild -I src/plugins/internal -I src/plugins/custom -I src/plugins/extra/stdfiles -I src/plugins/extra/devfiles -I src/plugins/extra/META -o test/TestFileTemplate.cmo test/TestFileT</pre> Francois Berenger 2012-05-17T02:33:02 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54898 <pre> CALL FOR TALK PROPOSALS HOPE 2012 The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 9, 2012 Copenhagen, Denmark (the day before ICFP 2012) http://hope2012.mpi-sws.org HOPE is a *new workshop* that is intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. This 1st edition of HOPE is dedicated to John Reynolds, whose work is an inspiration to us all. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, cont</pre> Amal Ahmed 2012-05-16T19:03:02 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54897 <pre>I'm feeling my way into using OCaml to provide calculations for a Cocoa application for OS X using XCode on an iMac. I'm totally new at OCaml. I'm working with the example in the manual, section 18.8 as a basis. After taking small steps via plain C versions, finally, I made a simple cocoa app with entry an entry field for an integer, and a value field for the fibonacci value for the entry. Compiliation failed due to an inconsistency between /usr/local/lib/ocaml/caml/config.h and cocoa's ...Security.framework/cssmconfig.h Specifically in this sequence: #if defined(ARCH_INT64_TYPE) typedef ARCH_INT64_TYPE int64; typedef ARCH_UINT64_TYPE uint64; #else ... Here the typedef for uint64 is in conflict with the framework's typedef in cssmconfig.h: #ifndef _UINT64 typedef uint64_t uint64; #define _UINT64 #endif Here is the complete XCode compilation error output: ------ Compile error output: /usr/local/lib/ocaml/caml/config.h /usr/local/lib/ocaml/caml/config.h:130:26: error: typedef redefinition with dif</pre> John Velman 2012-05-16T18:35:12 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54896 <pre> Seriously, what kind of maintenance a Git repository does require? Just create a unix group, create a bare shared repo, and have fun. Besides, they are already maintaining (somehow, dunno the details) an svn repository. Maintaining a git repo isn't harder… anyway, it is not said that they will switch to git anyway :) I'd be happy if they do, but it is not my call. iirc, it has been considered when they moved away from cvs and they didn't choose it. i'm not sure how much the situation changed since then (for the core team). </pre> Mehdi Dogguy 2012-05-15T19:48:02 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54895 <pre>Github is maybe not perfect, but it requires *zero* maintenance. Does the INRIA team want to set up a git server, setup gitosis for managing users, etc, respond to someone when there is a problem. Github won. Let's get over it. On Tue, May 15, 2012 at 3:05 PM, Richard W.M. Jones &lt;rich&lt; at &gt;annexia.org&gt;wrote: </pre> Ashish Agarwal 2012-05-15T19:33:16 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54894 <pre> Le mardi, 15 mai 2012 à 21:05, Richard W.M. Jones a écrit : FWIW, I use cgit [1] here : http://erratique.ch/repos/ and I confirm it's easy to setup (cgi), maintain, and it's fast too. Having been right today into the terrible svn web interface of ocaml's repository I would also welcome such a change. That being said, I once worked on a project via git-svn (git help svn) and it worked like a charm. You may want to try that (and me aswell). Best, Daniel [1] http://hjemli.net/git/cgit/ </pre> Daniel Bünzli 2012-05-15T19:22:57 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54893 <pre> TBH we switched libguestfs hosting to github about 5 months ago, and I'm not too happy with it. Pull requests turn into merges (ie. non-linear history) which I particularly dislike. But there are lots of git hosting places, including the option of setting up git hosting at INRIA -- it's very easy to setup and maintain. That's not the point though. The point is that git is just *far better* than SVN. And also (compared to other VCS), git won. Let's get over it. Rich. </pre> Richard W.M. Jones 2012-05-15T19:05:53 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54892 <pre>http://github.com This would allow for documentation, etc. to be kept online and edited easily. It would also allow for documented and well-presented pull requests with patches. On Tue, May 15, 2012 at 7:10 PM, Markus Mottl &lt;markus.mottl&lt; at &gt;gmail.com&gt; wrote: </pre> Joel Reymont 2012-05-15T18:28:27 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54891 <pre> It would indeed be awesome if the OCaml team considered switching to a modern, distributed VCS. Both git and Mercurial are vastly superior to SVN. Conversion tools also make it trivial to switch. This could really boost community productivity for bug fixing and feature proposals. Regards, Markus </pre> Markus Mottl 2012-05-15T18:10:24 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54890 <pre>NASA/NIA PVS Class October 9-12, 2012 The Formal Methods teams at the NASA Langley Research Center and the National Institute of Aerospace are offering a short course on the PVS theorem prover in the fall of 2012. The class will take place October 9-12 in Hampton, Virginia: http://shemesh.larc.nasa.gov/PVSClass2012 The course is offered free of charge as a public service to the formal methods community. The class is open to all interested individuals. However, seats are limited and all attendees must register at http://shemesh.larc.nasa.gov/PVSClass2012/registration.html We emphasize a hands-on, immersion-style learning approach. Both lecturematerial and in-class exercises using PVS are featured. For this reason, we strongly encourage attendees to bring a laptop equipped to run PVS. All the instructors are members of the NASA Langley Formal Methods group and expert PVS users. The PVS Class 2012 will feature a technical lecture and an invited talk by Sam Owre, one of the creators of PVS and its main de</pre> MUNOZ, CESAR (LARC-D320 2012-05-15T17:35:51 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54889 <pre> It's a trimslice, running what Fedora calls armv7hl.tegra. I don't want to say this is a real bug yet, because I'm actually using a version of your code which I backported onto 3.12.1 myself -- not realizing there was already a tree you wrote that contained that. In any case I need to test again with the upstream OCaml from SVN (why-oh-why doesn't OCaml use git!) Rich. </pre> Richard W.M. Jones 2012-05-15T17:34:36 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54888 <pre> On May 15, 2012, at 19:11 , Richard W.M. Jones wrote: Hey Rich, I haven't heard of any problems yet. Can you provide additional information, i.e. architecture (armel/armhf), platform, etc.? Benedikt </pre> Benedikt Meurer 2012-05-15T17:31:41 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54887 <pre> We recently put bmeurer's new ARM backend into Fedora/ARM, and generally it works well. However (very very occasionally) I'm getting odd segfaults from programs. One example is in camomile 0.8.3 during compilation: ocamlopt.opt -noassert -I internal -I public -I toolslib -I . -o mappings/gen_mappings.opt bigarray.cmxa str.cmxa toolslib.cmxa mappings/gen_mappings.cmx cd mappings &amp;&amp; ./gen_mappings.opt /bin/sh: line 1: 13996 Illegal instruction ./gen_mappings.opt make: *** [mappings/cns11643.mar] Error 132 Another is in libguestfs (in the virt-sysprep program, but it seems to be a problem in the generated bindings). I'm not sure this is the same problem as in camomile. I'd just like to compare notes with anyone else using the new backend. Rich. </pre> Richard W.M. Jones 2012-05-15T17:11:44 http://permalink.gmane.org/gmane.comp.lang.caml.inria/54885 <pre>Hi, google camlp4 and quotation. if you don't need antiquotation support, it's fairly easy. On 5/14/12 9:00 PM, xy s wrote: </pre> Hongbo Zhang 2012-05-15T04:56:06 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.caml.inria