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
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
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
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