From 8d1b92ab3ede43cc51f1a9aefe594e7f0fe89caa Mon Sep 17 00:00:00 2001
From: Marceline Cramer <cramermarceline@gmail.com>
Date: Wed, 15 Apr 2026 09:55:55 -0600
Subject: [PATCH] Add VSCode extension output channel

---
 vscode-ext/src/extension.ts | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/vscode-ext/src/extension.ts b/vscode-ext/src/extension.ts
index 9f5e954..6aba157 100644
--- a/vscode-ext/src/extension.ts
+++ b/vscode-ext/src/extension.ts
@@ -4,7 +4,10 @@ import * as vscode from "vscode";
 import { LanguageClient, LanguageClientOptions, ServerOptions } from "vscode-languageclient/node";
 
 export async function activate(context: vscode.ExtensionContext) {
-  const server = launchLsp();
+  const output = vscode.window.createOutputChannel("Kerolox");
+  output.appendLine("Kerolox extension activated");
+
+  const server = launchLsp(output);
 
   const clientOptions: LanguageClientOptions = {
     documentSelector: [{ scheme: "file", language: "kerolox" }]
@@ -15,16 +18,17 @@ export async function activate(context: vscode.ExtensionContext) {
 
   const dispose = async () => await client.stop();
   context.subscriptions.push({ dispose });
+  context.subscriptions.push(output);
 }
 
-export function launchLsp(): ServerOptions {
+export function launchLsp(output: vscode.OutputChannel): ServerOptions {
   return async () => {
-    console.log("creating language server");
+    output.appendLine("Creating language server");
     const server = new LanguageServer();
-    console.log("language server created");
+    output.appendLine("Language server created");
     const writer = Writable.fromWeb(server.requests);
     const reader = Readable.fromWeb(server.responses);
-    console.log("language server bound");
+    output.appendLine("Language server bound");
     return { server, writer, reader };
   };
 }