From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <r.poss@uva.nl>
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 C4BBF7F71A
	for <caml-list@sympa.inria.fr>; Fri, 11 Apr 2014 00:03:38 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  r.poss@uva.nl) identity=pra; client-ip=146.50.108.158;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="r.poss@uva.nl"; x-sender="r.poss@uva.nl";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  r.poss@uva.nl) identity=mailfrom; client-ip=146.50.108.158;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="r.poss@uva.nl"; x-sender="r.poss@uva.nl";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@ezel.ic.uva.nl) identity=helo;
  client-ip=146.50.108.158;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="r.poss@uva.nl";
  x-sender="postmaster@ezel.ic.uva.nl";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmoDAPYTR1OSMmyemWdsb2JhbABaDgiDK8UBBAKBJBYOAQEBAQEICwsHFCiCJgEBBG4LEAsOJhI9GgYTh3wECcxaF445MweDJIEUBJoTk31C
X-IPAS-Result: AmoDAPYTR1OSMmyemWdsb2JhbABaDgiDK8UBBAKBJBYOAQEBAQEICwsHFCiCJgEBBG4LEAsOJhI9GgYTh3wECcxaF445MweDJIEUBJoTk31C
X-IronPort-AV: E=Sophos;i="4.97,836,1389740400"; 
   d="scan'208";a="67575988"
Received: from ezel.ic.uva.nl ([146.50.108.158])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Apr 2014 00:03:38 +0200
Received: from vo.home (77-172-129-60.ip.telfort.nl [77.172.129.60])
	(authenticated bits=0)
	by ezel.ic.uva.nl (8.13.8/8.13.8) with ESMTP id s3AM3UVN020410
	(version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO);
	Fri, 11 Apr 2014 00:03:31 +0200
Mime-Version: 1.0 (Apple Message framework v1085)
Content-Type: text/plain; charset=iso-8859-1
From: "Raphael 'kena' Poss" <r.poss@uva.nl>
In-Reply-To: <5346FB8F.3010406@cs.bham.ac.uk>
Date: Fri, 11 Apr 2014 00:03:30 +0200
Cc: caml-list@inria.fr
Content-Transfer-Encoding: quoted-printable
Message-Id: <B135E42B-1BB2-48D5-93F1-E2BDF1E3AFF5@uva.nl>
References: <5346FB8F.3010406@cs.bham.ac.uk>
To: Neel Krishnaswami <krishnan@cs.bham.ac.uk>
X-Mailer: Apple Mail (2.1085)
Subject: Re: [Caml-list] First class modules question

Hi Neel,

check the mailing list archives for the thread "Polymorphic module type con=
straints" last month: I asked more or less the same question on March 21st,=
 and was enlightened by Leo White's answer on April 3rd. Maybe you will app=
reciate his answer as well.

Best regards,

--=20
Raphael 'kena' Poss =B7 r.poss@uva.nl
http://staff.science.uva.nl/~poss/