import type { TypeCheckError } from "./types.js";
import type { AgencyConfig } from "../config.js";
/**
 * Run the full typecheck pipeline on a source string and return errors.
 * Goes through parse → SymbolTable.build → buildCompilationUnit → typeCheck
 * so `info` (CompilationUnit) is populated — without it `ctx.functionDefs`,
 * `ctx.nodeDefs`, and `ctx.getTypeAliases()` are empty and diagnostics that
 * read them would silently never fire.
 *
 * Writes to a temp .agency file because SymbolTable.build resolves imports
 * by path. The programs here import nothing, so os.tmpdir() is fine.
 */
export declare function typecheckSource(src: string, config?: AgencyConfig): TypeCheckError[];
export declare function raisesErrors(src: string): TypeCheckError[];