[Agda] Seg-fault

[Nils Anders Danielsson]

On 2012-10-13 21:32, Serge D. Mechveliani wrote:
> I have programmed the  merge sorting function  for a list over any
> DecTotalOrder,
> with the result record including a proof for orderedness.
>
> It is compiled for the RTS options, and run with  +RTS -M... -RTS.
> For a certain large list over Nat, it finishes for  -M700m and 900m,
> but runs into  Segmentation fault  for 800m.

That's interesting. Please report this on the bug tracker.

-- 
/NAD