Re: SIGALRM, SIGVTALRM, and third party libraries

2010-09-06 Thread Edward Z. Yang
Excerpts from Simon Marlow's message of Mon Sep 06 05:57:59 -0400 2010: > What did you have in mind with respect to "portable equivalents of > pthread functions"? I'm not sure we need to do anything along these > lines at all, and I'd much rather we didn't enforce any threading > abstraction on

alignment and the evil gc assertion failure

2010-09-06 Thread Evan Laforge
So a long time ago (I think when 6.10 first came out, the problem didn't happen with the previous version, and I think 6.10 changed how the FFI used alignment) I filed a ghc ticket about a gc assertion failure. Unfortunately it was so hard to reproduce and reduce to a manageable example that I wou

Re: Type Families and defaults

2010-09-06 Thread Evan Laforge
On Mon, Sep 6, 2010 at 12:37 AM, Simon Peyton-Jones wrote: > Mitar, and others > > Yes, I've spent most of the last month working on the new type checker, and > unless there's a major hiccup it'll be in GHC 7.0.  We'll produce a release > candidate just before ICFP. Ohh, how exciting, the big n

Re: Compiling base with custom compilation script

2010-09-06 Thread Simon Marlow
On 01/09/2010 12:08, Victor Nazarov wrote: I have some custom compilation script that uses GHC API The aim is to extract some info from every module in dependency graph and to write this information to the file lying near module-file. Script goes like this: main :: IO () main = do args<- getA

Re: SIGALRM, SIGVTALRM, and third party libraries

2010-09-06 Thread Simon Marlow
On 03/09/2010 22:13, Edward Z. Yang wrote: Excerpts from Bryan O'Sullivan's message of Fri Sep 03 17:00:03 -0400 2010: What I am wondering is if there's a practical downside to doing this. Am I going to accidentally kill something? This is a very important gap in the usability of GHC with native

Re: SIGALRM, SIGVTALRM, and third party libraries

2010-09-06 Thread Simon Marlow
On 03/09/2010 22:00, Bryan O'Sullivan wrote: I spent some time this morning trying to use HDBC-mysql to talk to a database. It uses the C mysql bindings, which talks over a blocking socket to the database server. Not surprisingly, it fails reliably when the thread it's running in is hit by an RTS

RE: Type Families and defaults

2010-09-06 Thread Simon Peyton-Jones
Mitar, and others Yes, I've spent most of the last month working on the new type checker, and unless there's a major hiccup it'll be in GHC 7.0. We'll produce a release candidate just before ICFP. However, as it happens both your tests compile with GHC 6.12, if you add ScopedTypeVariables. T