[Ur] Segfault on initialization

Daniel Patterson dbp at dbpmail.net
Sat Jun 15 12:00:50 EDT 2013


Yes it does - thanks for the quick response!

On Sat, Jun 15, 2013 at 8:19 AM, Adam Chlipala <adamc at csail.mit.edu> wrote:
> On 06/14/2013 04:54 PM, Daniel Patterson wrote:
>>
>> I just added some new code and the produced binary is segfaulting! It
>> happens when it is starting up.
>>
>
>
> I've pushed an Ur/Web change that may fix your problem.  Does it?
>
> [The issue had to do with an interaction of an optimization and CSRF
> protection.]
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur



More information about the Ur mailing list