JS: use '/' as separator on all platforms to prevent sourcemap parse errors
diff --git a/js/js.translator/src/org/jetbrains/kotlin/js/sourceMap/SourceMap3Builder.java b/js/js.translator/src/org/jetbrains/kotlin/js/sourceMap/SourceMap3Builder.java index 07b601b..61ef632 100644 --- a/js/js.translator/src/org/jetbrains/kotlin/js/sourceMap/SourceMap3Builder.java +++ b/js/js.translator/src/org/jetbrains/kotlin/js/sourceMap/SourceMap3Builder.java
@@ -127,6 +127,9 @@ @Override public void addMapping(String source, int sourceLine, int sourceColumn) { + if (File.separatorChar != '/') { + source = source.replace(File.separatorChar, '/'); + } boolean newGroupStarted = previousGeneratedColumn == -1; if (newGroupStarted) { previousGeneratedColumn = 0;