RE: [Haskell-cafe] Some thoughts on Type-Directed Name

2012-01-30 Thread Simon Peyton-Jones
| What would really, really help me is for someone to have a look at the 'solution' I | posted to the difficulties SPJ saw with the SORF approach. (I ref'd it in my reply to In response to your plea, I took a look at your post

Re: ANNOUNCE: GHC 7.4.1 Release Candidate 2

2012-01-30 Thread Rene de Visser
What are the plans for http://hackage.haskell.org/trac/ghc/ticket/5623 which seems to be still open? Quoting form the ticket ... Just to spam a little more, it seems that the HEAD happily duplicates all computations on unboxed types. It even duplicates x+x in this example: foo :: Float - Float

Error when deriving Typeable for associated type

2012-01-30 Thread Bas van Dijk
Hello, Given the following program: --- {-# LANGUAGE DeriveDataTypeable, TypeFamilies #-} import Data.Typeable class C a where data T a :: * data MyType1 = MyType1 deriving Typeable data MyType2 = MyType2 deriving Typeable instance

Re: ghc-7.4.1-rc1 recompilation checking

2012-01-30 Thread Ian Lynagh
On Mon, Jan 30, 2012 at 10:02:42AM +, Simon Marlow wrote: On 30/01/2012 09:45, Christian Maeder wrote: This seems not to be fixed in Release Candidate 2 Thanks for letting us know. Ian, please merge this patch: commit f283c39119b333e4249420fa96b93652e0fbaec1 Author: Simon Marlow