[ ghc-Bugs-415478 ] GHC 5.0 fails test tc109.hs

[Simon Peyton-Jones]

This one is a bug in the test!  You need -fallow-undecidable-instances
to allow instance heads like (P a).  I'll modify the test, and
add an extra remark to the error message.

Simon

| -----Original Message-----
| From: noreply@sourceforge.net [mailto:noreply@sourceforge.net]
| Sent: 11 April 2001 19:12
| To: noreply@sourceforge.net
| Subject: [ ghc-Bugs-415478 ] GHC 5.0 fails test tc109.hs
|=20
|=20
| Bugs item #415478, was updated on 2001-04-11 11:11
| You can respond by visiting:=20
| http://sourceforge.net/tracker/?func=3Ddetail&atid=3D108032&aid=3D41
| 5478&group_id=3D8032
|=20
| Category: Compiler (Type checker)
| Group: None
| Status: Open
| Priority: 5
| Submitted By: Jeffrey R. Lewis (lewie)
| Assigned to: Nobody/Anonymous (nobody)
| Summary: GHC 5.0 fails test tc109.hs
|=20
| Initial Comment:
| Compiler sez:
|=20
|  Illegal instance declaration for `P b'
| 	(There must be at least one non-type-variable in the
| instance head)
|=20
| despite there being ample type-vars in the head ;-)
|=20
| ----------------------------------------------------------------------
|=20
| You can respond by visiting:=20
| http://sourceforge.net/tracker/?func=3Ddetail&atid=3D108032&aid=3D41
| 5478&group_id=3D8032
|=20
| _______________________________________________
| Cvs-ghc mailing list
| Cvs-ghc@haskell.org
| http://www.haskell.org/mailman/listinfo/cvs-ghc
|=20
|=20