[Haskell-cafe] Deriving instances with GADTs

2011-08-04 Thread Tim Cowlishaw
Hi all, I've been writing a DSL to describe securities orders, and after a lot of help from the kind folk of this list and #haskell have come up with the following implementation, using generalised algebraic data types: https://gist.github.com/1124621 Elsewhere in my application, I make use of t

[Haskell-cafe] library-profiling default

2011-08-04 Thread Tom Doris
Hi Is there a good reason that the default for library-profiling in .cabal/config is set to False? It seems a lot of people hit the problem of trying to profile for the first time, finding it doesn't work because profiling libraries haven't been installed, then they have to walk the dependencies re

Re: [Haskell-cafe] Deriving instances with GADTs

2011-08-04 Thread José Pedro Magalhães
Hi Tim, On Thu, Aug 4, 2011 at 08:57, Tim Cowlishaw wrote: > Hi all, > > I've been writing a DSL to describe securities orders, and after a lot > of help from the kind folk of this list and #haskell have come up with > the following implementation, using generalised algebraic data types: > > htt

Re: [Haskell-cafe] library-profiling default

2011-08-04 Thread Ivan Lazar Miljenovic
On 4 August 2011 17:06, Tom Doris wrote: > Hi > Is there a good reason that the default for library-profiling in > .cabal/config is set to False? It seems a lot of people hit the problem of > trying to profile for the first time, finding it doesn't work because > profiling libraries haven't been i

Re: [Haskell-cafe] Deriving instances with GADTs

2011-08-04 Thread Tim Cowlishaw
2011/8/4 José Pedro Magalhães : > Here you seem to be using newtype deriving in particular, which behaves > differently from standard deriving. Compiling with -ddump-deriv will show > you the instances GHC is generating, which can help in debugging. Aah - this is very useful, thanks! > Note howe

[Haskell-cafe] One place available at CamHac

2011-08-04 Thread Simon Marlow
Hi Folks, There is a place available at CamHac next Friday-Sunday (12-14 August). First come first served! For instructions on how to register, see the wiki page: http://www.haskell.org/haskellwiki/CamHac#Registration Also a reminder, if you have already registered but won't be able to ma

Re: [Haskell-cafe] weird type signature in Arrow Notation

2011-08-04 Thread Brent Yorgey
On Tue, Aug 02, 2011 at 05:08:33PM -0400, bob zhang wrote: > hi, all > testB :: (ArrowChoice t1, Num a1, Num a) => (a -> a1 -> t2) -> t1 a t3 > -> t1 a1 t3 -> t1 (a, a1) t > testB f g h = proc (x,y) -> do > if (f x y)then g -< x + 1 else h -< y + 2 > > it's very strange that the type of _f_ is (a-

Re: [Haskell-cafe] weird type signature in Arrow Notation

2011-08-04 Thread Sebastian Fischer
here is a reduced program that still segfaults: {-# LANGUAGE Arrows #-} import Control.Arrow main :: IO () main = print segfault segfault :: [()] segfault = anythingYouWant () anythingYouWant :: a anythingYouWant = testB False (const ()) () testB :: ArrowChoice arrow => bool -> arrow ()

Re: [Haskell-cafe] weird type signature in Arrow Notation

2011-08-04 Thread Sebastian Fischer
I created a ticket with a slightly further simplified program: http://hackage.haskell.org/trac/ghc/ticket/5380 On Fri, Aug 5, 2011 at 10:10 AM, Sebastian Fischer wrote: > here is a reduced program that still segfaults: > > {-# LANGUAGE Arrows #-} > > import Control.Arrow > > main :: IO () > main