gadt changes in ghc 6.10

2008-10-14 Thread Daniel Gorín
Hi After installing ghc 6.10-rc, I have a program that no longer compiles. I get the dreaded GADT pattern match error, instead :) Here is a boiled-down example: {-# OPTIONS_GHC -XGADTs -XEmptyDataDecls #-} module T where data S data M data Wit t where S :: Wit S M :: Wit M

Re: ANNOUNCE: GHC 6.10.1 RC 1

2008-10-14 Thread Jules Bean
Simon Marlow wrote: Judah Jacobson wrote: Once small thing I've noticed: UserInterrupt (ctr-c) exceptions are not thrown in ghci, probably because it installs its own signal handlers: Prelude Control.Exception Control.Concurrent handle (\UserInterrupt - putStrLn Caught!) (threadDelay 200)

Re[2]: [Haskell-cafe] I do not want to be a bitch, but ghc-6.8.3 and haskell binary policy are really horrible.

2008-10-14 Thread Bulat Ziganshin
Hello Thomas, Tuesday, October 14, 2008, 2:46:45 PM, you wrote: The issue is binary compatibility. At the moment, GHC cannot make sure that a library compiled with an older GHC can work with a newer GHC. GHC does many cross-module optimisations, and its runtime system changes occasionally,

Re: gadt changes in ghc 6.10

2008-10-14 Thread Don Stewart
dgorin: I've tried adding some signatures (together with - XScopedTypeVariables), but with no luck. Why is it that this no longer compiles? More importantly, how can I make it compile again? :) If you work out how to make it compile, can you document the soln. here,

Re: Re[2]: [Haskell-cafe] I do not want to be a bitch, but ghc-6.8.3 and haskell binary policy are really horrible.

2008-10-14 Thread Thomas Schilling
2008/10/14 Bulat Ziganshin [EMAIL PROTECTED]: Hello Thomas, Tuesday, October 14, 2008, 2:46:45 PM, you wrote: The issue is binary compatibility. At the moment, GHC cannot make sure that a library compiled with an older GHC can work with a newer GHC. GHC does many cross-module

Re: gadt changes in ghc 6.10

2008-10-14 Thread Daniel Gorín
On Oct 14, 2008, at 7:48 PM, Don Stewart wrote: dgorin: I've tried adding some signatures (together with - XScopedTypeVariables), but with no luck. Why is it that this no longer compiles? More importantly, how can I make it compile again? :) If you work out how to make it compile, can

Re: gadt changes in ghc 6.10

2008-10-14 Thread Jason Dagit
On Tue, Oct 14, 2008 at 7:27 AM, Daniel Gorín [EMAIL PROTECTED] wrote: Hi After installing ghc 6.10-rc, I have a program that no longer compiles. I get the dreaded GADT pattern match error, instead :) Here is a boiled-down example: {-# OPTIONS_GHC -XGADTs -XEmptyDataDecls #-} module