From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lpw25@hermes.cam.ac.uk>
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 43D1A7EE49
	for <caml-list@sympa.inria.fr>; Fri, 22 Feb 2013 22:06:04 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  lpw25@hermes.cam.ac.uk) identity=pra;
  client-ip=131.111.8.141;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lpw25@hermes.cam.ac.uk";
  x-sender="lpw25@hermes.cam.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  lpw25@hermes.cam.ac.uk) identity=mailfrom;
  client-ip=131.111.8.141;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lpw25@hermes.cam.ac.uk";
  x-sender="lpw25@hermes.cam.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@ppsw-41.csi.cam.ac.uk) identity=helo;
  client-ip=131.111.8.141;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lpw25@hermes.cam.ac.uk";
  x-sender="postmaster@ppsw-41.csi.cam.ac.uk";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkoBAN/cJ1GDbwiNnGdsb2JhbABEwjoWDgEBAQEBCAsJCRQngiABBScRQRABCkZXBi6HdwQItiSIeJJVA5dXhFeJI4RT
X-IPAS-Result: AkoBAN/cJ1GDbwiNnGdsb2JhbABEwjoWDgEBAQEBCAsJCRQngiABBScRQRABCkZXBi6HdwQItiSIeJJVA5dXhFeJI4RT
X-IronPort-AV: E=Sophos;i="4.84,717,1355094000"; 
   d="scan'208";a="4139654"
Received: from ppsw-41.csi.cam.ac.uk ([131.111.8.141])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Feb 2013 22:06:03 +0100
X-Cam-AntiVirus: no malware found
X-Cam-SpamDetails: not scanned
X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/
Received: from hermes-1.csi.cam.ac.uk ([131.111.8.51]:51232)
	by ppsw-41.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.156]:25)
	with esmtpa (EXTERNAL:lpw25) id 1U8zoh-0001XH-SA (Exim 4.72)
	(return-path <lpw25@hermes.cam.ac.uk>); Fri, 22 Feb 2013 21:06:03 +0000
Received: from prayer by hermes-1.csi.cam.ac.uk (hermes.cam.ac.uk)
	with local (PRAYER:lpw25) id 1U8zoh-00063I-Mu (Exim 4.72)
	(return-path <lpw25@hermes.cam.ac.uk>); Fri, 22 Feb 2013 21:06:03 +0000
Received: from [86.26.0.34] by webmail.hermes.cam.ac.uk
	with HTTP (Prayer-1.3.5); 22 Feb 2013 21:06:03 +0000
Date: 22 Feb 2013 21:06:03 +0000
From: Leo White <lpw25@cam.ac.uk>
To: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>
Cc: OCaml <caml-list@inria.fr>
Message-ID: <Prayer.1.3.5.1302222106030.20720@hermes-1.csi.cam.ac.uk>
In-Reply-To: <5127D1AB.6090204@gmail.com>
References: <5127AFD7.5040002@gmail.com>
 <Prayer.1.3.5.1302221833330.26859@hermes-1.csi.cam.ac.uk>
 <5127D1AB.6090204@gmail.com>
X-Mailer: Prayer v1.3.5
Mime-Version: 1.0
Content-Type: text/plain; format=flowed; charset=ISO-8859-1
Sender: "L.P. White" <lpw25@hermes.cam.ac.uk>
Subject: Re: [Caml-list] strange typechecking result

>I would like to ask:
>
>- Where is that restriction explained?
>   (I've searched Ocaml reference manual for "monomorphic" but nothing
>    relevant seemed to come up)
>
>- Where are things like:
>
>      'a. 'a -> unit
>
>   described?
>

I'm not sure if the restriction is explained anywhere but the solution is 
described in:

  http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual021.html#toc79

Regards,

Leo