dunhamsteve.bsky.social
Newt - a dependent typed programming language
playground build issues
+16
-3
+3
-3
playground/build
+3
-3
playground/build
···
1
-
#!/bin/sh
1
+
#!/bin/bash
2
2
mkdir -p public
3
3
echo copy newt
4
-
#cp ../lsp.js src/newt.js
5
-
(cd .. && make lsp)
4
+
(cd .. && make lsp.js)
5
+
cp ../lsp.js src/newt.js
6
6
echo build newt worker
7
7
esbuild src/worker.ts --bundle --format=esm --platform=browser > public/worker.js
8
8
esbuild src/frame.ts --bundle --format=esm --platform=browser > public/frame.js
+6
playground/src/fs.ts
+6
playground/src/fs.ts
···
1
+
import {shim} from './emul';
2
+
3
+
// Shim was dumping stuff globally and we've shifted to imports, so I'm adapting it here for now.
4
+
5
+
export const {readFileSync, writeFileSync, writeFile, writeSync, readSync } = shim.fs;
6
+
export default {readFileSync, writeFileSync, writeFile, writeSync, readSync };
+7
playground/src/newt.d.ts
+7
playground/src/newt.d.ts
···
1
+
import { Diagnostic, HoverResult, CodeAction } from './ipc'
2
+
3
+
export function LSP_updateFile(name: string, content: string): any;
4
+
export function LSP_checkFile(name: string): Diagnostic[];
5
+
export function LSP_hoverInfo(name: string, row: number, col: number): HoverResult | boolean | null;
6
+
export function LSP_codeActionInfo(name: string, row: number, col: number): CodeAction[] | null;
7
+
export function LSP_compileJS(name: string): string;