Compiler un module avec ocamlc ocaml -c

Cours compilation, tutoriel & guide de travaux pratiques en pdf.

Compiler un module avec ocamlc ocaml -c

Pour creer un module Toto :
Fichier d’implementation toto.ml Fichier d’interface toto.mli ocamlc -c toto.mli =⇒ toto.cmi ocamlc -c toto.ml =⇒ toto.cmo Le fichier d’implementation toto.ml contient une suite de d´efinitions.
Le fichier d’interface contient le nom et le type des composants du fichier d’impl´ementation que l’on souhaite rendre public.
Compiler un module avec ocamlc Exemple de module pour g´erer un ensemble : Fichier ensemble.ml
type α t = Vide | Noeud of α * α t * α t let ensembleVide = Vide let rec ajoute v t = … let rec cherche min t = … let rec enleve v t = … let rec elem v t = …
Fichier ensemble.mli
type α t val ensembleVide : α t val ajoute : α → α t → α t val enleve : α → α t → α t val elem : α → α t → bool
Compiler un module avec ocamlc Exemple de module pour g´erer un ensemble : Fichier ensemble.ml
type α t = Vide | Noeud of α * α t * α t let ensembleVide = Vide let rec ajoute v t = … let rec cherche min t = … let rec enleve v t = … let rec elem v t = …
Fichier ensemble.mli
type α t val ensembleVide : α t val ajoute : α → α t → α t val enleve : α → α t → α t val elem : α → α t → bool