From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2P8Yc07001890
	for <caml-list@sympa-roc.inria.fr>; Fri, 25 Mar 2011 09:34:38 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgQDALhSjE1KfVK2kGdsb2JhbAClSAgUAQECCQkNBxQEIakYilSCIYU0L4hcAQEDBYVkBIx1g1RzhEI6
X-IronPort-AV: E=Sophos;i="4.63,242,1299452400"; 
   d="scan'208";a="91091526"
Received: from mail-wy0-f182.google.com ([74.125.82.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Mar 2011 09:34:33 +0100
Received: by wyf23 with SMTP id 23so1300876wyf.27
        for <caml-list@inria.fr>; Fri, 25 Mar 2011 01:34:32 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:from:content-type:content-transfer-encoding
         :subject:date:message-id:to:mime-version:x-mailer;
        bh=D/nDZ3mK/PBqBySX8VbB+sfY+GSBerHOqOwWD15gm0E=;
        b=dN7oxXCD73RRZJDJVNrhMTyamKlU9H264WNRibPs6Enf4TeytnlF/3c/kP1bDFqXyu
         kv8vMFeUk+9SULAXMjrn3V9A5/sySKfOX4FQzBShgLnqiTyKbWq4gTuuOBWGMMGCiMyO
         p4gAzaO3WsvRcdo37QpWmfqmsGFKsrJvU2qKM=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=from:content-type:content-transfer-encoding:subject:date:message-id
         :to:mime-version:x-mailer;
        b=mhD3Ewvg4DRNMvFjUPQoS8lJxoCkgi8qyEWH4Zw43AvjtcRk6PurOw6hmkEOP0pilH
         97X0BBWD7am8yfrqXb0ils/J93Q8dXlenl6PXkduSDDCVkrIIMRyYTTuuc17S+pNB7eF
         2tiYPbMVVGGWfL83m4aGqPTFKlZORHH6p9Fak=
Received: by 10.216.173.12 with SMTP id u12mr1793138wel.18.1301042071801;
        Fri, 25 Mar 2011 01:34:31 -0700 (PDT)
Received: from [192.168.0.195] ([95.60.213.7])
        by mx.google.com with ESMTPS id u9sm354383wbg.17.2011.03.25.01.34.29
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 25 Mar 2011 01:34:30 -0700 (PDT)
From: Joel Reymont <joelr1@gmail.com>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Date: Fri, 25 Mar 2011 08:34:28 +0000
Message-Id: <89643D7F-B0F9-4452-BBAF-0445D9D3CA4E@gmail.com>
To: caml-list <caml-list@inria.fr>
Mime-Version: 1.0 (Apple Message framework v1082)
X-Mailer: Apple Mail (2.1082)
Subject: [Caml-list] module typing issue

ocamlc x.ml 
File "x.ml", line 30, characters 16-28:
Error: Unbound value Rep.dispatch

Is there a way to make this work?

	Thanks, Joel

--- x.ml
module type Message = 
sig 
  type obj 
  type variant
  val make : unit -> obj
  (* encapsulate object in a variant type *)
  val convert : obj -> variant
  val print : obj -> unit
end

module type Request = 
sig 
  include Message
end

(* dispatches based on a request *)

module type Reply = functor (Req : Request) ->
sig 
  include Message
  val dispatch : Req.variant -> obj
end

module Server (Req : Request) (Rep : Reply) =
struct 
  let server = 
    while true do
      let req = Req.make () in
      let var = Req.convert req in
      let rep = Rep.dispatch var in
      Req.dump req;
      Rep.dump rep
    done
end

--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------