dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

skip indented lines in add missing cases

Browse Source
This commit is contained in:
Steve Dunham
2026-02-12 13:51:29 -08:00
parent 6c4d01d4c4
commit 01a05ba186
1 changed files with 17 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
newt-vscode/src/extension.ts
View File

@@ -18,11 +18,16 @@ interface TopData {
context: TopEntry[]; context: TopEntry[];
} }
function getIndent(text: string) {
return text.match(/\S/)?.index ?? 0
}
export function activate(context: vscode.ExtensionContext) { export function activate(context: vscode.ExtensionContext) {
let topData: undefined | TopData; let topData: undefined | TopData;
const diagnosticCollection = const diagnosticCollection =
vscode.languages.createDiagnosticCollection("newt"); vscode.languages.createDiagnosticCollection("newt");
vscode.workspace.onDidChangeTextDocument((event) => { vscode.workspace.onDidChangeTextDocument((event) => {
const editor = vscode.window.activeTextEditor; const editor = vscode.window.activeTextEditor;
if (!editor || event.document !== editor.document) return; if (!editor || event.document !== editor.document) return;
@@ -294,8 +299,11 @@ export function activate(context: vscode.ExtensionContext) {
if (m) { if (m) {
// A lot of this logic would also apply to case split. // A lot of this logic would also apply to case split.
let cons = m[1].split(', '); let cons = m[1].split(', ');
const line = range.start.line; let line = range.start.line;
const lineText = document.lineAt(line).text; let lineText = document.lineAt(line).text;
// this isn't going to work for let.
// and I think I relaxed the indent for `|`
const indent = getIndent(lineText)
let m2 = lineText.match(/(.*=>?)/); let m2 = lineText.match(/(.*=>?)/);
if (!m2) continue; if (!m2) continue;
let s = range.start.character; let s = range.start.character;
@@ -312,8 +320,13 @@ export function activate(context: vscode.ExtensionContext) {
vscode.CodeActionKind.QuickFix vscode.CodeActionKind.QuickFix
); );
fix.edit = new vscode.WorkspaceEdit(); fix.edit = new vscode.WorkspaceEdit();
// TODO - we should skip over subsequent lines that are indented more than the current. // skip indented lines
const insertPos = new vscode.Position(line + 1, 0); while (1) {
line = line + 1
lineText = document.lineAt(line).text
if (!lineText.trim() || getIndent(lineText) <= indent) break
}
const insertPos = new vscode.Position(line, 0);
let text = lines.join('\n') + '\n'; let text = lines.join('\n') + '\n';
if (insertPos.line === document.lineCount) { if (insertPos.line === document.lineCount) {
text = "\n" + text; text = "\n" + text;