fundeps breakage w/ HEAD

[Sigbjorn Finne]

This is a multi-part message in MIME format.

------=_NextPart_000_08BC_01C11146.4F134390
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit

The attached test case shows up a change in TC behaviour
that has occurred post-5.00.2.

5.00.2's TC accepts the module (as does Hugs), but HEAD
doesn't. Bug or feature?

--sigbjorn


------=_NextPart_000_08BC_01C11146.4F134390
Content-Type: application/octet-stream;
	name="Fundep.hs"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: attachment;
	filename="Fundep.hs"

module Fundep where=0A=
=0A=
class Split2 a b | a -> b, b -> a where=0A=
    combine2 :: (b,b) -> a=0A=
=0A=
class Split4 a b | a -> b, b -> a where=0A=
    combine4 :: (b,b) -> a=0A=
=0A=
newtype Word16 =3D Word16 Int=0A=
newtype Word32 =3D Word32 Int=0A=
newtype Word64 =3D Word64 Int=0A=
=0A=
instance Split2 Word32 Word16 where=0A=
    combine2 =3D undefined=0A=
=0A=
instance Split2 Word64 Word32 where=0A=
    combine2 a =3D undefined=0A=
=0A=
instance Split4 Word64 Word16 where=0A=
    combine4 (a, b) =3D =0A=
        combine2 ( (combine2 (a, b) {-:: Word32-}) -- uncomment & it =
typechecks.=0A=
		 , combine2 (a, b))=0A=

------=_NextPart_000_08BC_01C11146.4F134390--