Le mode Caml vous permet aussi de compiler depuis Emacs (using M-x compile) et de parcourir les erreurs (C-x `). En tappant C-x ` on se retrouve au début du morceau de programme qui a produit l'erreur, et la marque est posée à la fin de ce morceau. Sous Emacs 19, le fragment de programme en cause est temporairement mis en lumière.
M-x run-caml démarre une session Caml interactive dont les entrées et sorties se produise dans un buffer Emacs appelé *inferior-caml*. Cela vous donne la pleine puissance d'Emacs pour éditer les phrases que vous proposez à Caml.
Cette contribution est disponible dans la distribution standard de Caml Light, dans le répertoire contrib.
Cette contribution est disponible dans la distribution standard de Caml Light, dans le répertoire contrib.
Cette contribution est disponible dans la distribution standard de Caml Light, dans le répertoire contrib.
Cette bibliothèque dérive de l'implémentation de l'arithmétique rationnelle exacte de Caml V3.1 de Valérie Menissier-Morain. Xavier Leroy (INRIA) a fait le portage en Caml Light.
Cette bibliothèque est documentée dans "The CAML Numbers Reference Manual" par Valérie Menissie-Morain, rapport technique 141, INRIA, juillet 1992, disponible par ftp
Cette contribution est disponible dans la distribution standard de Caml Light, dans le répertoire contrib.
Cette bibliothèque a été écrite par Xavier Leroy (Xavier.Leroy@inria.fr).
Cette bibliothèque est documentée dans "Programmation du systeme Unix en Caml Light" par Xavier Leroy, rapport technique 147, INRIA, 1992, disponible par ftp. Les exemples du répertoire Examples/ viennent de ce rapport.
Cette contribution est disponible dans la distribution standard de Caml Light, dans le répertoire contrib.
Écrit par François Rouaix (Francois.Rouaix@inria.fr).
Cette contribution est disponible dans la distribution standard de Caml Light, dans le répertoire contrib.
La correspondance de type est faite modulo isomorphismes de types, de telle sorte que si vous cherchez le type "int * string -> int", vous trouverez aussi les valeurs de type "int -> string -> int" et "string -> int -> int", ce qui est le résultat désiré.
Écrit par Roberto Di Cosmo (dicosmo@dmi.ens.fr).
Cette contribution est disponible dans la distribution standard de Caml Light, dans le répertoire contrib.
Écrit par François Pessaux et François Rouaix.
Cette contribution est disponible dans la distribution standard de Caml Light, dans le répertoire bazar-cl.
La documentation est disponible, en format dvi ici, et aussi en ligne.
Caml -
Cristal -
Publications -
Pages personnelles -
Contacter l'administrateur
Dernière modification: 2003/05/09