import { SourceLocation } from "./ast";
export declare class IncompleteParseError extends Error {
    readonly name: "IncompleteParseError";
    constructor(msg: string);
}
export declare class ParsingError extends Error {
    readonly name: "ParsingError";
    loc: null | SourceLocation;
    constructor(syn: SourceLocation | {
        loc?: SourceLocation;
    }, msg: string);
}
export declare class TypingError extends Error {
    readonly name: "TypingError";
    loc: null | SourceLocation;
    constructor(syn: {
        loc?: SourceLocation;
    }, msg: string, ...hints: string[]);
}
export declare class ImpossibleError extends Error {
    readonly name: "ImpossibleError";
    constructor(msg: string);
}
export declare class NonterminationError extends Error {
    readonly name: "NonterminationError";
    constructor();
}
export declare class AbortError extends Error {
    readonly name: "AbortError";
    constructor(source: null | "assert" | "requires" | "ensures" | "loop_invariant", msg: string);
}
export declare class ArithmeticError extends Error {
    readonly name: "ArithmeticError";
    constructor(msg: "division by zero" | "out-of-bounds division" | "shift out of range");
}
export declare class FailureError extends Error {
    readonly name: "FailureError";
    constructor(msg: string);
}
export declare class MemoryError extends Error {
    readonly name: "MemoryError";
    constructor(msg: string);
}