From 6963303a8da5a0c50f5624d34da8f37d17c77b0b Mon Sep 17 00:00:00 2001 From: Dmitry Zakharov Date: Fri, 12 Jan 2024 02:37:07 +0400 Subject: [PATCH] Fix playground initial content for 11.0 --- src/Playground.res | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/src/Playground.res b/src/Playground.res index 82a1a0afc..5d1377ced 100644 --- a/src/Playground.res +++ b/src/Playground.res @@ -1457,13 +1457,9 @@ let make = (~versions: array) => { | (None, Res) | (None, _) => switch initialVersion { - | Some({CompilerManagerHook.Semver.major: major, minor, _}) => - if major >= 10 && minor >= 1 { - InitialContent.since_10_1 - } else { - InitialContent.original - } - | None => InitialContent.original + | Some({major: 10, minor}) if minor >= 1 => InitialContent.since_10_1 + | Some({major}) if major > 10 => InitialContent.since_10_1 + | _ => InitialContent.original } }