From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kakadu.hafanana@gmail.com>
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 1B7FA7FF37
	for <caml-list@sympa.inria.fr>; Wed,  3 Aug 2016 01:17:40 +0200 (CEST)
IronPort-PHdr: 9a23:JtgylRMFVN55hlWK6dol6mtUPXoX/o7sNwtQ0KIMzox0KPr/rarrMEGX3/hxlliBBdydsKMczbWH+Pq7EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU0JX8jbv60qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9ZLuh5dsPM59sNGTb6yP+FhFeQZX3waNDUe7cjv/T3CVhfHsnAVV2FTlhtTHyDE6gv7V9H/qH2pmPB63Xy5NM7/Qa18DTer7K5nVVnogSkOMTc/+UnYj8VxiORQpxf39E83+JLdfIzAbKk2RajaZ95PADMZBss=
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-vk0-f43.google.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  kakadu.hafanana@gmail.com) identity=pra;
  client-ip=209.85.213.43;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="kakadu.hafanana@gmail.com";
  x-sender="kakadu.hafanana@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  kakadu.hafanana@gmail.com designates 209.85.213.43 as
  permitted sender) identity=mailfrom; client-ip=209.85.213.43;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="kakadu.hafanana@gmail.com";
  x-sender="kakadu.hafanana@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-vk0-f43.google.com) identity=helo;
  client-ip=209.85.213.43;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="kakadu.hafanana@gmail.com";
  x-sender="postmaster@mail-vk0-f43.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0CDAQCLKaFXhivVVdFdhRcHrWOLRIF9h1cHOhIBAQEBAQEBAREBAQEICwsJGS+CMgQBEwGCLBEEGQEbHgMSEA8CJgIkAREBBQEiNYd0AQMXn26CB4EyPjGLO4FqgloFhkAKGScNVIMiAgYQcZE3gloBBI8HiiyBNnSMVYFVgWCMCo5oEh6BDyQBgXABCwFVIoE4OTKIMQEBAQ
X-IPAS-Result: A0CDAQCLKaFXhivVVdFdhRcHrWOLRIF9h1cHOhIBAQEBAQEBAREBAQEICwsJGS+CMgQBEwGCLBEEGQEbHgMSEA8CJgIkAREBBQEiNYd0AQMXn26CB4EyPjGLO4FqgloFhkAKGScNVIMiAgYQcZE3gloBBI8HiiyBNnSMVYFVgWCMCo5oEh6BDyQBgXABCwFVIoE4OTKIMQEBAQ
X-IronPort-AV: E=Sophos;i="5.28,463,1464645600"; 
   d="scan'208";a="186714412"
Received: from mail-vk0-f43.google.com ([209.85.213.43])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Aug 2016 01:17:39 +0200
Received: by mail-vk0-f43.google.com with SMTP id n129so133480933vke.3
        for <caml-list@inria.fr>; Tue, 02 Aug 2016 16:17:39 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to;
        bh=eI6g9klFcs1r/CItb6wJHagfj1bfW2AI9N5oJwWFt5s=;
        b=GZ157s9jyXNUn0DxYNzNW9+pbbpZJlkEqh0GPaHJec7nw3E7IgYNWgFqtW/gWuc2iY
         /7HJTC1rCor0B2CDkC1u/Nw7rse1U+MmzerOVp6FKRIqHD8vDV1WmYgHiIQdhaFAV7vU
         ziU5sH2uzggkcfF9/EVUg3Gg1mAVfihVORJvzynVSQNrFOf5tNQU4CEaLzKxme/vT730
         d8nHgQvmFEpL7HKpiQB06l2AF+gbU+w5pc0iiFAPCiKbpoQPRyz5K/8/7RJtHkc6lX0n
         C9IN1jZOOyezdN6aXgvowdTCT4+10tEl+SAi+LHzq2uW59J4fDhdDIp9vqI29lvzIWba
         vW6g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
        bh=eI6g9klFcs1r/CItb6wJHagfj1bfW2AI9N5oJwWFt5s=;
        b=FqID30PJUxA/jS3UjYvGcUJcw0UokfeYxkjr/5rTql21fQaX2y9gZjNM3Jksaj2O2+
         YqG0mI/kTtcUnbAFAvFgCG0p3uyetxCAHkTaJyeEjvQmDfLOBdkYmsQyk8i+cy1X+O6b
         mg9VzWEqhUnqHxVZgk3vorqS39USyWs8TUeb/a8w8PDNx/RORfL5DIYk1cEMQUSez6kt
         x4nOaqkRJMMykcGcrOeRH5domYvOEw/c2uXnmiizE8nAhusnMDwtBRMYJ6LJy3mNOvY8
         e8kDMO04LVQz3utztZsC4QZdDtYLc+H3ajLEi/DHyflPYYYMPiJbx8iGKEKx60npJ51X
         Mosw==
X-Gm-Message-State: AEkoouv2CHmc4MR3K6KdZywu9k/x0b8i1nnJV44M/vdvbU+ziMVAuC9pqNtW5gyrcmn9mHvhYaUrsWayYq6yJQ==
X-Received: by 10.31.151.196 with SMTP id z187mr23632422vkd.138.1470179857817;
 Tue, 02 Aug 2016 16:17:37 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.103.109.135 with HTTP; Tue, 2 Aug 2016 16:17:17 -0700 (PDT)
From: Kakadu <kakadu.hafanana@gmail.com>
Date: Wed, 3 Aug 2016 02:17:17 +0300
Message-ID: <CAGmVoG04Zz3ne_HRREsXtmHvEm6Wz_sk7TdTg1++VituHw+-Zg@mail.gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: [Caml-list] Implicit question about searching for implicit module
 definition in the functor argument.

Hey, hackers.

I'm missing something obvious. Any fresh eyes around?

module type SHOW = sig
    type t
    val show : t -> string
end

let show {S : SHOW} x = S.show x;;

implicit module Show_int : (SHOW with type t = int) = struct
    type t = int
    let show = string_of_int
end

module type CORE = sig
  type 'a logic

  implicit module Show_logic(X: SHOW) : (SHOW with type t = X.t logic)
end

module Make(MK: CORE) = struct
  open MK
  open implicit MK (* doesn't help *)

  let foo (x: int logic) =
    let s = show x in (* Error: No instance found for implicit S. *)
    s
end


Kind regards,
Kakadu