Hi... if I write a .hi-boot(-5) file that imports from another module
(in this case to re-export), GHC looks for that module's .hi file. I
would prefer it to look for a .hi-boot file.
__interface TypeFr 1 0 where
__export TypeFr Type Kind SuperKind ;
1 data Type ;
1 type Kind = Type ;
1 type SuperKind = Type ;
and
__interface Type 1 0 where
__export TypeFr Type Kind SuperKind ;
Here TypeFr is the friends' interface, which contains the
representation details, and Type publishes only the abstract data type.
I would like importers to be able to write
import {-# SOURCE #-} Type( Type )
(if they are not friends), but at present they must write
import {-# SOURCE #-} TypeFr( Type )
Thanks.
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) ------------------------:
: PhD Student, Computer Laboratory, University of Cambridge, England. :
: (and recently of the University of Glasgow, Scotland. [><] ) :
: Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S. :
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:---------------------------------------------------------------------:
