From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id EBA90D45F for ; Tue, 1 Nov 2005 17:25:49 +0100 (CET) Received: from smtp001.mail.ukl.yahoo.com (smtp001.mail.ukl.yahoo.com [217.12.11.32]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id jA1GPn1N008904 for ; Tue, 1 Nov 2005 17:25:49 +0100 Received: (qmail 91575 invoked from network); 1 Nov 2005 16:25:49 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Received:Message-ID:Date:From:User-Agent:X-Accept-Language:MIME-Version:To:Subject:Content-Type:Content-Transfer-Encoding; b=lwgAm3n5mXOjXt9yXXXy4bke4MrF3KIEyG+txmyi2UNInyEmo+Cp8XP3RG0uK0Rmh3eHjRyP2Ipe1of6VvNm7WyM1ay+cnVxc9hJBXTw4BnO9rQP102Wc3M27O6torwHmb2vAG+0VQbOmrq25kMaB1iV996kU7EXYWf/ENdI9Xk= ; Received: from unknown (HELO ?84.102.56.10?) (sejourne?kevin@84.102.56.10 with plain) by smtp001.mail.ukl.yahoo.com with SMTP; 1 Nov 2005 16:25:47 -0000 Message-ID: <4367987D.3030905@yahoo.fr> Date: Tue, 01 Nov 2005 17:31:57 +0100 From: sejourne_kevin User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051017) X-Accept-Language: fr, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: A feature wish on Toplevel directives. Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 4367970D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; toplevel:01 val:01 dynlink:01 telechargez:98 argument:01 directive:02 caml:02 objective:02 string:03 let:03 problem:05 gratuit:91 feature:08 wrong:08 cases:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Hello, Here an example of what is a problem to me: .------------------------------------------- | Objective Caml version 3.08.3 | | # let p = read_line()^".ml";; | printer | val p : string = "printer.ml" | # #use p;; | Wrong type of argument for directive `use'. | # `------------------------------------------- Because 'p' has the type 'string', it seemed to me natural that '#use p' would be an equivalent to '#use "printer.ml"'. Naturally, in this cases, I do not want to use DynLink because all the definitions would be hidden. regards. ___________________________________________________________________________ Appel audio GRATUIT partout dans le monde avec le nouveau Yahoo! Messenger Téléchargez cette version sur http://fr.messenger.yahoo.com