RE: type annotations for GADTs

2005-10-12 Thread Ganesh Sittampalam
In case it influences your decision re 6.4.2 slightly, it would be quite useful for the darcs code base to have a 6.4 release that fixes this, as having to put in the extra type annotations is somewhat disruptive. [Darcs is experimenting with GADTs to help enforce some correctness properties i

RE: type annotations for GADTs

2005-10-12 Thread Simon Peyton-Jones
A palpable bug, thank you. Now fixed in CVS. It'll be in 6.4.2 also if we ever release that. Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:glasgow-haskell-bugs- | [EMAIL PROTECTED] On Behalf Of Ganesh Sittampalam | Sent: 29 September 2005 11:40 | To: glasgow-haskell-bugs@

[ ghc-Bugs-1275126 ] configure problems with openGL and openAL

2005-10-12 Thread SourceForge.net
Bugs item #1275126, was opened at 2005-08-28 12:47 Message generated for change (Settings changed) made by simonmar You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1275126&group_id=8032 Please note that this message will contain a full copy of the comment

[ ghc-Bugs-1275126 ] configure problems with openGL and openAL

2005-10-12 Thread SourceForge.net
Bugs item #1275126, was opened at 2005-08-28 14:47 Message generated for change (Settings changed) made by spanne You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1275126&group_id=8032 Please note that this message will contain a full copy of the comment t