[Caml-list] Second Call for Papers: VSTTE 2009

2009-09-02 Thread Jean-Christophe Filliâtre
Due to many requests, the submission deadline for the VSTTE workshop has been extended. * * * * VSTTE 2009 * *

RE: [Caml-list] Windows Vista/7 specific functions

2009-09-02 Thread David Allsopp
Hi Reed, Having hacked away with the Win64 port before I thought I’d have a go. The first thing I noticed is that Microsoft have finally released the x86 and x64 compilers in the same package (this was a pain if you wanted to build MSVC and MSVC64 ports as you needed two

Re: [Caml-list] batteries compilation error

2009-09-02 Thread Nicolas Pouillard
Excerpts from Florent Monnier's message of Tue Sep 01 11:14:49 +0200 2009: Hi, Hi, Trying to compile batteries (version 20090405 on ocaml 3.11.1), I get this error: + ocamlfind ocamlc -c -g -I src/syntax/pa_strings -I src -I src/core -I src/main -I src/libs -I src/core/extlib_threads -I

Re: [Caml-list] Compiling OCaml under OS X 10.6

2009-09-02 Thread Markus Mottl
On Tue, Sep 1, 2009 at 12:32, John Whitingtonj...@coherentgraphics.co.uk wrote: Has anyone managed this? Bytecode seems fine, native not so. I haven't compiled it under 10.6, but FWIW my 64bit Godi installation of OCaml kept working just fine after the upgrade. Regards, Markus -- Markus Mottl

Re: [Caml-list] batteries compilation error

2009-09-02 Thread Florent Monnier
Trying to compile batteries (version 20090405 on ocaml 3.11.1), I get this error: + ocamlfind ocamlc -c -g -I src/syntax/pa_strings -I src -I src/core -I src/main -I src/libs -I src/core/extlib_threads -I src/core/extlib -I src/core/baselib -I src/core/baselib_threads -I

[Caml-list] Ocaml clone detector

2009-09-02 Thread Kihong Heo
Hi everyone. I think you can help me. I want to know there is a clone detector for Ocaml program. If you know any program like that, please let me know. Cheers, -- Kihong Heo kh...@ropas.snu.ac.kr Programming Research Lab. Seoul National University

Re: [Caml-list] Ocaml clone detector

2009-09-02 Thread Erik de Castro Lopo
Kihong Heo wrote: I want to know there is a clone detector for Ocaml program. Maybe it would help if you explained what a clone detector is. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/

Re: [Caml-list] Ocaml clone detector

2009-09-02 Thread Jacques Carette
Erik de Castro Lopo wrote: Maybe it would help if you explained what a clone detector is. A clone is software-engineering speak for duplicated code. Exactly what qualifies as 'duplicated code' and how to efficiently find such (without too many false positives nor false negatives) is still

Re: [Caml-list] Compiling OCaml under OS X 10.6

2009-09-02 Thread Andres Varon
On Sep 1, 2009, at 12:32 PM, John Whitington wrote: Hi Folks, Has anyone managed this? Bytecode seems fine, native not so. I've tried just ./configure and ./configure -cc gcc -m64 with the source bzip of 3.11.1 as suggested in INSTALL. Both compile fine, but give: feast:trunk john$

Re: [Caml-list] Ocaml clone detector

2009-09-02 Thread Erik de Castro Lopo
Jacques Carette wrote: Erik de Castro Lopo wrote: Maybe it would help if you explained what a clone detector is. A clone is software-engineering speak for duplicated code. Exactly what qualifies as 'duplicated code' and how to efficiently find such (without too many false positives

Re: [Caml-list] Ocaml clone detector

2009-09-02 Thread Andrej Bauer
As far as student plagiarism goes, we found out that for Java programs, you can pretty much detect frauds by erasing everything from the programs except parentheses ( ) { } and then comparing the remaining strings for editing distance. My explanation is that students who copy code don't want to