Re: [Caml-list] Contribute your Camlp4 knowledge! [was: account for Camlp4 wiki]

place for this information to be. Feel free to link back to your blog if you want to. Thanks for all your reading/writting! -- Nicolas Pouillard http://nicolaspouillard.fr ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin

Re: [Caml-list] specify include directories with ocamlbuild

parameterized flags, and almost backward compatible since we added default pflags: pp(_), for-pack(_), inline(_), package(_), predicate(_), syntax(_) However we didn't thought about I(_)... -- Nicolas Pouillard http://nicolaspouillard.fr ___ Caml-list

Re: [Caml-list] interest in a much simpler, but modern, Caml?

) to convert them would help you a lot in adapting existing code. Regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http

Re: [Caml-list] interest in a much simpler, but modern, Caml?

seem to be a hard problem to solve: let mod = Int.mod let of_char = Int.of_char let to_char = Int.tochar You may want to import types, data constructors, exceptions, modules as well... While some of them can be mitigated data constructors cannot AFAIK. -- Nicolas Pouillard http

Re: [Caml-list] interest in a much simpler, but modern, Caml?

for a call to that function). And removing the other functions of String module which mutates strings (actually I've made an experiment in which I removed string mutability). Is there a better approach to polymorphic equality floating around? Type classes! -- Nicolas Pouillard http

Re: [Caml-list] interest in a much simpler, but modern, Caml?

local opening notation comes in handy here: if Int.(x = 42) then ... else ... -- Nicolas Pouillard http://nicolaspouillard.fr ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http

Re: [Caml-list] [Camlp4] Quotation expander with OCaml syntax

) attributes *) Have fun, -- Nicolas Pouillard http://nicolaspouillard.fr ___ 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

Re: [Caml-list] [Camlp4] Quotation expander with OCaml syntax

On Mon, 26 Jul 2010 17:41:58 +0200, Raphael Proust raphla...@gmail.com wrote: On Mon, Jul 26, 2010 at 5:13 PM, Nicolas Pouillard nicolas.pouill...@gmail.com wrote: On Mon, 26 Jul 2010 16:41:46 +0200, Raphael Proust raphla...@gmail.com wrote: Hi all, Hi, [...] (* Pre-parsed

Re: [Caml-list] build/fastworld issues

unsuccessful after building 1621 targets (678 cached) in 00:00:18. This happens on Debian unstable, x86-64. Should I open a bugreport, or is reporting to this list about problems with trunk enough? This issue is fixed in the 3.12 branch. -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Caml-list] build/fastworld issues

On Fri, 11 Jun 2010 00:02:58 +0300, Török Edwin edwinto...@gmail.com wrote: On 2010-06-10 23:21, Nicolas Pouillard wrote: On Fri, 04 Jun 2010 10:56:51 +0300, Török Edwin edwinto...@gmail.com wrote: Hi, I have successfully built 3.12.0+dev25 with 'make world.opt', but I get an error

Re: [Caml-list] ocaml build error

On Thu, 10 Jun 2010 15:54:49 +0100, Joel Reymont joe...@gmail.com wrote: How do I fix this? Switch to the 3.12 branch instead of the trunk. -- Nicolas Pouillard http://nicolaspouillard.fr ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] Static exception analysis or alternative to using exceptions

(List.find p xs) Best regards, -- Nicolas Pouillard http://nicolaspouillard.fr ___ 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

Re: [Caml-list] ocamlbuild - how to force the rebuilding of a target inside a plugin?

rubber. -- Nicolas Pouillard http://nicolaspouillard.fr ___ 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

Re: [Caml-list] ocamlbuild - how to force the rebuilding of a target inside a plugin?

On Mon, 22 Feb 2010 15:30:14 +0100, Vincent Aravantinos vincent.aravanti...@gmail.com wrote: Le 22 févr. 10 à 14:45, Nicolas Pouillard a écrit : On Sun, 21 Feb 2010 23:15:09 +0100, Vincent Aravantinos vincent.aravanti...@gmail.com wrote: Hi list, does anybody (Nicolas

Re: [Caml-list] Favorite OCaml editor?

Excerpts from Alain Frisch's message of Tue Jan 05 14:00:36 +0100 2010: On 05/01/2010 11:44, Nicolas Pouillard wrote: Reusing the work done in the Yi [1][2] editor for the Haskell syntax should be pretty straightforward. Very long and painful however due to the complexity of the grammar

Re: [Caml-list] obj.magic for polymorphic record fields

= struct let f = Obj.magic end ;; let baz = {bar = M.f };; Have fun! -- Nicolas Pouillard http://nicolaspouillard.fr ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http

Re: [Caml-list] revised syntax for abstract types ?

Excerpts from Serge Leblanc's message of Thu Dec 10 12:56:44 +0100 2009: Hi, the documentation for the revised syntax explain that abstract types are expressed by : The documentation is too old, abstract types now have the same syntax in revised than in the original OCaml syntax. -- Nicolas

Re: [Caml-list] batteries compilation error

: http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=batteries/batteries.git;a=blob;f=Makefile.in;hb=HEAD (also I've search in the debian package, and it seems they haven't patch the Makefile at all) If you are using ocamlbuild, then a -tag use_camlp4 could do the job. -- Nicolas Pouillard http

Re: [Caml-list] batteries compilation error

/syntax/pa_strings/pa_estring.mli, line 12, characters 0-19: Error: Unbound module Camlp4.PreCast this line 12 is only: open Camlp4.PreCast Does someone have an idea of what could cause this error ? I don't see any -I +camlp4 can you add it? -- Nicolas Pouillard http://nicolaspouillard.fr

Re: [Caml-list] OCaml version 3.11.1+rc0

... maybe because `ocamlbuild -where` now points to the same location as `ocamlc -where`. I've committed a patch to fix exactly this, thanks for the report! -- Nicolas Pouillard ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi

Re: [Caml-list] ocamlbuild plugin linking phase

str.cma' (same for ocamlopt). -- Nicolas Pouillard ___ 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

Re: [Caml-list] quasiquoting: 3 parsers for camlp4 vs 1 for haskell?

) and a grammar extension for the official/original syntax. Best regards, -- Nicolas Pouillard ___ 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

Re: [Caml-list] Revised syntax scope (3.10 vs. 3.11)

the binding of `a' out of the do block so that this works in both versions. That was indeed the intended behavior, to get a larger scope for 'a' use this syntax: :expr do { let a = foo; (* --- semicolon here *) print_endline a; print_endline a } -- Nicolas Pouillard

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

to another requires a full clean (make clean ; ./build/distclean.sh). -- Nicolas Pouillard ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs -- Nicolas Pouillard ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

Excerpts from Joel Reymont's message of Fri Mar 06 10:13:32 +0100 2009: On Mar 6, 2009, at 8:17 AM, Nicolas Pouillard wrote: I recall that moving from one build procedure to another requires a full clean (make clean ; ./build/distclean.sh). ./build/distclean ./configure ... ./build

Re: [Caml-list] building 64bit ocaml from cvs on mac osx leopard

can't reproduce it, maybe it's another strange build state error? -- Nicolas Pouillard ___ 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

Re: [Caml-list] using a camlp4 man filter with my own type

-I src -filter map src/easy_type_check.ml -- Nicolas Pouillard ___ 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

Re: [Caml-list] stl?

::DownInt),2,3,4] \end{code} Note that one can generalize `DownInt' as `Down' and get an easy way to reverse the order on a type. Since that, I personally consider type-classes goodness more valuable than functors usage that doesn't fall in that category. All the best, -- Nicolas Pouillard

Re: [Caml-list] ocamlbuild and ocamlfind - infer_interface

, and could tags such as infer_interface be documented thoroughly on the wiki? That would be helpful! Thanks for this contribution. I've added these 3 lines in the Wiki. -- Nicolas Pouillard ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] Ocamlbuild question

should try to tag your .oocamlfind file with the dont_link_with tag. (this point certainly needs an entry in the FAQ...) Best regards, -- Nicolas Pouillard ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman

RE: [Caml-list] Ampersand in camlp4 grammar extension

there is a nice way do to it. Maybe I need to DELETE a rule from the original grammar, though it's not clear to me which rule that is. Look at Camlp4Parsers/Camlp4OCamlRevisedParser.ml The rule is: infixop5: [ [ x = [ | ] - :expr $lid:x$ ] ] ; -- Nicolas Pouillard

Re: [Caml-list] Ampersand in camlp4 grammar extension

( ) = () let _ = fun f g h x - f (g (h x)) Best regards, -- Nicolas Pouillard ___ 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

Re: Re : [Caml-list] Warning wished

: t - 'a - 'a end = struct let f x = ... end include M Best regards, -- Nicolas Pouillard ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list

Re: [Caml-list] Virtual dependencies in ocamlbuild

file, that stamp file is stupidly added to ocamlc -a command, making it fail. You can avoid linking by adding the dont_link_with tag, to your dep declaration. Best regards, -- Nicolas Pouillard ___ Caml-list mailing list. Subscription management

Re: [Caml-list] ocamlbuildlib.cmxa not built under 3.11

. Cheers, -- Nicolas Pouillard aka Ertai ___ 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

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

for it : module L = Data.Containers.List And then use L.length, L.map... I know that the choice of name qualification, opening, or local modules is controversial, however I would like to point out that the external name don't need to be the same than the internal name. Cheers, -- Nicolas

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

Excerpts from Richard Jones's message of Thu Nov 20 11:33:03 +0100 2008: On Thu, Nov 20, 2008 at 10:28:07AM +0100, Nicolas Pouillard wrote: No one (I guess) would recommend you to use fully qualified paths as in Data.Containers.List.length of course. Data.Containers.List.length

RE: [Caml-list] open Module (not?) considered harmful

. -- Nicolas Pouillard aka Ertai ___ 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

RE: [Caml-list] open Module (not?) considered harmful

/Camlp4_contributions -- Nicolas Pouillard aka Ertai ___ 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

Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included

but don't extend it. -- Nicolas Pouillard aka Ertai ___ 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

Re: [Caml-list] ocamlbuild and installed modules and libraries

. ocamlbuild -tag_line 'xmlm: not_hygienic' -I xmlm test.native Hope that helps, -- Nicolas Pouillard aka Ertai ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr

Re: [Caml-list] camlp4 module dependencies

. turning [...] Can anyone tell me what else I should be loading/opening? You have to add the include directories: $ ocaml camlp4of.cma -I +camlp4 -I +camlp4/Camlp4Parsers Regards, -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature

Re: [Caml-list] ocamlbuild not including dependencies with mlpack

by using packs, then the first option is the right one. Best regards, -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list

[Caml-list] Re: OCamlBuild question

) in build (expand_module include_dirs module_name [mli; mli.depends]) Have a look to the ocamlbuild/ocaml_tools.ml file for a similar function (import_mlypack). -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ Caml-list

Re: [Caml-list] ocamlbuild and pack

in this one -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ 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

Re: [Caml-list] Haskell vs OCaml

... -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ 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

Re: [Caml-list] OCaml and Matlab

in the original syntax: type mxArray; -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr

Re: [Caml-list] camlp4 parser accepts more than its grammar?

(string_of_int (Gram.parse_string stmt Loc.ghost 2 + 1 + ;)) -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives

Re: [Caml-list] Custom lexer in Camlp4

Excerpts from Jeremy Yallop's message of Wed Jun 25 13:53:02 +0200 2008: Nicolas Pouillard wrote: Excerpts from Jeremy Yallop's message of Tue Jun 24 16:30:23 +0200 2008: Nicolas Pouillard wrote: Excerpts from Jeremy Yallop's message of Tue Jun 24 15:03:19 +0200 2008: Is there a way

Re: [Caml-list] Custom lexer in Camlp4

these are difficult to work with interactively. I do use pa_context in several places though, and it seems to work well. Can you elaborate on that? -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ Caml-list mailing list. Subscription

Re: [Caml-list] A question about the ocaml man page

Excerpts from Stefano Zacchiroli's message of Mon Jun 23 14:50:58 +0200 2008: On Mon, Jun 23, 2008 at 01:59:16PM +0200, Nicolas Pouillard wrote: I've just checked my e-mails, and I have no trace of your requests. All (16) requests for accounts have received have been successfully treated

Re: [Caml-list] ocamlbuild - toplevel

would like to build one with libraries (cma). Is there any way to do this with ocamlbuild? .mllib Best regards, -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] camlp4 - can you customize the lexer?

, -- Nicolas Pouillard aka Ertai signature.asc Description: PGP signature ___ 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

Re: [Caml-list] ifprint and format type question

there perhaps room for a more general ifprintf. 3: Does ifprintf actually avoid the cost of converting it's arguments to strings? The code is unclear. If the answer to this is 'no', the other two questions are moot. Yes it does avoid the cost of converting it's arguments. -- Nicolas Pouillard