From 175cdbd3946484c6fa7c7f8ae2e09e60fcf5e153 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Thu, 15 Sep 2022 13:47:41 +0200
Subject: [PATCH] Prefix kind variables with 'k' instead of 'a'

---
 src/diagnostics.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/diagnostics.ts b/src/diagnostics.ts
index 307060e4a..f4db3ac2f 100644
--- a/src/diagnostics.ts
+++ b/src/diagnostics.ts
@@ -220,7 +220,7 @@ export function describeType(type: Type): string {
 function describeKind(kind: Kind): string {
   switch (kind.type) {
     case KindType.Var:
-      return `a${kind.id}`;
+      return `k${kind.id}`;
     case KindType.Arrow:
       return describeKind(kind.left) + ' -> ' + describeKind(kind.right);
     case KindType.Star: