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 pBG9If5k028499
	for <caml-list@sympa-roc.inria.fr>; Fri, 16 Dec 2011 10:18:41 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AskBAPAL607RVdS2kWdsb2JhbABDhQyWPQGQAggiAQEBAQkLCwcUBCGCCwIPBHgPAiYCJBIBBQFXoHWCWwqLHZFhgS+HO4IEgRYElHaNdj2DeQ
X-IronPort-AV: E=Sophos;i="4.71,362,1320620400"; 
   d="scan'208";a="123611810"
Received: from mail-wi0-f182.google.com ([209.85.212.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Dec 2011 10:18:36 +0100
Received: by wibhr1 with SMTP id hr1so319277wib.27
        for <caml-list@inria.fr>; Fri, 16 Dec 2011 01:18:35 -0800 (PST)
MIME-Version: 1.0
Received: by 10.180.103.131 with SMTP id fw3mr10706734wib.57.1324027115776;
 Fri, 16 Dec 2011 01:18:35 -0800 (PST)
Received: by 10.180.106.8 with HTTP; Fri, 16 Dec 2011 01:18:35 -0800 (PST)
Date: Fri, 16 Dec 2011 10:18:35 +0100
Message-ID: <CAB0nkh082KBYgxJHZ9jb=g3Nb5PSaXX26ZzQs8N3zCtQBpEm3g@mail.gmail.com>
From: Andrej Bauer <andrej.bauer@andrej.com>
To: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
Subject: [Caml-list] The value restriction

Can someone explain this behavior?

# ([], (fun x -> x) (fun y -> y)) ;;
- : 'a list * ('_b -> '_b) = ([], <fun>)

# ((fun a -> a), (fun x -> x) (fun y -> y)) ;;
- : ('_a -> '_a) * ('_b -> '_b) = (<fun>, <fun>)

Why does the second component influence the first one (in a non-obvious way)?

With kind regards,

Andrej