Prefix kind variables with 'k' instead of 'a'

This commit is contained in:
Sam Vervaeck 2022-09-15 13:47:41 +02:00
parent 2f359107c4
commit 175cdbd394

View file

@ -220,7 +220,7 @@ export function describeType(type: Type): string {
function describeKind(kind: Kind): string { function describeKind(kind: Kind): string {
switch (kind.type) { switch (kind.type) {
case KindType.Var: case KindType.Var:
return `a${kind.id}`; return `k${kind.id}`;
case KindType.Arrow: case KindType.Arrow:
return describeKind(kind.left) + ' -> ' + describeKind(kind.right); return describeKind(kind.left) + ' -> ' + describeKind(kind.right);
case KindType.Star: case KindType.Star: