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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 02653BC6B for ; Sun, 10 Feb 2008 20:20:02 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGrdrkfAXQImh2dsb2JhbACQOwEBAQgKKZFsg0I X-IronPort-AV: E=Sophos;i="4.25,330,1199660400"; d="scan'208";a="9005821" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Feb 2008 20:20:02 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m1AJK2oQ016428 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 10 Feb 2008 20:20:02 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALbcrkdA6bjnkWdsb2JhbACQOwEBAQEHBAQLCBEHkWeDQg X-IronPort-AV: E=Sophos;i="4.25,330,1199660400"; d="scan'208";a="22448531" Received: from wr-out-0506.google.com ([64.233.184.231]) by mail4-smtp-sop.national.inria.fr with ESMTP; 10 Feb 2008 20:20:01 +0100 Received: by wr-out-0506.google.com with SMTP id c57so4341081wra.9 for ; Sun, 10 Feb 2008 11:20:00 -0800 (PST) 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=CUo11IyE1bYNYoca38jNCM1xD77FyFqVSDczHJYGtGw=; b=A5TBRAhEMkMlraWlyHDbfxuXBdWUFzrmuhepSCAmntcywLTrteD6iOZVpBeF/yKXFIa3PoKJbBvJqgm9/Xxo6lv6PXA9LXiUKCEvFOa8w9Wu679xAfMHwxdRtEObpOwuUyAq5FIgbKVKohqn8N2veUhyArSg0BvS7xN0iTAhdWw= 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=hxzUOSqUvlcUQaQZueS5nBRlo6k8hE+ayzj30KGVA1PlwHrCwnmWH7fjB8PnKb4yXizm0wxxV6+1BIzdL7nTLbu7DeJPWsQehAOXVAWW/luRWRkg9l7CKUG3bPYm/xhBPci9OCaSDIBNiMXw/QVPDwGVQhDsC5wv2bU23Y8CItY= Received: by 10.150.91.20 with SMTP id o20mr2984672ybb.24.1202671200584; Sun, 10 Feb 2008 11:20:00 -0800 (PST) Received: from ?192.168.1.58? ( [85.1.105.172]) by mx.google.com with ESMTPS id 34sm418469nfu.37.2008.02.10.11.20.00 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 10 Feb 2008 11:20:00 -0800 (PST) Message-Id: <8924F6A2-E1E7-4004-A393-47F1C7789D6D@erratique.ch> From: =?ISO-8859-1?Q?B=FCnzli_Daniel?= To: Caml List In-Reply-To: <47AF4D50.9070104@gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v915) Subject: Re: [Caml-list] Fine-grained types with more general library Date: Sun, 10 Feb 2008 20:20:05 +0100 References: <47AF4B6E.3070306@uj.edu.pl> <47AF4D50.9070104@gmail.com> X-Mailer: Apple Mail (2.915) Sender: =?ISO-8859-1?Q?Daniel=20B=FCnzli?= X-Miltered: at discorde with ID 47AF4E62.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 fine-grained:01 edgar:98 abstract:01 caml-list:01 string:02 library:03 daniel:04 daniel:04 types:05 ecrit:06 path:07 path:07 otherwise:12 Le 10 f=E9vr. 08 =E0 20:15, Edgar Friendly a =E9crit : > type 'a path =3D string list > type remote_t =3D `Remote path > type local_t =3D `Local path Yes, but make sure that the type path is abstract or private otherwise =20= it won't work. Daniel