English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: gprint


The facility that prints results and types of expressions evaluated at the top-level is now available anywhere in the program -- in bytecode- or natively compiled programs. Generic printing is a (perhaps unintentional) `side-effect' of MetaOCaml -- of the fact that a code value is not merely AST; the code value also captures the type and the type environment of variables and other values. Generic printing is a library that works with the unmodified MetaOCaml (which is _fully_ compatible with the regular OCaml).
Homepage ]
Author:Oleg Kiselyov.
Last modification date:20-Apr-2006
Development status:Development code
Kind: Libraries :: Native OCaml libraries
Topic: Science :: Computing