[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