Re: [Caml-list] [ANNOUNCE] otags reloaded
Yoann Padioleau writes: It's unfortunate that otags stops when only one file does not parse. Indeed, the intended behaviour is drop files that cause errors and continue tagging. Anything else is a bug. Fatal error: escaping exception Loc.Exc_located(_, _) File "ocamlsqlite/recent-orm-sqlite/hash/p4_hash.ml", line 41, characters 14-22 Quotation.Make(Ast).Error.E(_) This looks like a quotation parsing error. Can you try the just release version 3.11.2? If the problem persists then please send me the offending input file. Also when I run otags on files from stdlib I get: File "core/pervasives.mli", line 133, characters 0-8 Camlp4 parse error: [a_LIDENT] expected after "external" (in [sig_item]) This is one of the camlp4/ocaml incompatibilities (try camlp4o pervasives.mli!). There are more like this, see for instance problem #5135, #5122. All we can do here is to submit bug reports and hope that the incompatibilities get eventually fixed. Bye, Hendrik ___ 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] MSFP - early registration: 30 August
Early registration for MSFP closes on 30 August. To register, please use the ICFP registration page: https://regmaster3.com/2010conf/ICFP10/register.php Third Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 25 September 2010, Baltimore, Maryland, USA A satellite workshop of ICFP 2010 PRESENTATION The workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Monadic programming in Haskell is the paradigmatic example, but there are many more mathematical insights manifest in programs and in programming language design: Freyd-categories in reactive programming, symbolic differentiation yielding context structures, and comonadic presentations of dataflow, to name but three. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006. Selected papers were published as a special issue of the Journal of Functional Programming (volume 19, issue 3-4). The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. PROGRAM 9:00 - 10:00 Invited talk: Amy Felty, "Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle" 10:00 - 10:30 break 10:30 - 11:00 Chantal Keller and Thorsten Altenkirch, "Normalization by hereditary substitutions" 11:00 - 11:30 Paul Tarau, "Hereditarily finite representations of natural numbers and self delimiting codes" 11:30 - 12:30 Tutorial: Adam Chlipala, "Foundational Program Verification in Coq with Automated Proofs" 12:30 - 2:00 lunch break 2:00 - 3:00 Invited talk: Martín Escardó, "What Tic-Tac-Toe, the Tychonoff Theorem, and the Double-Negation Shift have in common" 3:00 - 3:30 break 3:30 - 4:00 Kazuyuki Asada, "Arrows are Strong Monads" 4:00 - 4:30 Adam Gundry, Conor McBride and James McKinna, "Type inference in context" 4:30 - 5:00 break 5:00 - 6:00 Tutorial: Peter Morris, "Epigram Prime: A Demonstration" Workshop homepage: http://cs.ioc.ee/msfp/msfp2010/ Registration link: https://regmaster3.com/2010conf/ICFP10/register.php Local arrangements: http://www.icfpconference.org/icfp2010/local.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
[Caml-list] Re: ANN: ocamljs 0.3
> j...@donham.org : >I am happy to announce version 0.3 of ocamljs. Ocamljs is a system for >compiling OCaml to Javascript. What are the differences between: - OBrowser (http://www.pps.jussieu.fr/~canou/obrowser/tutorial/) - Js_of_OCaml (http://ocsigen.org/js_of_ocaml/overview) - OcamlJS -- Architecte Informatique chez Blueline/Gulfsat: Administration Systeme, Recherche & Developpement +261 34 56 000 19 ___ 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: ANN: ocamljs 0.3
Hello, On 27-08-2010, Mihamina Rakotomandimby wrote: >> j...@donham.org : >>I am happy to announce version 0.3 of ocamljs. Ocamljs is a system for >>compiling OCaml to Javascript. > > What are the differences between: > - OBrowser (http://www.pps.jussieu.fr/~canou/obrowser/tutorial/) OBrowser seems to be replaced by Js_of_OCaml > - Js_of_OCaml (http://ocsigen.org/js_of_ocaml/overview) > - OcamlJS Have a look at: http://ambassadortothecomputers.blogspot.com/2010/08/ocamljs-03.html Regards, Sylvain Le Gall ___ 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
On 08/26/2010 10:10 PM, Florent Monnier wrote: > > I would say that when packagers write patches that add new features it would > be nice if they set up such a basic web-page too. > FWIW, in Debian, we have: http://patch-tracker.debian.org/ which lists and shows applied patches to any Debian package. Regards, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 ___ 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] Re: ANN: ocamljs 0.3
Hi, > What are the differences between: > - OBrowser (http://www.pps.jussieu.fr/~canou/obrowser/tutorial/) > - Js_of_OCaml (http://ocsigen.org/js_of_ocaml/overview) > - OcamlJS These three projects have one goal in common -- running Ocaml code inside a browser -- but approach it differently: - O'Browser implements in Javascript an interpreter of Ocaml bytecode (the code produced by ocamlc). - js_of_ocaml compiles Ocaml bytecode into Javascript. - ocamljs is a new backend for the Ocaml compiler that translates Ocaml's intermediate representation (the "lambda" representation) into Javascript. Hope that clarifies things a bit, Dario Teixeira ___ 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] Re: ANN: ocamljs 0.3
[nacl-ocaml], wich patches the ocaml compiler to produce native code compatible with [Google Native Client] technology (verified native code for sandboxed environments such as browsers) may also be relevant here. [nacl-ocaml] http://code.google.com/p/nacl-ocaml/ [Google Native Client] http://code.google.com/p/nativeclient/ ___ 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