🚀 go-pugleaf

In article <slrnb1jaeh.omf.t.zielonka@zodiac.mimuw.edu.pl>, Tomasz
Zielonka wrote:
> Jacek Konieczny napisał:
>> zautomatyzować. ocamlbrowser pokazuje sygnaturę skompilowanego modułu,
>> ale to jest GUI, ja wolałbym coś z command-line. Jest coś takiego?
> 
> Opcja -i kompilatora.

Dzięki.
Wiele razy szukałem tego, także w manualu do ocalmc, ale nie mogłem tego
znaleźć. Teraz widzę, że tam jest jak byk opcja "-i"....

>> 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.

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.

Pozdrowienia,
        Jacek