Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Mixed class / type
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] Mixed class / type
From: Hendrik Tews <>

> The real solution would be to allow variant types and classes (or
> at least class types) to be mutually dependent. 
> Why is this forbidden in ocaml?

The first reason is technical: class types and type declarations are
handled in two different modules, and integrating them would not be

But there are also more theoretical problems.
Basically, recursion between class types is monomorphic (to allow
propagation of type constraints), while it is polymorphic between type
declarations. So the meaning of a combined declaration is yet to be


Jacques Garrigue
Bug reports:  FAQ:
To unsubscribe, mail  Archives: