Re: equality of partial applications

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Tue, 19 Jun 2012 15:30:08 +0200

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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:11 CET