moved errors module

src/analysis/__snapshots__/errors.test.ts.snap

@@ -0,0 +1,39 @@
+// Vitest Snapshot v1, https://vitest.dev/guide/snapshot.html
+
+exports[`errorInfoToString > arity mismatch (too few args) 1`] = `
+"Error: Arity mismatch
+
+Expected 2 arguments, but got 1.
+
+3|       pub let x = f(0)
+ |                   ~~~~"
+`;
+
+exports[`errorInfoToString > arity mismatch (too many args) 1`] = `
+"Error: Arity mismatch
+
+Expected 1 arguments, but got 2.
+
+3|       pub let x = f(0, 1)
+ |                        ~"
+`;
+
+exports[`errorInfoToString > type error 1`] = `
+"Error: Type mismatch
+
+Expected:  String
+     Got:  Custom
+
+
+3|       pub let x: Custom = "abc"
+ |                           ~~~~~"
+`;
+
+exports[`errorInfoToString > unbound variable 1`] = `
+"Error: Unbound variable
+
+Cannot find variable "unbound_var"
+
+1| pub let x = unbound_var
+ |             ~~~~~~~~~~~"
+`;

src/analysis/analyse.test.ts

@@ -26,7 +26,7 @@ import {
   UnusedExposing,
   UnusedImport,
   UnusedVariable,
-} from "../errors";
+} from "./errors";
 import { rangeOf } from "../typecheck/typedAst/__test__/utils";
 import { dummyRange } from "../typecheck/defaultImports";
 import { unsafeParse } from "../parser";

src/analysis/analyse.ts

@@ -3,7 +3,7 @@ import {
   InvalidPipe,
   OccursCheck,
   TypeMismatch_REWRITE,
-} from "../errors";
+} from "./errors";
 import {
   Binding,
   ConstLiteral,

src/errors.test.ts → src/analysis/errors.test.ts

@@ -1,7 +1,7 @@
 import { describe, expect, test } from "vitest";
 import { errorInfoToString } from "./errors";
-import { unsafeParse } from "./parser";
-import { typecheck } from "./typecheck";
+import { unsafeParse } from "../parser";
+import { typecheck } from "../typecheck";
 
 describe(errorInfoToString.name, () => {
   test("unbound variable", () => {

src/errors.ts → src/analysis/errors.ts

@@ -1,9 +1,9 @@
-import { showErrorLine } from "./utils/showErrorLine";
-import { Range } from "./parser";
-import { Type as LegacyType } from "./typecheck/type";
-import { Type, typePPrint } from "./type";
-import { typeToString } from "./typecheck";
-import { col, withDisabled } from "./utils/colors";
+import { showErrorLine } from "../utils/showErrorLine";
+import { Range } from "../parser";
+import { Type as LegacyType } from "../typecheck/type";
+import { Type, typePPrint } from "../type";
+import { typeToString } from "../typecheck";
+import { col, withDisabled } from "../utils/colors";
 
 export type Severity = "error" | "warning";
 

src/analysis/index.ts

@@ -0,0 +1,2 @@
+export * from "./analyse";
+export * from "./errors";

src/analysis/resolution.test.ts

@@ -1,7 +1,7 @@
 import { test, expect, vi } from "vitest";
 import { ResolutionAnalysis } from "./resolution";
 import { unsafeParse } from "../parser";
-import { CyclicDefinition } from "../errors";
+import { CyclicDefinition } from "./errors";
 
 test("allow declarations in swapped order", () => {
   const src = unsafeParse(`

src/analysis/resolution.ts

@@ -12,7 +12,7 @@ import {
   UnboundType,
   UnboundVariable,
   UnusedVariable,
-} from "../errors";
+} from "./errors";
 import {
   Binding,
   TypeAst,

src/analysis/typesHydration.ts

@@ -5,7 +5,7 @@ import {
   InvalidTypeArity,
   TypeParamShadowing,
   UnboundTypeParam,
-} from "../errors";
+} from "./errors";
 import {
   PolyTypeAst,
   Range,

src/cli/commands/lspCmd.ts

@@ -33,7 +33,7 @@ import {
   getInlayHints,
 } from "../../typecheck";
 import { readProjectWithDeps } from "../common";
-import { ErrorInfo, Severity } from "../../errors";
+import { ErrorInfo, Severity } from "../../analysis/errors";
 import { withDisabled } from "../../utils/colors";
 import { format } from "../../format";
 import { Config, readConfig } from "../config";

src/cli/common.ts

@@ -11,7 +11,7 @@ import { compileProject, defaultEntryPoint } from "../compiler";
 import { col } from "../utils/colors";
 import { Config, readConfig } from "./config";
 import { join } from "node:path";
-import { errorInfoToString } from "../errors";
+import { errorInfoToString } from "../analysis/errors";
 import * as paths from "./paths";
 
 export const EXTENSION = "kes";

src/index.ts

@@ -2,7 +2,7 @@ export * from "./parser";
 export * from "./format";
 export * from "./compiler";
 export * from "./typecheck";
-export * from "./errors";
+export * from "./analysis/errors";
 export type {
   Variant,
   Item,

src/typecheck/resolutionStep.ts

@@ -43,7 +43,7 @@ import {
   UnusedExposing,
   UnusedImport,
   UnusedVariable,
-} from "../errors";
+} from "../analysis/errors";
 import { FramesStack } from "./frame";
 
 export type Deps = Record<string, TypedModule>;

src/typecheck/typecheck.test.ts

@@ -33,7 +33,7 @@ import {
   UnusedImport,
   UnusedVariable,
   TraitNotSatified,
-} from "../errors";
+} from "../analysis/errors";
 import { TraitImpl } from "./defaultImports";
 
 test("infer int", () => {

src/typecheck/typecheck.ts

@@ -46,7 +46,7 @@ import {
   TraitNotSatified,
   TypeMismatch,
   UnboundTypeParam,
-} from "../errors";
+} from "../analysis/errors";
 import { castAst, findFieldInModule } from "./resolutionStep";
 import { createRecordGraph, topsort } from "../data/graph";