Re: [Caml-list] Building a camlp4 toplevel with oasis/ocamlbuild

2012-03-19 Thread Jérémie Dimino
Le Mon, 19 Mar 2012 15:40:40 -0300, Andre Nathan an...@digirati.com.br a écrit : $ ./ospec.byte Fatal error: exception Symtable.Error(Printexc) Can anyone give me a hand here? It is because ospec has not be linked with the Printexc module. Since you define a

Re: [Caml-list] Efficient scanning of large strings from files

2012-03-16 Thread Jérémie Dimino
Le Fri, 16 Mar 2012 14:03:38 +0100, Philippe Veber philippe.ve...@gmail.com a écrit : Say that you'd like to search a regexp on a file with lines so long that you'd rather not load them entirely at once. If you can bound the size of a match by k length of a line, then you know that you can

Re: [Caml-list] oasis packaging questions

2012-03-08 Thread Jérémie Dimino
Le Thu, 8 Mar 2012 01:26:38 +0100, Daniel Bünzli daniel.buen...@erratique.ch a écrit : 1) All the packages I distribute are made of a single module. For now these were just installed as .cmo .cmx .cmxs. Now it seems oasis forces me to create a .mllib even if I have only one module. Is that

Re: [Caml-list] state of native dynlink on os x

2012-03-08 Thread Jérémie Dimino
Le Thu, 8 Mar 2012 16:50:59 +0100, Pierre-Alexandre Voye ontolog...@gmail.com a écrit : ocamlfind ocamlc -thread -o ocsigenserver -linkpkg -linkall -thread -I ../baselib -I ../http -package lwt.ssl -package lwt.extra -package netstring -package findlib -package cryptokit -package tyxml

Re: [Caml-list] concerning using of `deriving' syntactic plugin

2012-03-07 Thread Jérémie Dimino
Le Wed, 07 Mar 2012 16:44:20 +, Matej Košík 5764c029b688c1c0d24a2e97cd7...@gmail.com a écrit : The above problem can indeed be solved, i.e. pretty-printer can be generated in this way. The tricky part is to figure out how to define the Show_t module definition, which is non-obvious. If

Re: [Caml-list] compiling static preprocessors

2012-03-01 Thread Jérémie Dimino
Le Thu, 1 Mar 2012 20:58:38 +0100, Thomas Gazagnaire thomas.gazagna...@gmail.com a écrit : ocamlc dynlink.cma unix.cma \ -I +camlp4 camlp4lib.cma -linkall \ Camlp4Parsers/Camlp4OCamlRevisedParser.cmo \ Camlp4Parsers/Camlp4OCamlParser.cmo \

Re: [Caml-list] Re: OASIS help : adding -pp camlp4of and camlp4.gramlib to the compilation flags

2012-01-17 Thread Jérémie Dimino
Le mardi 17 janvier 2012 à 16:48 +0900, Francois Berenger a écrit : In fact, now I only need to use cppo to preprocess my source files. So the updated command is: ocamlfind ocamlopt -package batteries -linkpkg -o test_logger -annot -g -pp cppo logger.ml test_logger.ml How do I request

Re: [Caml-list] Format OCaml Code

2011-12-23 Thread Jérémie Dimino
Le vendredi 23 décembre 2011 à 13:27 +0100, ri...@happyleptic.org a écrit : Note that piping/redirection `camlp4o file.ml foo` doesn't work as camlp4o sends a marshalled AST by default. This is indeed annoying. Unfortunately, and quite surprisingly to me, using -o /dev/stdout does not

Re: [Caml-list] try ocaml website

2011-12-23 Thread Jérémie Dimino
Le vendredi 23 décembre 2011 à 20:10 +0100, Dominique Martinet a écrit : Yes, I've seen that - what I mean isn't clearing the view, but really reseting the variables and whatever is defined. Maybe there actually is something in the standard toplevel, but I don't think I've ever heard about it

Re: [Caml-list] Don't forget the user

2011-12-18 Thread Jérémie Dimino
ask me. -- Jérémie PS: it is *Jérémie* Dimino ;-) -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] Camlp4/p5 type reflection [

2011-12-11 Thread Jérémie Dimino
Le dimanche 11 décembre 2011 à 12:19 +0100, Gabriel Scherer a écrit : If we had no Camlp4, we should push for some of these things to be integrated in the language. A reasonable but solid mixfix syntax could replace pa_monad, the ##-syntax of pa_js, and some aspects of pa_lwt. jsnew and list

Re: [Caml-list] OCaml maintenance status / community fork (again)

2011-12-10 Thread Jérémie Dimino
Le samedi 10 décembre 2011 à 19:10 +, Wojciech Meyer a écrit : I'm asking, because certainly it would be a very wanted feature. I can see two major limitations of the current Camlp4/p5 system: - no way of recursively expand syntax, generate some code and then re-generate again using

Re: [Caml-list] Generic printer patch

2011-12-08 Thread Jérémie Dimino
Le mercredi 07 décembre 2011 à 23:44 -0800, Martin Jambon a écrit : What do you think of moving the project to GitHub so we could follow its progress and contribute more easily? This projet is just a quick hack. If i do something more serious i will consider creating a real project. For now,

Re: [Caml-list] OCaml maintenance status / community fork

2011-12-07 Thread Jérémie Dimino
Le mercredi 07 décembre 2011 à 05:59 -0800, tools a écrit : --- LWT: We have experience with the ocsigen people, and a track record of several lwt bugs discovered, testcases that assert the problem, and patches to the mailing list or the developers personally. If it concerns code, 95%

[Caml-list] Generic printer patch

2011-12-07 Thread Jérémie Dimino
Hi, I have made a patch for ocaml 3.12.1 which allow to have a generic printing function. The patch is available here: http://www.dimino.org/ocaml-3.12.1-generic-print.patch Here is how to use it: external show : 'a - string = %show let () = print_endline (show ([1; 2; 3], Some foo))

Re: [Caml-list] Generic printer patch

2011-12-07 Thread Jérémie Dimino
Le mercredi 07 décembre 2011 à 11:46 -0500, Alex Rubinsteyn a écrit : Cool! Thanks for writing this. Can you explain how defining a custom printer works? The new language features still bewilder me. If you want to define a custom printer for a type named foo, you have to define a function named

Re: [Caml-list] Generic printer patch

2011-12-07 Thread Jérémie Dimino
Le mercredi 07 décembre 2011 à 21:26 -0800, Martin Jambon a écrit : I would like to fetch the git repository but it won't let me: $ git clone 'http://www.dimino.org/git/ocaml-3.12.1-print.git' Cloning into ocaml-3.12.1-print... fatal:

Re: [Caml-list] hashing big ints

2011-12-05 Thread Jérémie Dimino
Hi, Le mardi 06 décembre 2011 à 08:22 +0100, Damien Pous a écrit : Let me re-raise an apparently old and possibly dumb question : how to hash big ints ? You can use the zarith library: http://forge.ocamlcore.org/projects/zarith/ It provides hashable big integers. Cheers, -- Jérémie

Re: [Caml-list] Re: lablqt = OCaml + qt

2011-11-24 Thread Jérémie Dimino
Hi, Le jeudi 24 novembre 2011 à 18:04 +0400, Kakadu a écrit : Bad news: it seems that lablqt is in decadance. I'm still planning to implement inheritance (described here), but there are some problems with proof-of-concept app. It shows a widget and after pressing any key it crashes while

Re: [Caml-list] Is it possible to extend OCaml lexer rules via Camlp4?

2011-11-03 Thread Jérémie Dimino
Hi, On Thu, Nov 03, 2011 at 04:12:29PM +0900, Jun Furuse wrote: I want to have pcre regexp literals in the same syntax as Perl i.e. /hello\sworld\\n/. Currently what we do in OCaml is Pcre.regexp hello\\sworldn, where the backslash char must be escaped in a OCaml string literal. This is

Re: [Caml-list] [ANN] Async, a monadic concurrency library

2011-10-26 Thread Jérémie Dimino
On Tue, Oct 25, 2011 at 08:32:59PM -0400, Yaron Minsky wrote: While we're in the announcing mood, I wanted to announce the first public release of Async, Jane Street's monadic concurrency library. What is the error 514 (in raw_scheduler.ml, line 496) ? I have never seen this error before. --

Re: [Caml-list] [ANN] Async, a monadic concurrency library

2011-10-26 Thread Jérémie Dimino
On Wed, Oct 26, 2011 at 07:34:45AM -0400, Yaron Minsky wrote: It's an excellent question, and one I don't yet have a good feel for. It would be great to find some kind of modus vivendi which would allow the libraries to interoperate. I think it is not too hard to mix Lwt.t and Defered.t

Re: [Caml-list] How to write an efficient interpreter

2011-10-24 Thread Jérémie Dimino
Hi, On Mon, Oct 24, 2011 at 01:50:25PM +0200, Diego Olivier Fernandez Pons wrote: I was rather thinking of translating on-the-fly into Caml code and letting Caml do the job. Is that technically possible (rewriting a toplevel ? a CamlP4 grammar ?). If so guess I would have to license the Caml