Re: [Caml-list] How does OCaml update references when values are moved by the GC?

/Cheney's_algorithm - Xavier Leroy ___ 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] Generalized Algebraic Datatypes

war :-) This said, Coq could be another source of syntactic inspiration: it has several equivalent syntaxes for inductive type declarations (a superset of GADTs), one Haskell-like, others more Caml-like. - Xavier Leroy ___ Caml-list mailing list

Re: [Caml-list] Re: Random segfaults / out of memory

, - Xavier Leroy ___ 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

Re: [Caml-list] testers wanted for experimental SSE2 back-end

that - just here or there is some entry in Mantis? Why not start on this list? We'll move to private e-mail if the discussion becomes too heated :-) - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin

Re: [Caml-list] testers wanted for experimental SSE2 back-end

of architecture. It is quite possible you ended up with two 64-bit, SSE2-float back-ends. Oups. Sorry for your time loss. And, yes, unrelated changes between release 3.11.2 and the experimental sources I released (based on what will become 3.12.0) can account for small speed differences. - Xavier

[Caml-list] testers wanted for experimental SSE2 back-end

processors. On bigger OCaml applications that perform floating-point computations but not exclusively, the performance difference was lost in the noise. Looking forward to interesting experimental results, - Xavier Leroy ___ Caml-list mailing list

Re: [Caml-list] Alignment of data

to change this easily. What you can do, however: 1- Use the 64-bit PowerPC port. Everything will be 8-aligned then. 2- Use a bigarray instead of a float array. Bigarray data is allocated outside the heap, at naturally-aligned addresses. - Xavier Leroy

Re: [Caml-list] dynamic link library path under mingw

I'm doing something wrong, but can't figure out what? Try setting the OCAMLRUNPARAMS environment variable to the value v=256. The run-time system will then print additional debug messages concerning DLL searching and loading. - Xavier Leroy ___ Caml

Re: [Caml-list] Re: multicore wish

that the address range [start, end) contains well-formed Caml data that polymorphic primitives can safely work on. This should solve your problem. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman

[Caml-list] old Caml projects looking for new maintainers contributors

, - Xavier Leroy ___ 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

Re: [Caml-list] Gc.compact surprisingly helpful

from inserting or deleting dead code in a program... - Xavier Leroy ___ 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

[Caml-list] public access to the SVN repository for OCaml

in the following page: http://caml.inria.fr/ocaml/anonsvn.en.html The old CVS repository on camlcvs.inria.fr is still accessible but no longer updated. It will go away in a few weeks. Subersively yours, - Xavier Leroy ___ Caml-list mailing list

Re: [Caml-list] Incremental linking

that OCaml does is small. Let us know if you manage to narrow the problem. - Xavier Leroy ___ 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] OC4MC : OCaml for Multicore architectures

to tame by developing clever libraries that mere mortals can use effectively (Apple's Grand Central was mentioned on this thread; it's a good example)... In summary, Philippe and his coauthors do deserve a round of applause, but please keep a cool head. - Xavier Leroy

Re: [Caml-list] Optimizing Float Ref's

ref's were automatically unboxed by the compiler when they didn't escape the local context. Yes, if all uses of the float ref are unboxed, which is the case in your code. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http

[Caml-list] book Le langage Caml

. For completeness, we also made it available: http://caml.inria.fr/pub/distrib/books/manuel-cl.pdf Both texts are distributed under the Creative Commons BY-NC-SA license. Enjoy, - Xavier Leroy ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] Ocamlopt x86-32 and SSE2

... To finish: I'm still very interested in hearing from packagers. Does Debian, for example, already have some packages that are SSE2-only? Are these packages specially tagged so that the installer will refuse to install them on pre-SSE2 hardware? What's the party line? - Xavier Leroy

Re: [Caml-list] Ocamlopt x86-32 and SSE2

interpreter) compute everything in 64-bit format. See David Monniaux's excellent tutorial: http://hal.archives-ouvertes.fr/hal-00128124/en/ Computing intermediate results in extended precision has pros and cons, but my understanding is that the cons slightly outweigh the pros. - Xavier Leroy

Re: [Caml-list] Ocamlopt code generator question

not currently take advantage of this possibility, since floats are passed between functions in boxed state. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr

Re: [Caml-list] arm backend

everyone is developing from the vendor-supplied IDE...) Again, I welcome feedback and patches from iPhone development experts. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list

Re: [Caml-list] OCaml and Boehm

. - Xavier Leroy (*) In 3.10 and earlier releases, OCaml sometimes used mmap() instead of malloc() to obtain these blocks. Starting from 3.11, malloc() is the only interface OCaml uses to obtain memory from the OS. ___ Caml-list mailing list. Subscription

Re: [Caml-list] questions

I saw Xavier Leroy teach caml at the CNAM in france, and he know how to teach. Just for the record: I never lectured at CNAM, but probably you're thinking of Pierre Weis, who taught a great programming in Caml course there for several year. That course was the main starting point for our book

Re: [Caml-list] questions

else on this list: if you're not happy with the existing material, write something better. Everyone will thank you and you'll get to better appreciate the difficulty of the task. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] PowerPC 405

Just to complement Basile's excellent answers: Do you know if it is possible to compile caml code on a PowerPC 405 from the Vertex 4 family ? We'd like to put this processor in a FPGA. On the Caml's website, it is written PowerPC but is it only for Macintosch ? Not just Macintosh:

Re: [Caml-list] Récursivité terminale

the accumulator at the end. For instance, List.map f l (not tail-rec) can be rewritten as List.rev (List.rev_map f l) (tail-rec). For more complex data structures than lists, Huet's zippers can often be used for the same purpose. Happy Googling, - Xavier Leroy

Re: [Caml-list] Google summer of Code proposal

have switched to that compiler a long time ago. MLton can probably outperform Caml on some symbolic codes, but not by a large factor and not because of data representation strategies (but rather because of more aggressive inlining and the like). - Xavier Leroy

Re: [Caml-list] The new OCaml book (Objective Caml Programming Language by Tim Rentsch)

purpose.) What we now have is lawsuit material... I sincerely hope some kind of agreement can still be found at this point. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list

Re: [Caml-list] Lazy and Threads

computation.) There is no unique answer to these questions: it all depends on what you're trying to achieve... - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http

Re: [Caml-list] speeding up matrix multiplication (newbie question)

buy you is halving the memory footprint of your matrices. That could result in better cache behavior and therefore slightly better speed, but it depends very much on the sizes and number of your matrices. - Xavier Leroy ___ Caml-list mailing list

Re: [Caml-list] What is a future of ocaml?

. That sounds like an interesting offer indeed. We'd have to discuss actual contents of the site, but, yes, this is an area where outside help would be welcome. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi

Re: [Caml-list] Shared libraries with ocamlopt callable from C (without main())?

add5wrapperlib.o add5-prog.o \ -L`ocamlc -where` -lasmrun -ldl -lm Add -static to the last line if you know you really need it. Hope this puts you back on tracks. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http

Re: [Caml-list] Why does value restriction not apply to the empty list ?

have polymorphic types, while function parameters are monomorphic. - Xavier Leroy ___ 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] Freeze in 64-bit Windows Num module

I have an issue with using the Num module in my Win64 OCaml compile. Whenever I try to operate on numbers that are too large it will lock up. I'll try to look into this, but it would help if you'd submit a problem report through the bug tracking system. - Xavier Leroy

Re: [Caml-list] OCaml version 3.11.0 released.

distributions for Windows (MSVC and Mingw toolchains) are now available from the usual place: http://caml.inria.fr/download.html Enjoy, - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman

Re: [Caml-list] OCaml 3.11.0 release candidate

at http://caml.inria.fr/pub/docs/manual-ocaml-311/index.html Enjoy, - Xavier Leroy ___ 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] OCaml version 3.11.0+beta1

. If anyone from Apple is on this list, feel free to contact us at [EMAIL PROTECTED] for more information on this regression. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives

Re: [Caml-list] Re: Road to native windows OCaml...

doesn't need yet another symtax for x86 assembly language. - Xavier Leroy ___ 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] [ANN] OCamlSpotter: OCaml compiler extension for source browsing

are backward compatible, inclusion in bugfix releases can be considered. - Xavier Leroy ___ 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] Problem of compilation with ocamlopt

sure to mention the OS and the architecture (x86 or x86-64). I'll look into it. - Xavier Leroy ___ 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] ocamlopt generates binaries with executable stacks

cases where addressing the issue at the level of the packages is safer than by changing the source distribution. - Xavier Leroy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http