>  You can create a module Types, where you define all the Pervasives
>  types, like this:
>  
>  type char = char
>  type int = int
>  and so on...
>  
>  Then, you can use Types.char instead of char, no ?

Sorry, you should probably do something like:

type my_char = char
type char = my_char

and so on... since type definitions are recusive.

- Fabrice

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr