Wolfgang Lux wrote:
> Sebastian Fischer wrote:
>
>> P.S. I found another MCC bug:
>>
>> cyi> (\_ -> \x -> x) failed success
>> cycc: internal error: arity x.4
>>
>> I am using MCC 0.9.11 on a 64 bit Ubuntu Linux.
>
> I cannot reproduce this bug. Can you update to the latest darcs version and see if the failure is still present? If it is, which version of ghc did you use to compile MCC?
Never mind, I found that the bug is still there if you omit the arguments:
Prelude> (\_ -> \x -> x)
cycc: internal error: arity x.4
I have fixed this bug now.
Thanks for the bug report
Wolfgang
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 20 2012 - 17:57:06 CEST