[Agda] segmentation fault when printing a number

Nils Anders Danielsson nad at chalmers.se
Mon Aug 15 00:35:43 CEST 2011


On 2011-08-14 18:19, Ben Clifford wrote:
> I don't know enough about the innards to debug this much. When I try
> to print a number, I get a segmentation fault on my os x box:
>
> main = putStrLn (fromString (show 2001))

This seems to be due to a bug in GHC (which has not been reported yet):

   http://code.google.com/p/agda/issues/detail?id=398

It appears as if the latest development version of the standard library
is not affected by this problem.

-- 
/NAD


More information about the Agda mailing list