For example, at the moment, we do:
module.exports = { "foo'": foo$prime }
Perhaps instead we should use the same name in the exports that we have locally:
module.exports = { foo$prime: foo$prime }
This applies to any mangling, $prime was just an example, there are a bunch of other cases too.
This would fix a whole bunch of warnings that rollup-plugin-purs spits out, and would match the behaviour that we'll eventually use for ES6 modules whenever that happens.
For example, at the moment, we do:
Perhaps instead we should use the same name in the exports that we have locally:
This applies to any mangling,
$primewas just an example, there are a bunch of other cases too.This would fix a whole bunch of warnings that
rollup-plugin-pursspits out, and would match the behaviour that we'll eventually use for ES6 modules whenever that happens.