PROFILE_KEYS

tcmts.core.program.PROFILE_KEYS · #bne2jpta · term · runs anywhere

The options that decide whether code typechecks (strictness, lib, target). A definition is valid under the options it was checked with, so it records these and is re-checked with them later (verify, update, receive).

export const PROFILE_KEYS = [
  "strict", "noImplicitAny", "strictNullChecks", "strictFunctionTypes", "strictBindCallApply", "strictPropertyInitialization",
  "strictBuiltinIteratorReturn", "noImplicitThis", "useUnknownInCatchVariables", "alwaysStrict", "exactOptionalPropertyTypes",
  "noUncheckedIndexedAccess", "noImplicitReturns", "noImplicitOverride", "noPropertyAccessFromIndexSignature", "lib", "target",
] as const

used by

• tcmts.core.program.CheckProfile
• tcmts.core.program.checkProfile