Module `Foo' does not export `bar' (via hi-boot)

[Keith Wansbrough]

I recently added an export to DataCon, and recompiled.  I got the 
following:

astrocyte:compiler$ make
/usr/groups/haskell/ix86_linux/bin/ghc -cpp -fglasgow-exts -Rghc-timing 
-I. -IcodeGen -InativeGen -Iparser -iutils:basicTypes:types:hsSyn:prelud
e:rename:typecheck:deSugar:coreSyn:specialise:simplCore:stranal:stgSyn:s
implStg:codeGen:absCSyn:main:profiling:parser:usageSP:cprAnalysis:javaGe
n:ghci:nativeGen  -recomp -O -DDEBUG -Onot -DDO_USAGES    -c 
types/TyCon.lhs -o types/TyCon.o -osuf o

types/TyCon.lhs:56:
    Module `DataCon' does not export `dataConTyConUVars'

Compilation had errors

make: *** [types/TyCon.o] Error 1
astrocyte:compiler$ 

What this message *doesn't* say is that the export is missing not from 
DataCon.lhs, but from DataCon.hi-boot{-5,}.

Pretty please... could this error message say something like "(via 
hi-boot file") in this situation?

Thanks.

--KW 8-)
-- 
Keith Wansbrough <kw217 at cl.cam.ac.uk>
http://www.cl.cam.ac.uk/users/kw217/
Cambridge University Computer Laboratory.