From 960e022f7b94d858942f938dd9f7b877f2435964 Mon Sep 17 00:00:00 2001
From: Simon Ogorodnik <Simon.Ogorodnik@jetbrains.com>
Date: Wed, 26 Sep 2018 22:15:03 +0300
Subject: Take implied platforms back

---
 core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'core/src')

diff --git a/core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt b/core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt
index 66eb60c4..718c8d35 100644
--- a/core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt
+++ b/core/src/main/kotlin/Formats/KotlinWebsiteHtmlFormatService.kt
@@ -20,7 +20,7 @@ open class KotlinWebsiteHtmlOutputBuilder(
         generator: NodeLocationAwareGenerator,
         languageService: LanguageService,
         extension: String,
-        impliedPlatforms: List<String>,
+        val impliedPlatforms: List<String>,
         templateService: HtmlTemplateService
 ) : HtmlOutputBuilder(to, location, generator, languageService, extension, impliedPlatforms, templateService) {
     private var needHardLineBreaks = false
@@ -128,7 +128,10 @@ open class KotlinWebsiteHtmlOutputBuilder(
 
         val kotlinVersion = platforms.singleOrNull(String::isKotlinVersion)
         val jreVersion = platforms.singleOrNull(String::isJREVersion)
-        val targetPlatforms = platforms.filterNot { it.isKotlinVersion() || it.isJREVersion() }
+        val targetPlatforms =
+                platforms.filterNot { it.isKotlinVersion() || it.isJREVersion() }
+                        .takeUnless { it.intersect(impliedPlatforms).containsAll(impliedPlatforms) }
+                        .orEmpty()
 
 
         val kotlinVersionAttr = kotlinVersion?.let { " data-kotlin-version=\"$it\"" } ?: ""
-- 
cgit