From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 75A567EEB4 for ; Thu, 7 Feb 2013 07:21:17 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christophe.papazian@gmail.com) identity=pra; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christophe.papazian@gmail.com"; x-sender="christophe.papazian@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of christophe.papazian@gmail.com designates 74.125.82.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christophe.papazian@gmail.com"; x-sender="christophe.papazian@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christophe.papazian@gmail.com"; x-sender="postmaster@mail-wg0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvEBAH9GE1FKfVIujWdsb2JhbABFgzmCSbpOFg4BAQEBCQkLCRIGI4JNEwYBGx4DEhBeEQEFASKIEQEDDwSbZIJwjDSCe4RLChknDVmIdwEFDJBsYQOWIYVwiQA/hCI X-IPAS-Result: AvEBAH9GE1FKfVIujWdsb2JhbABFgzmCSbpOFg4BAQEBCQkLCRIGI4JNEwYBGx4DEhBeEQEFASKIEQEDDwSbZIJwjDSCe4RLChknDVmIdwEFDJBsYQOWIYVwiQA/hCI X-IronPort-AV: E=Sophos;i="4.84,619,1355094000"; d="scan'208";a="1341831" Received: from mail-wg0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Feb 2013 07:14:35 +0100 Received: by mail-wg0-f46.google.com with SMTP id fg15so1678100wgb.25 for ; Wed, 06 Feb 2013 22:21:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:from:content-type:content-transfer-encoding:subject:date :message-id:to:mime-version:x-mailer; bh=vyGHYzylkFs3L2zekiAbbj9zhxZ/ulYpOOUp+ZFLZdo=; b=N7BH1Jg5ZDHRWhFQ5BXpP6f+zReV2hz4MutkOLBKZN79/rCVOGm/CLaELFIKZE6cI5 B8amX33Y6NDx4BJjnPSsm0K1w1UjQLsREx7QpLGBd2MEdRpSMOCXlFazukjuQeHQjoN1 os6JSLLi5CDZKgO+J1Zo5ZlHRcRrC7lXjFPmcGFu3AHg/RmZrKUwpJspntmLa1UWbkf2 v8I5+R6jKG3C0tQvgD0Ytp6jtWW9diRubQ6sJXEi8WCmfL1yM5ibKOJyLfzIKPdLUgSm O0bO8G0cGJA6F85Zyl1pqnOp3YPAXbroBeBfrEZHUxo8xfOMo531Wb0wU7nQ1tqfihqN N1nQ== X-Received: by 10.194.156.196 with SMTP id wg4mr252294wjb.22.1360218076385; Wed, 06 Feb 2013 22:21:16 -0800 (PST) Received: from [192.168.0.12] (lau06-5-88-176-33-221.fbx.proxad.net. [88.176.33.221]) by mx.google.com with ESMTPS id cu7sm6679601wib.8.2013.02.06.22.21.14 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 06 Feb 2013 22:21:15 -0800 (PST) From: Christophe Papazian Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Date: Thu, 7 Feb 2013 07:21:09 +0100 Message-Id: To: Caml List Mime-Version: 1.0 (Apple Message framework v1283) X-Mailer: Apple Mail (2.1283) Subject: [Caml-list] Syntax of types Hi I'm not sure to understand the difference between : let f (type s) : s t -> s =3D ... let f : type s . s t -> s =3D ... except it seems I can use the second one in place of the first one, but som= etimes I can't use the first one and need the second one. So I feel I only need the second one. Thank you for your answers Christophe