[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

hlist 0.2



Hi,

I wanted to get rid of the darcs-checkout packaged hlist, and package
0.2 as it is on hackage. Unfortunately, it does not build with ghc6-6.12
(it did with 6.10):
http://hackage.haskell.org/packages/archive/HList/0.2/logs/failure/ghc-6.12

There is a ticket against ghc6
(http://hackage.haskell.org/trac/ghc/ticket/3850), it is fixed and
merged. So we have to wait for a new ghc6 release to build the hlist
version in darcs now, or maybe kaol backports that fix (patch attached)
if he has to do an upload anyways.

Greetings,
Joachim

-- 
Joachim "nomeata" Breitner
Debian Developer
  nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
  JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
[Fix Trac #3850
simonpj@microsoft.com**20100208163751
 Ignore-this: ed77f179dafe3f2d32971364e604e518
 
 This patch simply avoids a needless difference in behaviour from 
 6.10, and one that happens to affect HList. See Note [Stupid theta].
] {
hunk ./compiler/rename/RnSource.lhs 729
-    h98_style = case condecls of
-		     L _ (ConDecl { con_res = ResTyH98 }) : _  -> True
-		     _    		                       -> False
+    h98_style = case condecls of	 -- Note [Stupid theta]
+		     L _ (ConDecl { con_res = ResTyGADT {} }) : _  -> False
+		     _    		                           -> True
+               		     						  
hunk ./compiler/rename/RnSource.lhs 828
+Note [Stupid theta]
+~~~~~~~~~~~~~~~~~~~
+Trac #3850 complains about a regression wrt 6.10 for 
+     data Show a => T a
+There is no reason not to allow the stupid theta if there are no data
+constructors.  It's still stupid, but does no harm, and I don't want
+to cause programs to break unnecessarily (notably HList).  So if there
+are no data constructors we allow h98_style = True
+
}

Attachment: signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil


Reply to: