From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 5FED3BBAF for ; Sun, 12 Oct 2008 14:53:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgoBAA+Q8UhIDtycjmdsb2JhbACTHT4BAQEBCQkMBw8FnmyGFgECAQOBAAFogX4 X-IronPort-AV: E=Sophos;i="4.33,397,1220220000"; d="scan'208";a="15978252" Received: from fg-out-1718.google.com ([72.14.220.156]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Oct 2008 14:53:54 +0200 Received: by fg-out-1718.google.com with SMTP id l27so862845fgb.43 for ; Sun, 12 Oct 2008 05:53:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer:sender; bh=vnZFpFI/1KTjdaz7OZmPvX3Z+Epj42uVjHGljd+uuPY=; b=YdyYLF2GiJZYYF0+KGnXZ4l2D2wPs37o0Mqw9JvWulxLZRp1H92wsV16MOHLEQ6DPE +TAf9MplgS3KpWPhCzx7djfYDehtdfiGHT7bdkdvCIrzXpbCrHc3y2O1rv0BnCxff3oU j3bRBoPsKX/3syLC+6kTDr8RaTG6A6LVaj+BQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer:sender; b=VEgx/u9lt8N66iGIwVS0qGbqGyTokAR2bRAILKpaDrUWBWyJhlBvkVjTxGSEc3M9MZ rEEklTNmyNg6WSuQc9LHwkNnfoD7zzqHQ1jdQSgNqA3oayIDYcW7ZstiU1b+bL1SvaaQ VMJ1xbmyt69xjRcEQC9jthmo9z5X6pa6weswE= Received: by 10.86.68.2 with SMTP id q2mr3914356fga.17.1223816033661; Sun, 12 Oct 2008 05:53:53 -0700 (PDT) Received: from ?10.0.1.2? (252-31.2-85.cust.bluewin.ch [85.2.31.252]) by mx.google.com with ESMTPS id 4sm6195098fge.8.2008.10.12.05.53.52 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sun, 12 Oct 2008 05:53:52 -0700 (PDT) Message-Id: From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: OCaml List In-Reply-To: <878wsuw4o8.fsf_-_@fel.cvut.cz> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v929.2) Subject: Re: [Caml-list] Top-level with compiled libraries, Was: ANN OCaml Batteries Included Date: Sun, 12 Oct 2008 14:53:30 +0200 References: <1223732914.7333.22.camel@Blefuscu> <200810120142.23667.peng.zang@gmail.com> <878wsuw4o8.fsf_-_@fel.cvut.cz> X-Mailer: Apple Mail (2.929.2) Sender: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= X-Spam: no; 0.00; bunzli:01 buenzli:01 ocaml:01 toplevel:01 toplevel:01 lacaml:01 bindings:01 byte-code:01 byte-code:01 afaik:01 byte:01 20,:98 ideally:01 caml-list:01 modules:02 Le 12 oct. 08 =E0 11:20, Jan Kybic a =E9crit : > Hello. On the subject of using toplevel: I would love to use toplevel > to test my code but I need a lot of compiled libraries (written in C) > - such as FFTW, Lacaml, etc. - and as far as I know, it is not > possible to use compiled code from toplevel. Or am I wrong? Yes. There's no problem using bindings to C from the toplevel. > Ideally, I would like to have only the module I am working on in > byte-code, playing with it interactively. All the other (stable) > modules and all the libaries would be a compiled code and the > byte-code and compiled code would seemlessly call each other. Is that > feasible? AFAIK this is not possible. You will have to use byte code for =20 everything except your C code of course. Daniel