Re: Building libraries with ticky-ticky

2008-07-21 Thread Andrew Hunter
On Sun, Jul 20, 2008 at 09:08:58PM -0700, Tim Chevalier wrote: I'm not surprised that building the libraries with ticky enabled doesn't work, because when I fixed ticky-ticky profiling a year and a half ago after it was bit-rotted, I hardly tested it and all and certainly didn't try building

Re: Building libraries with ticky-ticky

2008-07-21 Thread Tim Chevalier
On 7/20/08, Andrew Hunter [EMAIL PROTECTED] wrote: Right--thing is, it seemed I was getting linker errors on compiling the *libraries*--which seems weird, given that the libraries shouldn't be getting linked, should they? I'm not entirely sure this is what I was seeing, so, well, not a

Re: Weekly IRC meeting?

2008-07-21 Thread Simon Marlow
Johan Tibell wrote: On Thu, Jul 17, 2008 at 1:33 PM, Simon Marlow [EMAIL PROTECTED] wrote: Thanks to everyone who turned up and joined in, we had an interesting discussion about the HLP. On this basis I think we should try making it a weekly event. Thanks for arranging the meeting. I

Re: Weekly IRC meeting?

2008-07-21 Thread Johan Tibell
On Mon, Jul 21, 2008 at 12:41 PM, Simon Marlow [EMAIL PROTECTED] wrote: Ian and I talked about possibly trying a different time - 9pm UK time, which would be slightly less friendly to us in the UK (I have my work/life balance to think about you know :-) but more friendly to people in the US. I

GHC 6.6 GADT type unification vs GHC 6.8

2008-07-21 Thread Jason Dagit
Hello, I was wresting with the problem of converting our type witness code in darcs to work with ghc 6.8 and it occurred to me that someone has probably document the change somewhere. In particular, I'm seeing this error message a lot, but 6.6 doesn't give this message: GADT pattern match in

Re: Weekly IRC meeting?

2008-07-21 Thread Thomas M. DuBuisson
Ian and I talked about possibly trying a different time - 9pm UK time, which would be slightly less friendly to us in the UK (I have my work/life balance to think about you know :-) but more friendly to people in the US. I, for one, am happy with the current time; changing it should always be