Re: OCAML: wyciąganie sygnatury modułu

Article View: pl.comp.lang.funkcyjne

Article #160

Back to pl.comp.lang.funkcyjne Previous Next

#160

From: Lucifer
Date: Mon, 06 Jan 2003 19:36

18 lines
1727 bytes

Jacek Konieczny wrote:

> Ja chciałem w drugą stronę: mieć typ zdefiniowany tylko w interfejsie.
> Podobnie jak jest w innych językach: w (Turbo)Pascalu typ wystarczy
> zdefiniować w "interface" unitu, w C w pliku nagłówkowym włączanym przez
> bibliotekę, jak i programy z niej korzystające. No ale w ocamlu chyba
> jest inaczej.

Nie wiem na ile to legalne, ale w pliku foo.ml (do ktorego istnieje plik 
foo.mli lub jakis inny .mli) dopisz:

include Foo (* includujesz interface *)

Poza tym, kiedy includujesz "wlasny" interface cos niedobrego dzieje sie 
przy generowaniu zaleznosci (ocamldep) kiedy uzywasz OCamlMakefile.

-- 
Lucifer

Technical Details

Message-ID: <avclr8$3tu$1@news.tpi.pl>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!mimuw.edu.pl!news.mimuw.edu.pl!newsfeed.tpinternet.pl!news.tpi.pl!not-for-mail

References:

<slrnb1iqt4.thr.jajcus@serwus.bnet.pl> <slrnb1jaeh.omf.t.zielonka@zodiac.mimuw.edu.pl> <slrnb1jeeo.69g.jajcus@nic.bnet.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!mimuw.edu.pl!news.mimuw.edu.pl!newsfeed.tpinternet.pl!news.tpi.pl!not-for-mail
From: Lucifer <przemek@nospam.pa55.bytom.sdi.tpnet.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: OCAML: wyciąganie sygnatury  
 modułu
Date: Mon, 06 Jan 2003 20:36:15 +0100
Organization: tp.internet - http://www.tpi.pl/
Lines: 19
Message-ID: <avclr8$3tu$1@news.tpi.pl>
References: <slrnb1iqt4.thr.jajcus@serwus.bnet.pl> <slrnb1jaeh.omf.t.zielonka@zodiac.mimuw.edu.pl> <slrnb1jeeo.69g.jajcus@nic.bnet.pl>
NNTP-Posting-Host: tl206.internetdsl.tpnet.pl
Mime-Version: 1.0
X-Trace: news.tpi.pl 1041881769 4030 80.55.115.206 (6 Jan 2003 19:36:09 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Mon, 6 Jan 2003 19:36:09 +0000 (UTC)
In-Reply-To: <slrnb1jeeo.69g.jajcus@nic.bnet.pl>
X-Accept-Language: pl, en
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2.1) Gecko/20021226 Debian/1.2.1-9
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message