Enable v10.0.1 in the playground

ryyppy · cristianoc · commit 955f0c767a9b · 2022-09-26T08:46:40.000+02:00
diff --git a/src/common/CompilerManagerHook.mjs b/src/common/CompilerManagerHook.mjs
@@ -32,6 +32,7 @@ function loadScriptPromise(url) {
 }
 
 var versions = [
+  "v10.0.1",
   "v10.0.0",
   "v9.1.2",
   "v9.0.2",
diff --git a/src/common/CompilerManagerHook.res b/src/common/CompilerManagerHook.res
@@ -38,7 +38,16 @@ module LoadScript = {
 module CdnMeta = {
   // Make sure versions exist on https://cdn.rescript-lang.org
   // [0] = latest
-  let versions = ["v10.0.0", "v9.1.2", "v9.0.2", "v9.0.1", "v9.0.0", "v8.4.2", "v8.3.0-dev.2"]
+  let versions = [
+    "v10.0.1",
+    "v10.0.0",
+    "v9.1.2",
+    "v9.0.2",
+    "v9.0.1",
+    "v9.0.0",
+    "v8.4.2",
+    "v8.3.0-dev.2",
+  ]
 
   let getCompilerUrl = (version: string): string =>
     j`https://cdn.rescript-lang.org/$version/compiler.js`

Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,7 @@ function loadScriptPromise(url) {`
`32`	`32`	`}`
`33`	`33`
`34`	`34`	`var versions = [`
	`35`	`+ "v10.0.1",`
`35`	`36`	`"v10.0.0",`
`36`	`37`	`"v9.1.2",`
`37`	`38`	`"v9.0.2",`