JSON.decode/encode functions?

[achirkin]

ghcjs-base/JavaScript/JSON/Types/Internal.hs

Line 307 in 1f28a93

"JSON.decode(JSON.encode($1))"

Shouldn't this be JSON.parse(JSON.stringify($1)) instead of JSON.decode(JSON.encode($1))?