[Ur] Segfault on initialization

Adam Chlipala adamc at csail.mit.edu
Fri Jun 14 17:03:47 EDT 2013


Interesting.  Can you tell a Darcs newbie like me the easiest way to get 
ahold of the consistent file set that triggers the bug?

On 06/14/2013 04:54 PM, Daniel Patterson wrote:
> I just added some new code and the produced binary is segfaulting!
>
> [...]
>
> http://hub.darcs.net/dbp/latinamerica/patch/20130614204237-a4b25
>    



More information about the Ur mailing list