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 DD55C7EF10 for ; Wed, 25 Feb 2015 10:29:33 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DbAQBule1UnHDIaSZBGoNWWgSDBIkutnGFcAKBGAdDAQEBAQEBEAEBAQEBBhYJQoQQAQEEEhEdAQE3AQ8LCw0CAiYCAiEBEgEFARwGEyKHeQMRAwo3rkw+MYo+cIRiAQWPBg2FMQEBAQEGAQEBAQEBARUGCoEXiXKCRIFlRQeCaIFDk0CEH4FGgRs5gmCJAIQ9EiOBFYQQbwGCQgEBAQ X-IPAS-Result: A0DbAQBule1UnHDIaSZBGoNWWgSDBIkutnGFcAKBGAdDAQEBAQEBEAEBAQEBBhYJQoQQAQEEEhEdAQE3AQ8LCw0CAiYCAiEBEgEFARwGEyKHeQMRAwo3rkw+MYo+cIRiAQWPBg2FMQEBAQEGAQEBAQEBARUGCoEXiXKCRIFlRQeCaIFDk0CEH4FGgRs5gmCJAIQ9EiOBFYQQbwGCQgEBAQ X-IronPort-AV: E=Sophos;i="5.09,643,1418079600"; d="scan'208";a="123299173" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Feb 2015 10:29:33 +0100 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with smtp (Exim 4.82) (envelope-from ) id 1YQYHb-0006fM-Tg for caml-list@yquem.inria.fr; Wed, 25 Feb 2015 04:29:31 -0500 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BU7ZX7-AAAAnn-cX; 2015-02-25 04:29:31.908692-05:00 Received: from mail-ig0-f181.google.com ([209.85.213.181]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1YQYHb-00036k-Oq for caml-list@yquem.inria.fr; Wed, 25 Feb 2015 04:29:31 -0500 Received: by mail-ig0-f181.google.com with SMTP id hn18so4289497igb.2 for ; Wed, 25 Feb 2015 01:29:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=taszkFO0ikO8G7reu/P0Ggle6fae1QxYN0fa+53piBE=; b=TqvKGq8xO9Ua3adA4iCeMcGSHM2WKTVIt15TB8dAed/ffwaX9QTX0Kuiz6CEtICinB tsirzIqSoKJ9Ty1rOnwpmtUw1UMtuZgYhVe4mMJNFuOIyY89vMqVRDjiMenNkgmB/FXj xK9KkpmG22YoTloHY7TIK/83LSuMuU/kKZ8hc= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=taszkFO0ikO8G7reu/P0Ggle6fae1QxYN0fa+53piBE=; b=bYvG38tslIqDV7geSw0ZHmENuR6iLHFHi2Cm+rf7YJRihgiPTNXr4pbTXSme3lcAQM BlIK/NJ4hLxtLj/YSMUmrAdEH5nilqwzYCw9M0NFJjgigtuJojPJBaYt0Wk6DrDcy+AX KXtSYn54ipvE1hn9AwTClQF7AwaZc7ozVXzTl3HBAv2zhCab4NlZnJv0xiKiXHBS/h3W CGUW7n4ExRZQw5EL9HI21zYGEQnSyVi2bLNGE5Oa5iMuqtbJ+TdPjWiBzL15WU50ZwLQ uyzYLDr9qkXK7SYirJD4IUn0gzQs1SDQWGQTUE+IfwKtQerWKUwm5HsqIpYhB8kYitaa TMwg== X-Gm-Message-State: ALoCoQki4oIpVI7YHx96PEfum7aZlo/BvyQ9mIxR52POvHPGfZGg0Vd3T+vEvfarmRCotkSGN4m9uPRFhN3iLpEpmAkgphiQlsBsaPCYfYyFQ+zMqhmnXVUE5sTHMJKixhk/bgXIqiIl8H3LmhOq1sQXso9+b/sunA== X-Received: by 10.107.26.80 with SMTP id a77mr3313866ioa.78.1424856571446; Wed, 25 Feb 2015 01:29:31 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.107.26.80 with SMTP id a77mr3313856ioa.78.1424856571278; Wed, 25 Feb 2015 01:29:31 -0800 (PST) Received: by 10.50.252.20 with HTTP; Wed, 25 Feb 2015 01:29:31 -0800 (PST) In-Reply-To: References: Date: Wed, 25 Feb 2015 09:29:31 +0000 Message-ID: From:Jeremie Dimino To:Martin DeMello Cc:OCaml List Content-Type: text/plain; charset=UTF-8 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] "this ground coercion is not principal" On Wed, Feb 25, 2015 at 4:47 AM, Martin DeMello wrote: > but I could not find anything on google for either "ground coercion" > or "principal type coercion" that would explain what it was actually > saying. Could someone please point me to a reference? I don't know of a reference but there is a mantis ticket to improve this error message: http://caml.inria.fr/mantis/view.php?id=5523 -- Jeremie