[Haskell-cafe] Mutually recursive modules and google protocol-buffers

[Roberto Zunino]

Chris Kuklewicz wrote:
> There is no way to create a "A.hs-boot" file that has all of
>   (1) Allows A.hs-boot to be compiled without compiling B.hs first
>   (2) Allows B.hs (with a {-# SOURCE #-} pragma) to be compiled after 
> A.hs-boot
>   (3) Allows A.hs to compiled after A.hs-boot with a consistent interface

I thought the following A.hs-boot would suffice:

module A(A) where
data A

There's no need to provide the data constructors for type A. Does this 
violate any of the goals above?

Regards,
Zun.