Killing a script causes a segmentation fault


When I run a script from bash like this

$ julia hello.jl

where hello.jl is just


and I try to kill it like any other program with Ctrl+c, it hangs for quite some time and finally comes back with

Segmentation fault (core dumped)

This seems like a bug. Any thoughts? Thanks.


See also