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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 55CCF7ED34 for ; Tue, 10 Jul 2012 13:20:47 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of danbensen@att.net) identity=pra; client-ip=98.139.44.176; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="danbensen@att.net"; x-sender="danbensen@att.net"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of danbensen@att.net) identity=mailfrom; client-ip=98.139.44.176; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="danbensen@att.net"; x-sender="danbensen@att.net"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm21-vm0.access.bullet.mail.sp2.yahoo.com) identity=helo; client-ip=98.139.44.176; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="danbensen@att.net"; x-sender="postmaster@nm21-vm0.access.bullet.mail.sp2.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlACAHsP/E9iiyywhmdsb2JhbABFgkq1VgEBAQoJCwcWJ4IXCQEBBAEnGQEBAQE1AQEDCwsDAUJXBogQAQMGBqhphC4BBQGFOQJIBYlPAQaRYohMhEaILoVPLY0B X-IronPort-AV: E=Sophos;i="4.77,559,1336341600"; d="scan'208,217";a="166267554" Received: from nm21-vm0.access.bullet.mail.sp2.yahoo.com ([98.139.44.176]) by mail1-smtp-roc.national.inria.fr with SMTP; 10 Jul 2012 13:20:45 +0200 Received: from [98.139.44.107] by nm21.access.bullet.mail.sp2.yahoo.com with NNFMP; 10 Jul 2012 11:20:44 -0000 Received: from [98.139.44.75] by tm12.access.bullet.mail.sp2.yahoo.com with NNFMP; 10 Jul 2012 11:20:44 -0000 Received: from [127.0.0.1] by omp1012.access.mail.sp2.yahoo.com with NNFMP; 10 Jul 2012 11:20:44 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 830982.57999.bm@omp1012.access.mail.sp2.yahoo.com Received: (qmail 78321 invoked by uid 60001); 10 Jul 2012 11:20:44 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1341919244; bh=YKc0xcX9mB11AKvhByYKlgvu1PKwOl9IDW3JH4kesdM=; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type; b=TIJpvtrnRHPEm9/ubWc0Z7DGKBaUAwtcLt4c6mZnurgGYW5spa4vnSzyzVaz9H3RJPNKhdS2BX5lLtfPdetjttAYkA4vkH3+/WGzM6Gwrq1nYE+ZKQBmwpMM8j2u2TaqwaXgDUHnTlpZNM2spEkNZTWQyOGQgPnBJEW4QSJp4Ug= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=att.net; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type; b=lESnQYbjM2LFkbWwLz26MzeQquLg5MUruJTcf9T0RYr6aF1P1FYbSpJR7b1bZFGUsNXQjfCOoxWiaLG1gdoUKX1UiT4xO9h9hJGrfxzDukNMmBle5I1SEEhxP0JzGi1grxVyfNl+V5yIzgwDDJ5n3GQu8hNk7oAo2bTquwahZeE=; X-YMail-OSG: sYtdSboVM1lEVakdnkdEPDiP1sn17HhuMtbjmFX3hjJhj1m WUD01pzV6f.b07VY6i2TnIjKuVl_HVz7BeBmRFQLJSzOeJv1huaYwntCKNVK .YWAHOoeO1yiYDfB5iWBYa3fwaG0rqZlXIZyaCEJH0Bwx02u5nTIy13_DrT1 FprRIJYppLXeRU_pOcWLJcPjQ3PM_WZAOaZ8PzbxqQwh1mHizNT8ZgkwOP1G 9vxlHHq51adkcuXz9iqhXtwdrIOnX.jkANcarzeZq1w0gHT3DYGVBtQYf_V8 iYbZ6eNS2Po8k8i0NQ4X5SeH6LjpH7p2fGcn8JMK4QIflspOClZaK6uwr1ny CnZ0pRuTqbkfYDdI790RxDebmtH0_EXlvVbU6EkeOcwFgjsIrSGZzWgNXUZ_ Z.fDNjMYn4PEZoGjF9NrZjdGucxR1RQXbacfLQ9k4.5n1FA-- Received: from [70.225.177.206] by web180010.mail.gq1.yahoo.com via HTTP; Tue, 10 Jul 2012 04:20:44 PDT X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.120.356233 References: <1341912621.75991.YahooMailRC@web180013.mail.gq1.yahoo.com> Message-ID: <1341919244.76851.YahooMailRC@web180010.mail.gq1.yahoo.com> Date: Tue, 10 Jul 2012 04:20:44 -0700 (PDT) From: Dan Bensen To: Jeremy Yallop Cc: caml-list@inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="-744900496-475839112-1341919244=:76851" Subject: Re: [Caml-list] trying to localize a functor/signature mismatch ---744900496-475839112-1341919244=:76851 Content-Type: text/plain; charset=us-ascii > This line: > module Make (Reader: READER.T): PST = struct > says that Make is a functor that takes a READER.T and > returns a PST. You want to say instead that Make is a > functor of type PST, so you should change it to > module Make : PST = functor (Reader: READER.T) -> struct Yep, that's it. Thanks a lot :) ---744900496-475839112-1341919244=:76851 Content-Type: text/html; charset=us-ascii
> This line:
>   module Make (Reader: READER.T): PST = struct
> says that Make is a functor that takes a READER.T and
> returns a PST. You want to say instead that Make is a
> functor of type PST, so you should change it to
>   module Make : PST = functor (Reader: READER.T) -> struct

Yep, that's it.  Thanks a lot :)

---744900496-475839112-1341919244=:76851--