|
|
exception Vide = Pile.Vide
'' n'était pas possible. Le seul moyen de
contourner le problème est alors d'exporter une fonction permettant
d'attraper une exception (un handler):
let attrape_vide f x f' x' = try f x with Vide -> f' x';; |
pile.ml
avec l'interface suivante:
val attrape_vide : ('a -> 'b) -> 'a -> ('c -> 'b) -> 'c -> 'b |
attrape_vide
dans cpile.ml
.