|From: Evan Wallace <firstname.lastname@example.org>|
|Date: 31 Jul 2013 02:17:44 Hong Kong Time|
Proposal: forbid duplicates in "names" and "sources"
Mozilla's source map implementation assumes the "names" array contains unique names, but this is not in the spec and the TypeScript compiler sometimes generates duplicate names. This prevents some TypeScript source maps from being read by Mozilla's source map library. One way to fix this is to require that "names" (and "sources") only contain unique strings. Thoughts? More info: https://github.com/mozilla/source-map/pull/72