[Agda] segmentation fault when printing a number

[Ben Clifford]

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))

There are more details in this paste:

http://pastebin.com/56aUzTnp

Does it work/fail for other people?

Ben