From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rixed@happyleptic.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 581627EDD3
	for <caml-list@sympa.inria.fr>; Thu,  4 Oct 2012 15:03:30 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=pra;
  client-ip=213.251.171.101;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=mailfrom;
  client-ip=213.251.171.101;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@eneide.happyleptic.org) identity=helo;
  client-ip=213.251.171.101;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="postmaster@eneide.happyleptic.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhcLAIiIbVDV+6tl/2dsb2JhbABFg06IFbMngQiCThOBDiYoFYgol0qhOY4fgkBgA5VohWOKSYJv
X-IronPort-AV: E=Sophos;i="4.80,535,1344204000"; 
   d="scan'208";a="157873737"
Received: from eneide.happyleptic.org ([213.251.171.101])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 04 Oct 2012 15:03:29 +0200
Received: from [82.240.34.113] (helo=ccellier.rd.securactive.lan)
	by eneide.happyleptic.org with esmtp (Exim 4.72)
	(envelope-from <rixed@happyleptic.org>)
	id 1TJlLr-0004fF-90
	for caml-list@inria.fr; Thu, 04 Oct 2012 15:20:31 +0200
Received: from rixed by ccellier.rd.securactive.lan with local (Exim 4.80)
	(envelope-from <rixed@happyleptic.org>)
	id 1TJl54-0005Im-8y
	for caml-list@inria.fr; Thu, 04 Oct 2012 15:03:10 +0200
Date: Thu, 4 Oct 2012 15:03:10 +0200
From: rixed@happyleptic.org
To: caml-list@inria.fr
Message-ID: <20121004130310.GA20285@securactive.lan>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: [Caml-list] keeping parameter polymorphic

Hello.
I can't find a way to keep f polymorphic in:

let test f = f 1, f true

that I'd like to return a int*bool from any function 'a->'a

I now this question regularly pops up, but I've tried many combinations
of "(type a)" and "'a." to no avail (ocaml 3.12.1 here).

(in real world, my function takes a generic "fold" function that I'd
like to use with various types).