Date: Thu, 08 Sep 2005 21:02:14 +0900 (JST)
Message-Id: <20050908.210214.99209685.garrigue at math.nagoya-u.ac.jp>
To: romildo at uber.com.br
Cc: lablgtk at math.nagoya-u.ac.jp
Subject: Re: Understanding "include" in lablGtk2 implementation
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
In-Reply-To: <20050908103558.GA21679 at malaquias>
References: <20050908103558.GA21679 at malaquias>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

From: romildo at uber.com.br

> In gtkBroken.ml there is the module definition
> 
> module Text = struct
>   include Text
>   (* ... *)
> end
> 
> What is the phrase "include Text" used for here?
> What does it mean?

In an implementation, "include Text" means "include all definitions
from the module Text".
These definitions are in GtkBrokenProps, which is generated from
gtkBroken.props by ./propcc.
If you write your property wrappers by hand, you don't need to include
those. You may have a look at gtkBrokenProps.ml, as it is perfectly
readable. The "include" and "open" statements may be a bit confusing
at first.

Cheers,

Jacques