From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA04863; Fri, 8 Feb 2002 22:05:24 +0100 (MET)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA05485 for <caml-list@pauillac.inria.fr>; Fri, 8 Feb 2002 22:05:23 +0100 (MET)
Received: from smtp010.mail.yahoo.com (smtp010.mail.yahoo.com [216.136.173.30])
	by concorde.inria.fr (8.11.1/8.11.1) with SMTP id g18L5Mr16179
	for <caml-list@inria.fr>; Fri, 8 Feb 2002 22:05:22 +0100 (MET)
Received: from adsl-63-195-80-23.dsl.snfc21.pacbell.net (HELO aria.yahoo.com) (63.195.80.23)
  by smtp.mail.vip.sc5.yahoo.com with SMTP; 8 Feb 2002 21:05:21 -0000
Message-Id: <5.1.0.14.0.20020208125014.02a31630@192.168.0.1>
X-Sender: joelisp@pop.mail.yahoo.com
X-Mailer: QUALCOMM Windows Eudora Version 5.1
Date: Fri, 08 Feb 2002 13:08:44 -0800
To: caml-list@inria.fr
From: Charles Martin <joelisp@yahoo.com>
Subject: [Caml-list] exposing module types
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

I obviously have the wrong model of what's going on here:

	% cat foolib.ml
	module Foo = struct
	  module type INTF = sig
	    type 'a fruit = Apple of 'a
	  end
	  module Impl : INTF = struct
	    type 'a fruit = Apple of 'a
	  end
	  type 'a fruit = 'a Impl.fruit
	end
	include Foo
	% ocamlc -a -o foolib.cma foolib.ml

Now, when I try to use foolib in the following way:

	open Foolib

	let apple = Apple 3
	let apple = Foo.Apple 3
	let apple = Foo.Impl.Apple 3

The only one that works is "Foo.Impl.Apple" - the others receive "Unbound constructor" messages.  I hope my intention is clear; in foolib I meant to expose the constructors at the higher levels.  What am I doing wrong?

Thanks,

Charles


_________________________________________________________
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr