Open achirkin opened 7 years ago
https://github.com/ghcjs/ghcjs-base/blob/1f28a93dad380a471a3fd7e00819a88c20fa7f92/JavaScript/JSON/Types/Internal.hs#L307
Shouldn't this be JSON.parse(JSON.stringify($1)) instead of JSON.decode(JSON.encode($1))?
JSON.parse(JSON.stringify($1))
JSON.decode(JSON.encode($1))
https://github.com/ghcjs/ghcjs-base/blob/1f28a93dad380a471a3fd7e00819a88c20fa7f92/JavaScript/JSON/Types/Internal.hs#L307
Shouldn't this be
JSON.parse(JSON.stringify($1))instead ofJSON.decode(JSON.encode($1))?