Re: [Haskell] problem building syb-generics

2006-07-11 Thread Matthew Pocock
On Tuesday 04 July 2006 13:20, Simon Peyton-Jones wrote: Lexically-scoped type variables are undergoing a slight upheaval in GHC 6.6 that has not quite settled, and that is what you are running into. Thanks for the help. After a lot of trial error, and reading and stuff I've got past the

Re: Is this test summary good or bad?

2006-07-11 Thread Joel Reymont
On Jul 11, 2006, at 11:00 AM, Simon Marlow wrote: Which ones hang? Could you take one of the hanging tests, compile it with -debug, run with +RTS -Ds, and send us the output? What ends up happening is this: 28683 p2 S 0:00.11 ../../timeout/timeout 300 cd ./typecheck/ should_compile

Re: RULES pragmas

2006-07-11 Thread Donald Bruce Stewart
Malcolm.Wallace: I have a question about {-# RULES #-} pragmas. Here is a very simple attempt to use them: module Simplest where {-# RULES simplestRule forall x. id (id x) = x #-} myDefn = id (id 42) I want to verify whether ghc-6.4.1 does actually fire