Re: [Caml-list] Fwd: interval trees

2012-02-16 Thread Goswin von Brederlow
Francois Berenger writes: > Hello, > > Anyone can translate this into being tail recursive > if it's possible: > > let rec interval_tree intervals = > match intervals with > [] -> Empty > | _ -> > let x_mid = median intervals in > let left, mid, right = partition inter

[Caml-list] ocaml-pcre and UTF-8

2012-02-16 Thread Philippe Strauss
Hello caml'ers, How do I convince PCRE to be UTF-8 friendly? example: -- open Pcre external show : 'a -> string = "%show" let recomp = regexp ~flags:[`UTF8; `CASELESS] let res_w = "(*UTF8)^(\w+)$" let rec_w = recomp res_w let accents = ["blurb"; "toxicité"; "velléités"; "à"; "où"; "über"; "m

Re: [Caml-list] ocaml-pcre and UTF-8

2012-02-16 Thread Mauricio Fernandez
On Thu, Feb 16, 2012 at 10:29:30AM +0100, Philippe Strauss wrote: > Hello caml'ers, > > How do I convince PCRE to be UTF-8 friendly? example: > > -- > open Pcre > > external show : 'a -> string = "%show" As an aside: where did you get this external from? I had to write a proper show function on

Re: [Caml-list] ocaml-pcre and UTF-8

2012-02-16 Thread Philippe Strauss
Oh found something on the PLEAC and man pcrepattern : let res_w = "^([\\p{Latin}\\-]+)$" Le 16 févr. 2012 à 10:29, Philippe Strauss a écrit : > Hello caml'ers, > > How do I convince PCRE to be UTF-8 friendly? example: > > -- > open Pcre > > external show : 'a -> string = "%show" > > let reco

Re: [Caml-list] Fwd: interval trees

2012-02-16 Thread Gabriel Scherer
I can't resist giving the usual tail-recursive CPS-transformed version (untested): let interval_tree intervals = let rec interval_tree intervals k = match intervals with | [] -> k Empty | _ -> let x_mid = median intervals in let left, mid, right = partition interva

Re: [Caml-list] Fwd: interval trees

2012-02-16 Thread John Carr
Goswin von Brederlow wrote: > Francois Berenger writes: > > > > let rec interval_tree intervals = > > match intervals with > > [] -> Empty > > | _ -> > > let x_mid = median intervals in > > let left, mid, right = partition intervals x_mid in > > let left_list

Re: [Caml-list] Fwd: interval trees

2012-02-16 Thread Francois Berenger
On 02/16/2012 07:21 PM, Gabriel Scherer wrote: I can't resist giving the usual tail-recursive CPS-transformed version (untested): Thanks! That's the technique I was looking for (Continuation Passing Style), as I may have to use this on some other algorithms in the future. let interval_tree in

[Caml-list] Sexplib bug report

2012-02-16 Thread bob zhang
Hi, I did not find sexplib mailing list, so I posted it here. sexplib is not compatible with camlp4of For example camlp4of Pa_type_conv.cma pa_sexp_conv.cma -str "type ('a,'b) delta = ('b * 'a) " broken camlp4o Pa_type_conv.cma pa_sexp_conv.cma -str "type ('a,'b) delta = ('b * 'a) " good camlp4of

Re: [Caml-list] Sexplib bug report

2012-02-16 Thread Markus Mottl
On Thu, Feb 16, 2012 at 20:55, bob zhang wrote: > Is it possible to separate the syntax extension from the code > generation part? syntax extension is always fragile, code generation > API is still pretty useful. In my opinion, the main meat lies in code > generation part. > Not sure, but even

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

2012-02-16 Thread Alan Schmitt
Hello, Following a suggestion by Daniel Bünzli, I used the minimum example from http://caml.inria.fr/mantis/view.php?id=5093 then I can see that native dynlink does work. However two questions remain. I get `ld: warning: -read_only_relocs cannot be used with x86_64` each time I link natively