1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
Szablon do listy 5 z Programowania funkcyjnego w grupach mabi, mbu, ppo i efes.
Zarówno plik README, jak i źródła wykorzystują kodowanie znaków UTF-8.
Jeśli nie wyświetlają się one dobrze na Twoim komputerze, zadbaj o to,
by Twój edytor używał kodowania znaków UTF-8. Jeśli Twój edytor tego
nie potrafi, zmień edytor.
Pliki logic.mli, logic.ml, proof.mli, proof.ml definiują bibliotekę,
którą łatwo skompilować poleceniem
$ make
Pliki logic.mli i logic.ml to szablon listy 4, więc należy je zastąpić
rozwiązaniami tej listy.
Żeby moduły definiowane przez tą bibliotekę były widoczne w interpreterze,
należy przekazać plik logic.cma jako parametr do interpretera:
$ utop logic.cma
Jeśli masz problemy ze skompilowaniem biblioteki, możesz zawsze skompilować ją
ręcznie, choć nie jest to najwygodniejsza metoda:
$ ocamlc -c logic.mli
$ ocamlc -c logic.ml
$ ocamlc -c proof.mli
$ ocamlc -c proof.ml
$ ocamlc -a -o logic.cma logic.cmo proof.cmo
Pamiętaj, że po każdej zmianie należy przekompilować bibliotekę.
|
