patch applied (ghc): Allow class and instance decls in hs-boot files
Simon Peyton Jones
simonpj at microsoft.com
Wed Aug 16 05:01:49 EDT 2006
Tue Aug 15 05:34:02 PDT 2006 simonpj at microsoft.com
* Allow class and instance decls in hs-boot files
For some reason, in 6.5 the manual said you could put a class decl in
an interface file, but not an instance decl; whereas the implementation
was exactly the othe way round.
This patch makes it possible to put *both* class and instance decls
in an interface file.
I also did a bit of re-factoring; comparing the declarations in the
hs-boot and hs file is now done by converting to IfaceSyn, because we
have good comparison operations for IfaceSyn already implemented.
This fixed a bug that previously let through an inconsistent declaration
of a data type.
The remaining infelicity concerns "abstract" TyCons. They are a bit
of a hack anyway; and Classes are not handled in the same way. Need
to think about this, but I think it's probably ok as it stands.
M ./compiler/iface/IfaceSyn.lhs -1 +43
M ./compiler/iface/TcIface.lhs +2
M ./compiler/typecheck/TcRnDriver.lhs -38 +23
M ./compiler/typecheck/TcTyClsDecls.lhs -3
M ./docs/users_guide/separate_compilation.xml -3 +5
More information about the Cvs-ghc