Re: GADT Strangeness

2009-01-03 Thread Dominic Steinitz
Simon Peyton-Jones wrote: | If I remove -XScopedTypeVariables from this http://hpaste.org/13230 then | I get the following error message: | | Asn1cTestNew.hs:55:27: | GADT pattern match in non-rigid context for `INTEGER' |Solution: add a type signature | In the pattern: INTEGER

Re: Preferred gcc for use with ghc

2009-01-03 Thread Christian Maeder
gcc version 4.0.1 (Apple Inc. build 5488) worked for me. I think it comes from XCode 3.1 together with @(#)PROGRAM:ld PROJECT:ld64-85.2.1 XCode 3.0 with gcc version 4.0.1 (Apple Inc. build 5465) and @(#)PROGRAM:ld PROJECT:ld64-77 works only on intel macs but not on powerpc macs. HTH Christian

Re: [reactive] Re: black hole detection and concurrency

2009-01-03 Thread Bertram Felgenhauer
Conal Elliott wrote: Thanks very much for these ideas. Peter Verswyvelen suggested running the example repeatedly to see if it always runs correctly. He found, and I verified, that the example runs fine with Bertram's last version of unamb below, *unless* it's compiled with -threaded and run

Re: [reactive] Re: black hole detection and concurrency

2009-01-03 Thread Conal Elliott
Indeed -- many thanks to Bertram, Sterling, Peter others for the help! I think getting this bug fixed will solve Reactive's mysterious bugs and unblock its progress. - Conal On Sat, Jan 3, 2009 at 1:20 PM, Peter Verswyvelen bugf...@gmail.com wrote: That is very good news! Let's hope it's