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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 1C41E7ED34 for ; Tue, 10 Jul 2012 11:30:25 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of danbensen@att.net) identity=pra; client-ip=98.139.44.178; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="danbensen@att.net"; x-sender="danbensen@att.net"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of danbensen@att.net) identity=mailfrom; client-ip=98.139.44.178; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="danbensen@att.net"; x-sender="danbensen@att.net"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm22-vm0.access.bullet.mail.sp2.yahoo.com) identity=helo; client-ip=98.139.44.178; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="danbensen@att.net"; x-sender="postmaster@nm22-vm0.access.bullet.mail.sp2.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak8CAC71+09iiyyyhmdsb2JhbABFgkq1VAEBAQoJCwcWJ4IXUAEBAQE2ARwBiS8BAwyoUoQuAQUBhToCSAWJTwEGjkaDHIhMhEaILoELhEQthQSHfQ X-IronPort-AV: E=Sophos;i="4.77,559,1336341600"; d="scan'208,217";a="150163967" Received: from nm22-vm0.access.bullet.mail.sp2.yahoo.com ([98.139.44.178]) by mail4-smtp-sop.national.inria.fr with SMTP; 10 Jul 2012 11:30:23 +0200 Received: from [98.139.44.99] by nm22.access.bullet.mail.sp2.yahoo.com with NNFMP; 10 Jul 2012 09:30:22 -0000 Received: from [98.139.44.89] by tm4.access.bullet.mail.sp2.yahoo.com with NNFMP; 10 Jul 2012 09:30:22 -0000 Received: from [127.0.0.1] by omp1026.access.mail.sp2.yahoo.com with NNFMP; 10 Jul 2012 09:30:22 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 628755.84001.bm@omp1026.access.mail.sp2.yahoo.com Received: (qmail 79637 invoked by uid 60001); 10 Jul 2012 09:30:22 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1341912622; bh=149P+7C/DcriseeJv4F8c+cpTVNbOAd8zQvwu0mSS5s=; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Subject:To:MIME-Version:Content-Type; b=m4NCTIV85QO7pyzJpwjCPLna1A8gCnOf2y2AF1ouI9lbGjBBDmSyR49GfMf9OhecnJcDu3AwrafklW6NS0N7Gj/135WdwkFPMla1lyrGPUsmzO8RPviAhStjnwAvgfMWWzG+sdmhQp5/cLff8s6tJjiCHCHwA2CyzELZwSU13rc= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=att.net; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Subject:To:MIME-Version:Content-Type; b=KHMuYN2uJWNhkQc/AdspAY7l3iqjNdFMz82D54ONQWt5QsWuWaf3QhBHnkTFyHHp0+N2z0e+swFriZuqnv/uLUMnUVz6pKnhp3gYwR31TQto6WdYj+Dvhq6PDQ3TBfPbLtrr8ldRG/OY+bYyz9yol2onYAMrQ5ACTXPoHWQQjhQ=; X-YMail-OSG: BNR91UYVM1l3DPsG4hBq0ySj.WVjjm9JAXgRxN5Vcuvr6NV oZjKtDvtW.klwIsW6bCmXB8HA5FSf_wT6G8mVCVyWj8M5UDCV.LIVJa7lT9t _8_ASpm9dhnXwmRp5GQkZU5HTTPaJu9IaFs.ePLvnMBXZKTrNsgPxtCcmnF. UdQC5OT.S9Ly2aAQP8UfH0bDMxGSK49.h03ktdVMEPye8UXLW9S5jeWEpu8M O5ian8F7yxwonoZscVLjvA1p9rD2GODzfRpyoKwtjso3PwNG.7Lj230QcWMl gE_.68V2zGbPFQXMzPjXD5wxOYqKNeLRZ.p3Gp6SKj_K62QgOlimq2EHqeBI F3KsDUAQq3TYzbRrctSjMHY4xdcxWARAe3ueSWpdy1ctI.NRKy0lvdQkBD6R JY2rAxJV99O4ighXYlQE.3rkMD7uEdd1tNCpULzi1YLa2M6cOxK1Q1SiNuMY 3ZR4tplfeBYABRGHh9yU- Received: from [70.225.177.206] by web180013.mail.gq1.yahoo.com via HTTP; Tue, 10 Jul 2012 02:30:21 PDT X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.120.356233 Message-ID: <1341912621.75991.YahooMailRC@web180013.mail.gq1.yahoo.com> Date: Tue, 10 Jul 2012 02:30:21 -0700 (PDT) From: Dan Bensen To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="886057505-404543181-1341912621=:75991" Subject: [Caml-list] trying to localize a functor/signature mismatch --886057505-404543181-1341912621=:75991 Content-Type: text/plain; charset=us-ascii The compiler says an entire functor (all the contents of Make) is "not included" in a named signature (PST). How can I localize the problem to some specific part(s) of the module? Here's the code: http://pastebin.com/mWgxMVNm And the compiler error message: http://pastebin.com/B0mAZhqw --886057505-404543181-1341912621=:75991 Content-Type: text/html; charset=us-ascii
The compiler says an entire functor (all the contents of Make)
is "not included" in a named signature (PST).  How can I
localize the problem to some specific part(s) of the module?

Here's the code: http://pastebin.com/mWgxMVNm

And the compiler error message: http://pastebin.com/B0mAZhqw

--886057505-404543181-1341912621=:75991--