From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4AGkoHL027044 for ; Tue, 10 May 2011 18:46:50 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUDAGlryU1ii1vUjWdsb2JhbACEVJMWMY4EAQEBAQkJCwkSBSKnR44fPIIxhTyJFQEEBQGBJINggQUEhkKNVSaKMQ X-IronPort-AV: E=Sophos;i="4.64,346,1301868000"; d="scan'208";a="94849066" Received: from nm17-vm0.bullet.mail.sp2.yahoo.com ([98.139.91.212]) by mail4-smtp-sop.national.inria.fr with SMTP; 10 May 2011 18:46:44 +0200 Received: from [98.139.91.69] by nm17.bullet.mail.sp2.yahoo.com with NNFMP; 10 May 2011 16:46:43 -0000 Received: from [98.139.91.48] by tm9.bullet.mail.sp2.yahoo.com with NNFMP; 10 May 2011 16:46:43 -0000 Received: from [127.0.0.1] by omp1048.mail.sp2.yahoo.com with NNFMP; 10 May 2011 16:46:43 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 333523.79650.bm@omp1048.mail.sp2.yahoo.com Received: (qmail 92862 invoked by uid 60001); 10 May 2011 16:46:42 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1305046002; bh=e3D8zdv/8F8u9s1tx3uR6Mth97XjXazFIZwMKoxgzCo=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=5scoIgzSfuzs2rG2lDFQuBmt541CME34arVKXI1zoiCGbNuIV37h5Fo+a/bSDUMx+qxQ1YFhg5CPgJaizDoscqnHhN0glWXXFm4rst3R8pRY4JK8r/p/DKt2GPzMEimxpbGsUIO85SN0VW4RmDOHvIaeHhMlRRk1v7qTxKRnYzY= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=j1YJo/HdJl+vpLxGDGT9Lon+6oedSDdCXSe32JqkhHQl2jb+kAa91U0I2+BnHKj5Ye5j/wB0nUaB4Zj971xThHXC1tfQNdOaF7bvDB/PNL444SG4VHudzT+PTeBaHKQI/UJcFXY/wKjeq+oVbPohH/0xpqErGrAJKdI8C/WVlfs=; Message-ID: <719085.83949.qm@web111512.mail.gq1.yahoo.com> X-YMail-OSG: RYo2rGsVM1mHb47eg4NzltMY3HvS432pRlg941sProtylvO egYclfh0qI7TPTAm2VwjEqPvoC9lsxTFlWy94XOJFbk72FbIvCp.yO4E7CD_ yhkLYdTa6gy_aidjA_PCUAH8ojsLkqT_8rezIz2qC6V9YvmJjEkQD.FoyNjU gR1asLliyd735_8sCor5DlJXM3tZ62RicOzTdJb2uyPtTfoSiHWKh8WOPD0i ePeEpu3fT2w7Wet4Kt2h1TLqfrwAfzbas5c9W5dkrmIrG16lJr9g.Ofe5Sld uhpTMjA4aNVN4wO7f8QQrTaIa95Z_xKgocjIXpf236gOQMzb0aoIGaSG7ar9 tIrYvSYXfO1OeePYedeHzZ7WAHV_.mRn6YrxzmvRn_ThXuBixa5p95fRg5xg el3P.XN_0QBF05g-- Received: from [213.205.70.196] by web111512.mail.gq1.yahoo.com via HTTP; Tue, 10 May 2011 09:46:42 PDT X-Mailer: YahooMailClassic/12.0.2 YahooMailWebService/0.8.111.303096 Date: Tue, 10 May 2011 09:46:42 -0700 (PDT) From: Dario Teixeira To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p4AGkoHL027044 Subject: [Caml-list] Difference between [ `A ] and [< `A ] Hi, I've seen OCaml code "in the wild" where both of the following signatures are present: (the type parameter for 't' is a phantom type) val foo: [< `A ] t -> unit val bar: [ `A ] t -> unit But is there any practical difference between [ `A ] and [< `A ] given that there is only one element in the set? Thanks in advance! Kind regards, Dario Teixeira