RE: [Haskell-cafe] Mutual recursive modules with GHC: Classes, instances

I'm afraid so, as of today. It's the kind of thing that could get fixed if enough people wanted it, but at the moment it's pretty low on the list. Simon | -----Original Message----- | From: haskell-cafe-bounces@haskell.org [mailto:haskell-cafe-bounces@haskell.org] On Behalf Of | Henning Thielemann | Sent: 04 May 2005 10:31 | To: Simon Peyton-Jones | Cc: Haskell Cafe | Subject: RE: [Haskell-cafe] Mutual recursive modules with GHC: Classes,instances | | | On Wed, 4 May 2005, Simon Peyton-Jones wrote: | | > hi-boot files can't contain class declarations. This should be checked, | > but isn't, hence puzzling message. | > | > GHC 6.4 has a better setup. Actually, it still doesn't check for | > absence of class decls, but it will shortly. | | This means it is impossible to declare mutually dependent classes where | each class resides in a separate module? | _______________________________________________ | Haskell-Cafe mailing list | Haskell-Cafe@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe

On Wed, 4 May 2005, Simon Peyton-Jones wrote:
I'm afraid so, as of today. It's the kind of thing that could get fixed if enough people wanted it, but at the moment it's pretty low on the list.
Mutual dependent classes in separate modules are a consequence of rigorously defining exactly one class or one principal type per module. In my opinion this is a very clean approach, but many library writers seems to dislike it. Maybe they dislike it because they risk mutual dependent modules ...
participants (2)
-
Henning Thielemann
-
Simon Peyton-Jones