Re: [Caml-list] Should a /\ operator be possible?
On Thu, May 01, 2008 at 10:20:23PM +0100, Richard Jones wrote: > In fact can we open the discussion about converting OCaml source files > into UTF-8 and allow _lots_ more symbols? eg: > > let (∪) = ... > let (⊆) = ... on one hand, it probably would be nice to have such a massive extend of symbols.. on the other hand, it could be quite unproductive for writing/reading code since there's so much symbols, and that some looks like others; for example 'u' and '∪', '‧' and '.', '‶' and '"' etc.. plus, i don't really want to have my character table open when i want to edit a program ... -- Vincent ___ 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] Should a /\ operator be possible?
On Thu, May 1, 2008 at 5:20 PM, Richard Jones <[EMAIL PROTECTED]> wrote: > On Thu, May 01, 2008 at 08:41:49PM +0100, Richard Jones wrote: > > let ( /\ ) (a1, a2) (b1, b2) = a2 > b1 || b2 > a1 > > I've just reread the Lexical conventions section in the manual. For > some reason when I read it first I thought it said that '\' was > allowed, but in fact it's not so this appears to be a bug in camlp4. > > BUT can we permit this? It's nice to be able to define /\ and \/ > operators with the obvious meanings :-) > > In fact can we open the discussion about converting OCaml source files > into UTF-8 and allow _lots_ more symbols? eg: > > let (∪) = ... > let (⊆) = ... Did this come up at the OCaml meeting [1]? I think Xavier Leroy said something about updating OCaml to allow UTF-x source files, though I have only read the transcripts and don't know the full context or how official this is. Hez [1] - http://wiki.cocan.org/events/europe/ocamlmeetingparis2008 -- Hezekiah M. Carty Graduate Research Assistant University of Maryland Department of Atmospheric and Oceanic Science ___ 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] camlp4 and quotations for c#: Two parsers needed?
On Mon, Jan 28, 2008 at 10:59:15AM +, Joel Reymont wrote: > I would like to introduce statements in C# into my OCaml code and have > camlp4 convert them to my C# AST at compile time. I would also like to > reuse the same parser used by camlp4 to parser regular C# files. > > Is it possible to share a parser this way or do I need a special > parser for quotations and another parser to read C# files? You might want to look at the implementation of PG'OCaml. It passes SQL statements off to the database for parsing. Rich. -- Richard Jones Red Hat ___ 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] Should a /\ operator be possible?
On Thu, May 01, 2008 at 08:41:49PM +0100, Richard Jones wrote: > let ( /\ ) (a1, a2) (b1, b2) = a2 > b1 || b2 > a1 I've just reread the Lexical conventions section in the manual. For some reason when I read it first I thought it said that '\' was allowed, but in fact it's not so this appears to be a bug in camlp4. BUT can we permit this? It's nice to be able to define /\ and \/ operators with the obvious meanings :-) In fact can we open the discussion about converting OCaml source files into UTF-8 and allow _lots_ more symbols? eg: let (∪) = ... let (⊆) = ... Rich. -- Richard Jones Red Hat ___ 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] Documenting submodules ?
As far as I'm aware, the HTML output of ocamldoc documents submodules as hyperlinks. By clicking on them you then get to a documentation of the submodule itself. This is already something. Arnaud Spiwack David Teller a écrit : Dear list, As mentioned previously, I'm working on a derivative of ExtLib (promised, I'll submit the changes within a few days). I've put together most of the features I want for now, but I'm faced with a problem of documentation. Essentially, I have a few big modules containing each a few smaller modules -- each smaller module being defined in one file. When invoking ocamldoc, either directly or through ocamlbuild + .odocl, the generated documentation only contains the name of modules, without any of the comments or even the values. Is there any ocamldoc plug-in or ocamlbuild plug-in or anything else that could help me document my code without having to rewrite everything and/or to copy and paste thousands of lines of .mli ? Cheers, 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] Should a /\ operator be possible?
Should code like this be possible? let ( /\ ) (a1, a2) (b1, b2) = a2 > b1 || b2 > a1 This is accepted by camlp4 (3.10.1 & 3.10.2) but rejected by pure ocamlc and also by ocamldoc. $ ocamlc -pp camlp4of test.ml $ ocamlc test.ml File "test.ml", line 1, characters 7-8: Illegal character (\\) Rich. -- Richard Jones Red Hat ___ 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] Automated Reasoning in Mathematics
--- The CICM Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) Call for Papers - Submission Deadline - Monday 5th May -- The CICM 2008 Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) will be held as part of the Conferences on Intelligent Computer Mathematics, in Birmingham, United Kingdom, 26th July - 2nd August, 2008. See the WWW page ... http://www.cs.miami.edu/~geoff/Conferences/ESARM/ This workshop will bring together practioners and researchers who are concerned with the development and application of automated reasoning for mathematics. The workshop will discuss only "really running" systems and applications, and not theoretical ideas that have not yet been translated into working software. More details are on the WWW page. Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions will be refereed, and a balanced program of high-quality contributions will be selected. The selected contributions will be printed as workshop proceedings, and will also be published electronically. The submission deadline is 5th May, notification of acceptance is on 13th June, and final versions are due 7th July. Submission details are on the WWW page. We hope that you will submit a paper, and be part of ESARM. --- ___ 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] IJCAR Calls and Awards
--- IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org Calls for Participation, Calls for Workshop Papers, Student Travel Awards --- Call for Participation -- Information about IJCAR's astounding program of invited speakers, technical papers, workshops, tutorials, competitions, and social events, is available from the IJCAR WWW pages - 2008.IJCAR.org. There are 101 reasons to attend IJCAR, which are enumerated on the WWW site. Registration, accomodation, and travel/visa information is there too. Book your flight to Sydney today! --- Calls for Workshop Papers, Tutorial Participation - There will be six workshops and four tutorials before IJCAR, 10th and 11th August. See their individual WWW pages, linked from the IJCAR WWW pages, for submission and participation information. + Workshops - The 5th International Verification Workshop (VERIFY'08) - Practical Aspects of Automated Reasoning (PAAR-2008) - Evaluation of Systems for Higher Order Logic (ESHOL) - Complexity, Expressibility, & Decidability in Automated Reasoning (CEDAR'08) - Constraints in Formal Verification - Combining Systems for Efficient and Scalable Reasoning (CoSyScaRe 08) + Tutorials - Introduction to Nominal Isabelle - Christian Urban - Formal Methods in Use at Galois, Inc. - Joe Hurd - SMT Solvers in Program Analysis and Verification - Nikolaj Bjorner and Leonardo de Moura - Coalgebraic Logics and Applications (COALA) - Dirk Pattinson --- Student Travel Awards - Two award schemes that provide sponsorhips to support student attendance at IJCAR are available. See the IJCAR WWW pages for details. --- ___ 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] ocamlbuild does not work with plugins on windows?
Hi, I actually had the exact same problem, so I think we can say it is a bug. Combined with the "tput not found" problem, the workaround I found (under Windows) is to give the following options to ocamlbuild: ocamlbuild -classic-display -no-log I did not try very hard to find a more elegant solution though, but this works. Of course if you need the log, that's another problem :) Cheers, Matthieu - Message d'origine De : "[EMAIL PROTECTED]" <[EMAIL PROTECTED]> À : caml-list@yquem.inria.fr Envoyé le : Mercredi, 30 Avril 2008, 21h53mn 10s Objet : [Caml-list] ocamlbuild does not work with plugins on windows? Hello, I've come across the following problem with the ocamlbuild. When it runs myocamlbuild plugin, this plugin seems to try to remove log file, which in turn fails with "Permission denied" exception (due to sharing violation). This behavior seems quite strange; why should it remove log file for the second time? It is really a bug, or I'm missing something? I use Ocaml built from CVS (snapshot on April, 1) with MSVC. But 3.10.2 seems to exhibit the same behavior (when built with MSVC as well). ___ 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 __ Do You Yahoo!? En finir avec le spam? Yahoo! Mail vous offre la meilleure protection possible contre les messages non sollicités http://mail.yahoo.fr Yahoo! Mail ___ 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] [OSR] Standard syntax extensions ?
For the record, here's a better version by bluestorm: http://bluestorm.info/camlp4/pa_matches.ml.html Rich. -- Richard Jones Red Hat ___ 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] Indentifying OCaml exceptions from C
Raj Bandyopadhyay wrote: Hi ocaml folks I have a C program that makes callbacks to the OCaml runtime via the callback_exn() mechanism. Unfortunately, the OCaml code is raising some exception. It seems to be one of the built-in OCaml exceptions, and not something that I have defined in my OCaml code. I would like to know what is the easiest/correct way to identify the exact OCaml exception being raised, so I can debug this program. You can use the macros Is_exception_result and Extract_exception (defined in callback.h) to check whether the result of callback_exn is an exception and to retrieve the exception value in that case. The first field of this value points to a block with one field pointing to the string representing the exception's constructor name. The other fields of the exception value are the exception's arguments. -- Alain ___ 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