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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3292C7EF5E for ; Sun, 24 Jul 2016 18:48:46 +0200 (CEST) IronPort-PHdr: 9a23:A2mfOh3LkafcY8cLsmDT+DRfVm0co7zxezQtwd8ZsegVKPad9pjvdHbS+e9qxAeQG96Ks7Qa06GH4ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNCKxJXmn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4r9Zf9HFbsvclsspBSrnSfqIiTLUeAi51HXoy4ZjOvB3ISg+Krl4VTmwSkRMAVw3A5Q3zWpT4miT/v+t5niKdOJulHvgPRT2+4vIzG1fTgyAdOmth/Q== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mmatalka@gmail.com; spf=Pass smtp.mailfrom=mmatalka@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f50.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mmatalka@gmail.com designates 74.125.82.50 as permitted sender) identity=mailfrom; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f50.google.com) identity=helo; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-wm0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BECgDb8JRXhjJSfUpdhBV8jUMIn1iNOxuHJT0PAQEBAQEBAQERAQEBCAsLCRkvgjIVgi4VGQEbHgMSEBY0AQQPEQEFAVeHcwEDFwSVQIIHgTI+MY0lgloFhA8KGScNVINMAgYQhhqJWYUPBZkmhhaIWIFWAYduhXZIjhowgQ82gjqBV26IAwEBAQ X-IPAS-Result: A0BECgDb8JRXhjJSfUpdhBV8jUMIn1iNOxuHJT0PAQEBAQEBAQERAQEBCAsLCRkvgjIVgi4VGQEbHgMSEBY0AQQPEQEFAVeHcwEDFwSVQIIHgTI+MY0lgloFhA8KGScNVINMAgYQhhqJWYUPBZkmhhaIWIFWAYduhXZIjhowgQ82gjqBV26IAwEBAQ X-IronPort-AV: E=Sophos;i="5.28,414,1464645600"; d="scan'208";a="185792374" Received: from mail-wm0-f50.google.com ([74.125.82.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Jul 2016 18:48:43 +0200 Received: by mail-wm0-f50.google.com with SMTP id f65so109663366wmi.0 for ; Sun, 24 Jul 2016 09:48:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:message-id:user-agent:mime-version; bh=7s4IgaafYIMs7QoKVoRzIwlo7GpfFFomgc5twZS2foA=; b=RhjMjHXg7Yx+zuJES+0A/zSsK/PnHePxL0jc9aTwERrlTWdGgpF0KdCiP+fMIXDg7u Lddi+mzS+6CZufWvgOdDQeW+PLKzUINU3SZIdEaeLOhlkXKoiLEOoD4+GEpf7qBnHFQL 18AmW3YZvC/r7zFmA+so+oA2yaYuZUyZF7k41Q6MyWwWeJg7lIm+FR31R6qpB+JLzL/H wlDgZHvh6vhXIqzDIXTXw2ZG2wZNhs8h5b55wPgFvQmi8go4o5sPIb9bPlA4LvDGzp7W 6W4aA/2LUw0+WFfB+pfWBPCrUbA2y9zdqe7p8zHLypS04BY4Ji1WzwBF2u9IM8hxQYNv hECA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:subject:date:message-id:user-agent :mime-version; bh=7s4IgaafYIMs7QoKVoRzIwlo7GpfFFomgc5twZS2foA=; b=O4j7Hezl9fAcYxgE0o18TaPOc0wyFfbH8OFRSojeCHgPDPfCo7yocP/pHtwqMl3VG5 QRNIDxohOAd65qZDvWSVmfGCN+VM9D8b/1Jz4E2h+GuFWvI6PTxLWUnttYyWaV20nkMH QzWj5dL+BvyOxeYQchNgCvrGQRfq5rY5YkXX3T39/4Mwgs2JQVSMbMHEYw7J/o4ktCff 1sSwtlmvneY0P/MxMZnwtkL3HcFlZcrhe7BcTa5cvb6Ghk0r4BmxpvxUS9nw34LLeWbQ 5j6DyULuWz4juShE7j7LgSwfhOVFFof5svmWY24Ubqc3QUFvzONJVofqpS+rpWp0Ji2/ fw3g== X-Gm-Message-State: ALyK8tKqGX1wytpC4Pyqnm1jlGummfkZTxBoIUNLoYgNXgOxMwWwjjWvM0bQ+ngW4ZF2TA== X-Received: by 10.28.61.215 with SMTP id k206mr36978854wma.80.1469378922732; Sun, 24 Jul 2016 09:48:42 -0700 (PDT) Received: from localhost ([37.153.108.22]) by smtp.gmail.com with ESMTPSA id 207sm23023715wmb.7.2016.07.24.09.48.41 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 24 Jul 2016 09:48:41 -0700 (PDT) From: Malcolm Matalka To: caml-list@inria.fr Date: Sun, 24 Jul 2016 16:48:40 +0000 Message-ID: <86a8h77ziv.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] 'b t doesn't equal '_b t? I have the following error and I don't understand what the compiler is trying to tell me. Any hints? Error: The implementation abb_fut.ml does not match the interface abb_fut.cmi: Values do not match: val bind : 'a t -> ('a -> '_b t) -> '_b t is not included in val bind : 'a t -> ('a -> 'b t) -> 'b t File "abb_fut.ml", line 118, characters 4-8: Actual declaration