bamts-compiler 0.1.0

TypeScript/JavaScript compiler frontend for BamTS
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

use crate::{checker::SemanticHazard, diagnostic::Diagnostic};

use super::{SemanticRuleContext, emit};

pub(super) fn analyze(context: &SemanticRuleContext<'_>, diagnostics: &mut Vec<Diagnostic>) {
    emit(
        context,
        diagnostics,
        SemanticHazard::DeclarationInferenceDependency,
        "BAMTS-W028",
        "exported declaration requires cross-file inference",
        "add an explicit public annotation using exported named types",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::TypeImportedAsValue,
        "BAMTS-W031",
        "type-only symbol is imported as a value",
        "insert `type` in the import specifier or use `import type`",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::TypeReexportedAsValue,
        "BAMTS-W032",
        "type-only symbol is re-exported as a value",
        "insert `type` in the export specifier or use `export type`",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::UncheckedSideEffectImport,
        "BAMTS-W035",
        "side-effect import has no resolved module edge",
        "resolve the module or declare the host-provided virtual module",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::InteropDependentDefaultImport,
        "BAMTS-W037",
        "default import depends on synthetic CommonJS interop",
        "use a namespace import or provide a real ESM default export",
    );
    emit(
        context,
        diagnostics,
        SemanticHazard::CjsEsmNamedExportMismatch,
        "BAMTS-W086",
        "named import is absent from the CommonJS module's static exports",
        "use the CommonJS default export or import a statically exported name",
    );
}