Enable playground 9.1.2

ryyppy · ryyppy · commit 4816f08550bb · 2021-05-07T14:23:53.000+02:00
diff --git a/src/common/CompilerManagerHook.mjs b/src/common/CompilerManagerHook.mjs
@@ -32,6 +32,7 @@ function loadScriptPromise(url) {
 }
 
 var versions = [
+  "v9.1.2",
   "v9.0.2",
   "v9.0.1",
   "v9.0.0",
diff --git a/src/common/CompilerManagerHook.res b/src/common/CompilerManagerHook.res
@@ -38,7 +38,7 @@ module LoadScript = {
 module CdnMeta = {
   // Make sure versions exist on https://cdn.rescript-lang.org
   // [0] = latest
-  let versions = ["v9.0.2", "v9.0.1", "v9.0.0", "v8.4.2", "v8.3.0-dev.2"]
+  let versions = ["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`	`+ "v9.1.2",`
`35`	`36`	`"v9.0.2",`
`36`	`37`	`"v9.0.1",`
`37`	`38`	`"v9.0.0",`