🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: pl.comp.lang.funkcyjne
Article #158

Re: OCAML: wyciąganie sygnatury modułu

#158
From: Tomasz Zielonka
Date: Mon, 06 Jan 2003 16:07
30 lines
1946 bytes
Jacek Konieczny napisał:
> Witam,
> 
> Piszę program składający się z kilku modułów. Na razie nie tworzyłem
> plików *.mli, bo łatwiej mi się pracuje gdy mam jeden plik na moduł do
> pilnowania. Jednak teraz chciałbym oddzielić interfejs od implementacji,
> a że jestem raczej leniwy, to się zastanawiam, czy można to jakoś
> zautomatyzować. ocamlbrowser pokazuje sygnaturę skompilowanego modułu,
> ale to jest GUI, ja wolałbym coś z command-line. Jest coś takiego?

Opcja -i kompilatora.

> Druga sprawa: jeżeli w module mam zdefiniowany typ, to jego deklaracja
> musi się znaleźć zarówno w *.ml jak i *.mli? Wydaje mi się to
> niepotrzebne, ale mam wrażenie że tak być musi :-(

Nie musi, jeśli ten typ nie jest eksportowany, tzn. nie jest widoczny w
interfejsie. 

Są też typy abstrakcyjne, których reprezentacji nie podaje się w
interfejsie - może tak spróbuj.

> Pozdrowienia,
>         Jacek

pozdrawiam,
tomek

-- 
.signature: Too many levels of symbolic links
Technical Details
Message-ID: <slrnb1jaeh.omf.t.zielonka@zodiac.mimuw.edu.pl>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!lublin.pl!uw.edu.pl!mimuw.edu.pl!news.mimuw.edu.pl!not-for-mail
References: <slrnb1iqt4.thr.jajcus@serwus.bnet.pl>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!lublin.pl!uw.edu.pl!mimuw.edu.pl!news.mimuw.edu.pl!not-for-mail
From: Tomasz Zielonka <t.zielonka@students.mimuw.edu.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: OCAML: wyciąganie sygnatury
 modułu
Date: Mon, 6 Jan 2003 16:07:49 +0000 (UTC)
Organization: MIMUW
Lines: 30
Message-ID: <slrnb1jaeh.omf.t.zielonka@zodiac.mimuw.edu.pl>
References: <slrnb1iqt4.thr.jajcus@serwus.bnet.pl>
Reply-To: t.zielonka@students.mimuw.edu.pl
NNTP-Posting-Host: zodiac.mimuw.edu.pl
Mime-Version: 1.0
X-Trace: kenny.mimuw.edu.pl 1041869269 29641 10.1.1.1 (6 Jan 2003 16:07:49 GMT)
X-Complaints-To: abuse@news.mimuw.edu.pl
NNTP-Posting-Date: Mon, 6 Jan 2003 16:07:49 +0000 (UTC)
User-Agent: slrn/0.9.7.3 (Linux)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit