GADT Type Checking GHC 6.10 versus older GHC

2008-11-27 Thread Dominic Steinitz
> In my case, we had rigid type signatures all over the place. The > wiki document says that the type must be rigid at the point of the > match. I guess that's what we were violating. If the code I posted > isn't supposed to type check then I would like to report, as user > feedback, that GADTs

Re: simple ghci debugger question

2008-11-27 Thread Claus Reinke
Peter Hercek wrote: Is there a way to redirect output of a ghci debugger command so that I can process it with a (ghci) script before it is displayed? Claus had some GHCi macros for doing this sort of thing. Claus? Sure, recorded here (sections 4/5, but the rest of the page should also be

Re: ghc 6.10.1 on freebsd 7 amd64 - ghci problems

2008-11-27 Thread Markus Barenhoff
On Thu 27.11 09:49, Simon Marlow wrote: > Brandon S. Allbery KF8NH wrote: > >On 2008 Nov 26, at 9:30, Markus Barenhoff wrote: > >>Because the ports seem not to get updated, I tried to compile ghc 6.10.1 > >>under freebsd 7 on amd64 myself. For compiling I first used the ports ghc > > > >The tree's

Re: simple ghci debugger question

2008-11-27 Thread Simon Marlow
Peter Hercek wrote: Is there a way to redirect output of a ghci debugger command so that I can process it with a (ghci) script before it is displayed? Claus had some GHCi macros for doing this sort of thing. Claus? Cheers, Simon ___ Glasgo

Re: ghc 6.10.1 on freebsd 7 amd64 - ghci problems

2008-11-27 Thread Simon Marlow
Brandon S. Allbery KF8NH wrote: On 2008 Nov 26, at 9:30, Markus Barenhoff wrote: Because the ports seem not to get updated, I tried to compile ghc 6.10.1 under freebsd 7 on amd64 myself. For compiling I first used the ports ghc The tree's not being updated because 64-bit on freebsd doesn't wor

Re: How to reliably terminate a process

2008-11-27 Thread Simon Marlow
Sterling Clover wrote: Due to the way which runInteractiveCommand works (through spawning a shell), it is impossible to consistently terminate a process launched using it. If the process tries to read from stdin, then it will die properly -- however, last I checked, processes blocking on readin

Fun with type functions

2008-11-27 Thread Simon Peyton-Jones
Friends GHC has embodied data type families since 6.8, and now type synonym families (aka type functions) in 6.10. However, apart from our initial papers there isn't much published material about how to *use* type families. But that hasn't stopped you: quite a few people are using them alread

simple ghci debugger question

2008-11-27 Thread Peter Hercek
Is there a way to redirect output of a ghci debugger command so that I can process it with a (ghci) script before it is displayed? Peter. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo