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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4D31E7EE79 for ; Mon, 16 May 2016 18:55:44 +0200 (CEST) IronPort-PHdr: 9a23:yNCE6xFM7TMpPJDu9QTfX51GYnF86YWxBRYc798ds5kLTJ75oc6wAkXT6L1XgUPTWs2DsrQf27uQ6f6rCDBIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nhqbopdaCP01hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SfRFFzk8KChh78TusVzHTBCTznoaSGQf1BRSVVvr9hb/C7jssy/+v/d41WG6MMvwQKkpWDLqu6gtSBLujioeKj8/2GzRhYp7hacdqRnnuh8pkN2cW52cKPcrJvCVRtgdX2cUBss= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gjeh2@cam.ac.uk; spf=None smtp.mailfrom=gjeh2@cam.ac.uk; spf=Pass smtp.helo=postmaster@ppsw-42.csi.cam.ac.uk Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gjeh2@cam.ac.uk) identity=pra; client-ip=131.111.8.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gjeh2@cam.ac.uk"; x-sender="gjeh2@cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gjeh2@cam.ac.uk) identity=mailfrom; client-ip=131.111.8.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gjeh2@cam.ac.uk"; x-sender="gjeh2@cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@ppsw-42.csi.cam.ac.uk designates 131.111.8.142 as permitted sender) identity=helo; client-ip=131.111.8.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gjeh2@cam.ac.uk"; x-sender="postmaster@ppsw-42.csi.cam.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CLAQA7+zlXkI4Ib4NdhAx+qliPI4Iahxg5EwEBAQEBAQEBEQEBAQEHDQkJIS+CLYIWAQQBIw8BBUYLAQoaAiYCAhBHBog6CAQKrxSNJ4QPBYEBhSSETYc/glkFmCeFfolzAY1Fj0EiAoQrbYgGAQEB X-IPAS-Result: A0CLAQA7+zlXkI4Ib4NdhAx+qliPI4Iahxg5EwEBAQEBAQEBEQEBAQEHDQkJIS+CLYIWAQQBIw8BBUYLAQoaAiYCAhBHBog6CAQKrxSNJ4QPBYEBhSSETYc/glkFmCeFfolzAY1Fj0EiAoQrbYgGAQEB X-IronPort-AV: E=Sophos;i="5.24,627,1454972400"; d="scan'208";a="218437333" Received: from ppsw-42.csi.cam.ac.uk ([131.111.8.142]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 May 2016 18:55:43 +0200 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://www.cam.ac.uk/cs/email/scanner/ Received: from cpc91230-cmbg18-2-0-cust829.5-4.cable.virginm.net ([82.1.231.62]:33900 helo=hennequin-xps.local) by ppsw-42.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.158]:587) with esmtpsa (PLAIN:gjeh2) (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) id 1b2Lnz-000xWK-89 (Exim 4.86_36-e07b163) for caml-list@inria.fr (return-path ); Mon, 16 May 2016 17:55:43 +0100 Received: from hennequi by hennequin-xps.local with local (Exim 4.87) (envelope-from ) id 1b2Lnz-0001UZ-4S for caml-list@inria.fr; Mon, 16 May 2016 17:55:43 +0100 Content-Type: text/plain; charset=UTF-8; format=flowed From: Guillaume Hennequin To: caml users In-reply-to: References: <1463412482-sup-8520@hennequin-xps> Date: Mon, 16 May 2016 17:55:43 +0100 Message-Id: <1463417600-sup-2106@hennequin-xps> User-Agent: Sup/0.22.1 Content-Transfer-Encoding: 8bit Sender: "G.J.E. Hennequin" X-Validation-by: g.hennequin@eng.cam.ac.uk Subject: Re: [Caml-list] issue with polymorphism Thanks all for your prompt answers; > See the FAQ entry, "How to write a function with polymorphic arguments?" > https://ocaml.org/learn/faq.html#Howtowriteafunctionwithpolymorphicarguments this page explains how to do it with records or objects, but ends with a mysterious "FIXME: a direct way now exists". Does anyone know what this might refer to? best wishes, Guillaume