Add lua-types to the playground

ark120202 · ark120202 · commit 60dc0f836e94 · 2020-02-20T20:10:24.000Z
diff --git a/package.json b/package.json
@@ -44,6 +44,7 @@
         "@types/webpack-env": "^1.15.1",
         "fengari-web": "^0.1.4",
         "highlight.js": "^9.18.0",
+        "lua-types": "^2.7.0",
         "monaco-editor": "^0.19.3",
         "renderjson": "^1.4.0",
         "typescript-to-lua": "^0.31.0"
diff --git a/src/playground/index.ts b/src/playground/index.ts
@@ -87,6 +87,16 @@ function addLibsFromContext(context: __WebpackModuleApi.RequireContext) {
 }
 
 addLibsFromContext(require.context("!!raw-loader!typescript/lib/", false, /lib(\.es(.+))?\.d\.ts$/));
+addLibsFromContext(require.context("!!raw-loader!lua-types/core", true, /\.d\.ts$/));
+// TODO: Generate it from lua-types/special/5.3.d.ts
+for (const module of [
+    require("!!raw-loader!lua-types/special/5.2-plus.d.ts"),
+    require("!!raw-loader!lua-types/special/5.2-plus-or-jit.d.ts"),
+    require("!!raw-loader!lua-types/special/5.3-plus.d.ts"),
+    require("!!raw-loader!lua-types/special/5.4-pre.d.ts"),
+]) {
+    monaco.languages.typescript.typescriptDefaults.addExtraLib(module.default);
+}
 
 const tsEditor = monaco.editor.create(tsEditorContainer, {
     value: getInitialCode(),
diff --git a/yarn.lock b/yarn.lock
@@ -3668,6 +3668,13 @@ fsevents@~2.1.2:
   languageName: node
   linkType: hard
 
+"lua-types@npm:^2.7.0":
+  version: 2.7.0
+  resolution: "lua-types@npm:2.7.0"
+  checksum: 14199d9449e8a066a0ef87c608b85b9ee96617a326e02e0f466996cdc013909e46e5323eb223aafb1bfc1b136234d87e460d1221a7b04ab6a3927e4ba6fdf618
+  languageName: node
+  linkType: hard
+
 "make-dir@npm:^2.0.0":
   version: 2.1.0
   resolution: "make-dir@npm:2.1.0"
@@ -6347,6 +6354,7 @@ resolve@^1.13.1:
     highlight.js: ^9.18.0
     html-loader: ^0.5.5
     html-webpack-plugin: ^3.2.0
+    lua-types: ^2.7.0
     monaco-editor: ^0.19.3
     pnp-webpack-plugin: ^1.5.0
     prettier: ^1.19.1
