js-slang/dist/errors/base.js

Javascript-based implementations of Source, written in Typescript

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.ErrorSeverity = exports.ErrorType = void 0;
var ErrorType;
(function (ErrorType) {
    ErrorType["IMPORT"] = "Import";
    ErrorType["RUNTIME"] = "Runtime";
    ErrorType["SYNTAX"] = "Syntax";
    ErrorType["TYPE"] = "Type";
})(ErrorType || (exports.ErrorType = ErrorType = {}));
var ErrorSeverity;
(function (ErrorSeverity) {
    ErrorSeverity["WARNING"] = "Warning";
    ErrorSeverity["ERROR"] = "Error";
})(ErrorSeverity || (exports.ErrorSeverity = ErrorSeverity = {}));
//# sourceMappingURL=base.js.map