Migrate documentation site to Astro

2026-06-17 00:22:32 +09:00
parent 4020b7c2d5
commit 0e873fbd51
19 changed files with 5494 additions and 325 deletions
@@ -0,0 +1,41 @@
+import init, { evaluate } from '../wasm/decodal_wasm.js';
+
+const starter = `let
+  Service = {
+    name = String;
+    port = Int & > 443 default 8443;
+    feature.enable = Bool default true;
+  };
+in
+  Service & {
+    name = "api";
+    port = 9443;
+  }
+`;
+
+const source = document.getElementById('source');
+const output = document.getElementById('output');
+const run = document.getElementById('run');
+const status = document.getElementById('status');
+
+source.value = starter;
+
+function execute() {
+  const result = JSON.parse(evaluate(source.value));
+  output.textContent = result.ok ? result.output : result.error;
+  output.classList.toggle('error', !result.ok);
+}
+
+try {
+  await init();
+  run.disabled = false;
+  status.textContent = '';
+  execute();
+} catch (error) {
+  status.textContent = `Failed to load WASM: ${error?.message ?? error}`;
+}
+
+run.addEventListener('click', execute);
+source.addEventListener('keydown', (event) => {
+  if ((event.metaKey || event.ctrlKey) && event.key === 'Enter') execute();
+});