Article View: pl.comp.lang.funkcyjne
Article #158Re: OCAML: wyciąganie sygnatury modułu
From: Tomasz Zielonka
Date: Mon, 06 Jan 2003 16:07
Date: Mon, 06 Jan 2003 16:07
30 lines
1946 bytes
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-mailReferences:
<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