@putout/printer 17.12.0 → 18.0.0

package/ChangeLog

@@ -1,3 +1,22 @@
+2026.03.04, v18.0.0
+
+feature:
+- 1aaf942 @putout/printer: ArrayExpression: newline: is more then max element length in one line
+- a0d465b @putout/printer: maxElementLengthInOneLine: 10 -> 15
+- eea22ae @putout/printer: BlockStatement: newline: simplify
+- c9c9f34 @putout/printer: BlockStatement: isMethodOrArrow: simplify
+- 010780c @putout/printer: private-imports: #type-checker
+- 9a4b938 BlockStatements: apply type-checker
+- 9357d36 type-checker: simplify
+
+2026.03.04, v17.13.0
+
+feature:
+- 4af358d @putout/printer: type-checker: expression
+- e3da216 @putout/printer: type-checker: improve dsl
+- 93986ce @putout/printer: type checker: add
+- 6a86e86 @putout/printer: type-checker: add
+
 2026.03.03, v17.12.0
 
 feature:

package/README.md

@@ -97,7 +97,7 @@ print(ast, {
         comments: true,
         maxSpecifiersInOneLine: 2,
         maxElementsInOneLine: 3,
-        maxElementLengthInOneLine: 10,
+        maxElementLengthInOneLine: 15,
         maxLogicalsInOneLine: 3,
         maxVariablesInOneLine: 4,
         maxTypesInOneLine: 3,

package/lib/tokenize/expressions/array-expression/newline.js

@@ -1,5 +1,6 @@
 import {isSimple} from '@putout/operate';
 import {types} from '@putout/babel';
+import {createTypeChecker} from '#type-checker';
 import {
     isStringAndMember,
     isStringAndIdentifier,
@@ -8,6 +9,7 @@ import {
     isStringAndArray,
     isIdentifierAndIdentifier,
     isSimpleAndNotEmptyObject,
+    isInsideCall,
 } from '#is';
 
 const {
@@ -57,6 +59,27 @@ const isSiblingIsArray = (path) => {
         .isArrayExpression();
 };
 
+const isEmptyArray = (path) => !path.node.elements.length;
+const isAllLiterals = (path) => {
+    const {elements} = path.node;
+    const literals = elements.filter(isStringLiteral);
+    
+    return literals.length !== elements.length;
+};
+
+const isMoreThenMaxLiteralLength = (path, {maxElementLengthInOneLine}) => {
+    const [first] = path.node.elements;
+    
+    return first.value.length > maxElementLengthInOneLine;
+};
+
+const isMoreThenMaxElementLengthInOneLine = createTypeChecker([
+    ['-', isEmptyArray],
+    ['-: -> !', isInsideCall],
+    ['-', isAllLiterals],
+    ['+', isMoreThenMaxLiteralLength],
+]);
+
 function isMaxElementLengthInOneLine(elements, maxElementLengthInOneLine) {
     if (elements.length > 1)
         return false;
@@ -75,6 +98,9 @@ export const isMultiLine = (path, {elements, maxElementsInOneLine, maxElementLen
     if (isMaxElementLengthInOneLine(elements, maxElementLengthInOneLine))
         return ONE_LINE;
     
+    if (isMoreThenMaxElementLengthInOneLine(path, {elements, maxElementLengthInOneLine}))
+        return MULTI_LINE;
+    
     if (elements.length > maxElementsInOneLine && isStringLiteral(first))
         return MULTI_LINE;
     
@@ -194,9 +220,6 @@ function isOneSimple(path) {
     
     const [first] = elements;
     
-    if (first.isIdentifier() && first.node.name.length < 15)
-        return true;
-    
     if (first.isStringLiteral() && first.node.value.length > 10)
         return false;
     
@@ -288,12 +311,10 @@ export function isIncreaseIndent(path) {
     return isStringAndObject(elements);
 }
 
-function isInsideCallLoop(path) {
-    if (!path.parentPath.isCallExpression())
-        return false;
-    
-    return path.parentPath.parentPath.isForOfStatement();
-}
+const isInsideCallLoop = createTypeChecker([
+    ['-: -> !', isInsideCall],
+    '+: parentPath.parentPath -> ForOfStatement',
+]);
 
 const isStringAndObject = (elements) => {
     const first = elements.at(0);
@@ -308,3 +329,4 @@ export const isCurrentNewLine = (path) => {
     
     return !path.isObjectExpression();
 };
+

package/lib/tokenize/expressions/assignment-expression/assignment-expression.js

@@ -38,4 +38,3 @@ export const AssignmentExpression = maybeParens({
 
 AssignmentExpression.printLeadingCommentLine = printLeadingCommentLine;
 AssignmentExpression.printLeadingCommentBlock = printLeadingCommentBlock;
-

package/lib/tokenize/expressions/class/class.js

@@ -1,22 +1,18 @@
 import {types} from '@putout/babel';
-import {isNext} from '#is';
+import {
+    hasBody,
+    isInsideTSModuleBlock,
+    isNext,
+} from '#is';
 import {markAfter} from '#mark';
 import {maybeDeclare} from '../../maybe/maybe-declare.js';
 import {parseComments} from '../../comment/comment.js';
 import {maybeDecorators} from '../../maybe/maybe-decorators.js';
 
-const isInsideTSModuleBlock = (path) => {
-    return isTSModuleBlock(path.parentPath.parentPath);
-};
-
-const {
-    isFunction,
-    isTSModuleBlock,
-} = types;
+const {isFunction} = types;
 
 const isInsideExport = ({parentPath}) => parentPath.isExportDeclaration();
 const isFunctionLike = (path) => isFunction(path.parentPath.parentPath);
-const hasBody = ({node}) => node.body.body.length;
 
 const classVisitor = maybeDecorators((path, printer, semantics) => {
     const {

package/lib/tokenize/expressions/function/function-declaration.js

@@ -1,21 +1,36 @@
 import {types} from '@putout/babel';
-import {isNext, isNextParent} from '#is';
 import {printParams} from '#print-params';
 import {markAfter} from '#mark';
-
-const not = (fn) => (...a) => !fn(...a);
-const notInsideExportDefaultWithBody = not(isInsideExportDefaultWithBody);
+import {
+    isInsideTSModuleBlock,
+    isNext,
+    isNextParent,
+} from '#is';
+import {createTypeChecker} from '#type-checker';
 
 const {
     isAssignmentExpression,
-    isTSModuleBlock,
-    isBlockStatement,
     isExportNamedDeclaration,
     isExpressionStatement,
     isFunctionDeclaration,
-    isExportDefaultDeclaration,
 } = types;
 
+const hasFnBody = ({node}) => node.body.body.length;
+
+const isInsideExportDefaultWithBody = createTypeChecker([
+    '-: parentPath -> !ExportDefaultDeclaration',
+    ['+', hasFnBody],
+]);
+
+const isInsideBlockLike = createTypeChecker([
+    ['+', isInsideTSModuleBlock],
+    '-: parentPath -> !BlockStatement',
+    ['+: -> !', hasFnBody],
+]);
+
+const not = (fn) => (...a) => !fn(...a);
+const notInsideExportDefaultWithBody = not(isInsideExportDefaultWithBody);
+
 const isInsideNamedExport = ({parentPath}) => isExportNamedDeclaration(parentPath);
 
 export const FunctionDeclaration = {
@@ -74,22 +89,3 @@ const isNextAssign = (path) => {
     
     return isAssignmentExpression(next.node.expression);
 };
-
-function isInsideBlockLike(path) {
-    const {parentPath} = path;
-    
-    if (isTSModuleBlock(parentPath.parentPath))
-        return true;
-    
-    if (!isBlockStatement(parentPath))
-        return false;
-    
-    return !path.node.body.body.length;
-}
-
-function isInsideExportDefaultWithBody(path) {
-    if (!isExportDefaultDeclaration(path.parentPath))
-        return false;
-    
-    return path.node.body.body.length;
-}

package/lib/tokenize/expressions/object-expression/object-expression.js

@@ -8,6 +8,7 @@ import {
     noLeadingComment,
     hasLeadingComment,
     exists,
+    isInsideCall,
 } from '#is';
 import {parseComments} from '../../comment/comment.js';
 import {isInsideTuple} from './is-inside-tuple.js';
@@ -37,8 +38,6 @@ const isMemberExpressionCallee = ({parentPath}) => {
     return isLooksLikeChain(callee);
 };
 
-const isInsideCall = ({parentPath}) => parentPath.isCallExpression();
-
 function isInsideNestedArrayCall({parentPath}) {
     if (!isArrayExpression(parentPath))
         return false;

package/lib/tokenize/is.js

@@ -1,4 +1,5 @@
 import {types} from '@putout/babel';
+import {createTypeChecker} from '#type-checker';
 
 const {
     isStringLiteral,
@@ -12,11 +13,26 @@ const {
     isObjectExpression,
     isLabeledStatement,
     isTryStatement,
+    isProgram,
+    isBlockStatement,
+    isTSModuleBlock,
 } = types;
 
-export const isParentProgram = (path) => path.parentPath?.isProgram();
-export const isParentBlock = (path) => path.parentPath.isBlockStatement();
-export const isInsideBlockLike = (path) => /^(Program|BlockStatement|TSModuleBlock|SwitchCase)$/.test(path.parentPath.type);
+export const isParentProgram = (path) => isProgram(path.parentPath);
+export const isParentBlock = (path) => isBlockStatement(path.parentPath);
+
+export const isParentBlockLike = createTypeChecker('path.parentPath', [
+    'Program',
+    'BlockStatement',
+    'TSModuleBlock',
+    'SwitchCase',
+]);
+
+export const isInsideTSModuleBlock = ({parentPath}) => {
+    return isTSModuleBlock(parentPath?.parentPath);
+};
+
+export const isInsideCall = ({parentPath}) => parentPath.isCallExpression();
 
 export const isNext = (path) => {
     const next = path.getNextSibling();
@@ -27,6 +43,10 @@ export const isNext = (path) => {
     return !next.isEmptyStatement();
 };
 
+export const hasBody = ({node}) => node.body.body.length;
+
+export const hasEmptyBody = (path) => !path.node.body.length;
+
 export const isNextTry = (path) => {
     return isTryStatement(path.getNextSibling());
 };
@@ -178,4 +198,3 @@ export const hasLeadingComment = (path) => path.node?.leadingComments?.length;
 
 export const noTrailingComment = (path) => !path.node.trailingComments?.length;
 export const noLeadingComment = (path) => !path.node.leadingComments?.length;
-

package/lib/tokenize/overrides/overrides.js

@@ -33,7 +33,7 @@ const initSemantics = (format, semantics = {}) => ({
     maxPropertiesLengthInOneLine: 15,
     maxSpecifiersInOneLine: 2,
     maxElementsInOneLine: 5,
-    maxElementLengthInOneLine: 10,
+    maxElementLengthInOneLine: 15,
     maxLogicalsInOneLine: 3,
     maxVariablesInOneLine: 4,
     maxTypesInOneLine: 3,

package/lib/tokenize/statements/block-statement/block-statement-newline.js

@@ -0,0 +1,98 @@
+import {types} from '@putout/babel';
+import {createTypeChecker} from '#type-checker';
+import {
+    isNext,
+    isParentProgram,
+    isLast,
+    exists,
+    satisfy,
+    isParentBlock,
+} from '#is';
+import {insideIfWithNoBody} from './inside-if-with-no-body.js';
+
+const parentIfWithoutElse = ({parentPath}) => {
+    if (!parentPath.isIfStatement())
+        return false;
+    
+    return !parentPath.node.alternate;
+};
+
+const {
+    isFunctionDeclaration,
+    isExportDeclaration,
+    isDoWhileStatement,
+} = types;
+
+const isTopLevelWithNoNext = (path) => {
+    if (isNext(path))
+        return false;
+    
+    return !isNext(path.parentPath) && isParentProgram(path.parentPath);
+};
+
+const isInsideDoWhile = ({parentPath}) => isDoWhileStatement(parentPath);
+const isMethodOrArrow = createTypeChecker(['ArrowFunctionExpression', 'ObjectMethod']);
+const isInsideFn = (path) => path.find(isMethodOrArrow);
+
+const isInsideIfWithoutElseInsideFn = createTypeChecker([
+    ['-: -> !', parentIfWithoutElse],
+    ['+', isInsideFn],
+]);
+
+const isEmptyBodyNoNext = (path) => {
+    const {parentPath} = path;
+    return parentPath.isStatement() && !path.node.body.length && !isNext(parentPath);
+};
+
+const isLooksLikeInsideFn = ({parentPath}) => {
+    return /FunctionExpression/.test(parentPath.type);
+};
+
+const isNoNewline = satisfy([
+    isInsideDoWhile,
+    isTopLevelWithNoNext,
+    insideIfWithNoBody,
+]);
+
+export const shouldAddNewlineAfter = createTypeChecker([
+    ['+', isParentBlock],
+    ['-', isNoNewline],
+    ['+', isInsideIfWithoutElseInsideFn],
+    ['-', isEmptyBodyNoNext],
+    ['-', isTry],
+    ['-', isLooksLikeInsideFn],
+    ['-', isLast],
+    ['-', isExportFunction],
+    ['+: -> !', isNextIfAlternate],
+]);
+
+function isExportFunction(path) {
+    if (!isFunctionDeclaration(path.parentPath))
+        return false;
+    
+    if (!isExportDeclaration(path.parentPath?.parentPath))
+        return false;
+    
+    return !isNext(path.parentPath?.parentPath);
+}
+
+function isNextIfAlternate(path) {
+    const {parentPath} = path;
+    
+    if (!parentPath.isIfStatement())
+        return false;
+    
+    const alternate = parentPath.get('alternate');
+    
+    if (path === alternate)
+        return false;
+    
+    return exists(alternate);
+}
+
+function isTry({parentPath}) {
+    if (parentPath.isTryStatement())
+        return true;
+    
+    return parentPath.parentPath?.isTryStatement();
+}

package/lib/tokenize/statements/block-statement/block-statement.js

@@ -1,30 +1,18 @@
 import {types} from '@putout/babel';
 import {markAfter} from '#mark';
-import {
-    isNext,
-    isParentProgram,
-    isLast,
-    exists,
-    satisfy,
-    isParentBlock,
-} from '#is';
+import {isNext} from '#is';
 import {parseComments} from '../../comment/comment.js';
-import {insideIfWithNoBody} from './inside-if-with-no-body.js';
 import {getDirectives} from './get-directives.js';
 import {isCallInsideChain} from './is-call-inside-chain.js';
+import {shouldAddNewlineAfter} from './block-statement-newline.js';
 
 const {
-    isArrowFunctionExpression,
     isObjectMethod,
-    isFunctionDeclaration,
-    isExportDeclaration,
-    isDoWhileStatement,
     isArrayExpression,
 } = types;
 
 const isFirstStatement = (path) => path.node.body[0];
 const isFirstDirective = (path) => path.node.directives?.[0];
-const isMethodOrArrow = (path) => isArrowFunctionExpression(path) || isObjectMethod(path);
 
 const isInsideArrayTupleOfThree = (path) => {
     const {parentPath} = path.parentPath;
@@ -37,13 +25,6 @@ const isInsideArrayTupleOfThree = (path) => {
     return length === 3;
 };
 
-const parentIfWithoutElse = ({parentPath}) => {
-    if (!parentPath.isIfStatement())
-        return false;
-    
-    return !parentPath.node.alternate;
-};
-
 export const BlockStatement = {
     print(path, printer, semantics) {
         const {trailingComma} = semantics;
@@ -102,93 +83,3 @@ export const BlockStatement = {
         markAfter(path.parentPath);
     },
 };
-
-const isTopLevelWithNoNext = (path) => {
-    if (isNext(path))
-        return false;
-    
-    return !isNext(path.parentPath) && isParentProgram(path.parentPath);
-};
-
-const isInsideIfWithoutElseInsideFn = (path) => {
-    return parentIfWithoutElse(path) && path.find(isMethodOrArrow);
-};
-
-const isEmptyBodyNoNext = (path) => {
-    const {parentPath} = path;
-    return parentPath.isStatement() && !path.node.body.length && !isNext(parentPath);
-};
-
-const isLooksLikeInsideFn = ({parentPath}) => {
-    return /FunctionExpression/.test(parentPath.type);
-};
-
-const NEWLINE = true;
-const NO_NEWLINE = false;
-
-const isInsideDoWhile = ({parentPath}) => isDoWhileStatement(parentPath);
-
-const isNoNewline = satisfy([
-    isInsideDoWhile,
-    isTopLevelWithNoNext,
-    insideIfWithNoBody,
-]);
-
-function shouldAddNewlineAfter(path) {
-    if (isParentBlock(path))
-        return NEWLINE;
-    
-    if (isNoNewline(path))
-        return NO_NEWLINE;
-    
-    if (isInsideIfWithoutElseInsideFn(path))
-        return NEWLINE;
-    
-    if (isEmptyBodyNoNext(path))
-        return NO_NEWLINE;
-    
-    if (isTry(path))
-        return NO_NEWLINE;
-    
-    if (isLooksLikeInsideFn(path))
-        return NO_NEWLINE;
-    
-    if (isLast(path))
-        return NO_NEWLINE;
-    
-    if (isExportFunction(path))
-        return NO_NEWLINE;
-    
-    return !isNextIfAlternate(path);
-}
-
-function isExportFunction(path) {
-    if (!isFunctionDeclaration(path.parentPath))
-        return false;
-    
-    if (!isExportDeclaration(path.parentPath?.parentPath))
-        return false;
-    
-    return !isNext(path.parentPath?.parentPath);
-}
-
-function isNextIfAlternate(path) {
-    const {parentPath} = path;
-    
-    if (!parentPath.isIfStatement())
-        return false;
-    
-    const alternate = parentPath.get('alternate');
-    
-    if (path === alternate)
-        return false;
-    
-    return exists(alternate);
-}
-
-function isTry({parentPath}) {
-    if (parentPath.isTryStatement())
-        return true;
-    
-    return parentPath.parentPath?.isTryStatement();
-}

package/lib/tokenize/statements/if-statement/if-statement.js

@@ -1,10 +1,11 @@
 import {types} from '@putout/babel';
+import {markAfter} from '#mark';
 import {
     exists,
     isNext,
     isInsideIf,
+    hasEmptyBody,
 } from '#is';
-import {markAfter} from '#mark';
 import {
     printTrailingCommentBlock,
     printTrailingCommentLine,
@@ -42,8 +43,6 @@ const isInsideNestedBody = ({parentPath}) => {
     return parentPath.parentPath.type === 'BlockStatement';
 };
 
-const isEmptyBody = (path) => !path.node.body.length;
-
 const isLastEmptyInsideBody = (path) => {
     const {parentPath} = path;
     
@@ -85,7 +84,7 @@ export const IfStatement = {
             print(consequent);
             
             if (isInsideIf(path.parentPath) || isInsideNestedBody(path))
-                maybe.print.newline(isEmptyBody(consequent));
+                maybe.print.newline(hasEmptyBody(consequent));
         } else {
             const is = !isEmptyConsequent(path);
             

package/lib/tokenize/statements/variable-declaration/variable-declaration.js

@@ -1,12 +1,13 @@
 import {types} from '@putout/babel';
 import {hasPrevNewline} from '#mark';
+import {createTypeChecker} from '#type-checker';
 import {
     isNext,
     isCoupleLines,
     isNewlineBetweenSiblings,
     exists,
     noTrailingComment,
-    isInsideBlockLike,
+    isParentBlockLike,
 } from '#is';
 import {maybeSpaceAfterKeyword} from './maybe-space-after-keyword.js';
 import {isConcatenation} from '../../expressions/binary-expression/concatenate.js';
@@ -16,11 +17,17 @@ import {maybeDeclare} from '../../maybe/maybe-declare.js';
 const {isExportDeclaration} = types;
 
 const isParentTSModuleBlock = (path) => path.parentPath.isTSModuleBlock();
-const isParentBlock = (path) => /Program|BlockStatement|Export|LabeledStatement/.test(path.parentPath.type);
 const isParentSwitchCase = (path) => path.parentPath.isSwitchCase();
 const isFirstInSwitch = (path) => path.parentPath.get('consequent.0') === path;
 const isParentIf = (path) => path.parentPath.isIfStatement();
 
+const isParentBlock = createTypeChecker('path.parentPath', [
+    'Program',
+    'BlockStatement',
+    'ExportNamedDeclaration',
+    'LabeledStatement',
+]);
+
 export const VariableDeclaration = {
     beforeIf: shouldAddNewlineBefore,
     before(path, {print}) {
@@ -29,7 +36,7 @@ export const VariableDeclaration = {
     print: maybeDeclare((path, {maybe, store, write, traverse, print, indent}, semantics) => {
         const {maxVariablesInOneLine} = semantics;
         
-        maybe.indent(isInsideBlockLike(path));
+        maybe.indent(isParentBlockLike(path));
         
         write(path.node.kind);
         maybeSpaceAfterKeyword(path, {

package/lib/tokenize/type-checker/comparators.js

@@ -0,0 +1,24 @@
+const isFn = (a) => typeof a === 'function';
+const isString = (a) => typeof a === 'string';
+
+export const equal = (not, a, b) => {
+    if (!isString(b))
+        return false;
+    
+    if (not)
+        return a !== b;
+    
+    return a === b;
+};
+
+export const maybeCall = (fn, not, a, options) => {
+    if (!isFn(fn))
+        return false;
+    
+    const result = fn(a, options);
+    
+    if (not)
+        return !result;
+    
+    return result;
+};

package/lib/tokenize/type-checker/create-tuple.js

@@ -0,0 +1,17 @@
+export function createTuple(typeName) {
+    const afterSplit = typeName.split(' ');
+    const typeWithNot = afterSplit.pop();
+    const array = typeWithNot.split('!');
+    const operation = afterSplit.join(' ');
+    
+    if (array.length === 1)
+        return [
+            `${operation} `,
+            typeWithNot,
+        ];
+    
+    return [
+        `${operation} !`,
+        array[1],
+    ];
+}

package/lib/tokenize/type-checker/parsers.js

@@ -0,0 +1,51 @@
+import {isArray} from '@putout/compare/lib/is.js';
+import {createTuple} from './create-tuple.js';
+
+const isString = (a) => typeof a === 'string';
+
+export const parseOperation = (operation) => {
+    const [result, command] = operation.split(':');
+    const parsedResult = parseResult(result);
+    
+    if (!command)
+        return [parsedResult, '', ''];
+    
+    const [selector, not] = command.split(' -> ');
+    
+    return [parsedResult, selector.trim(), not];
+};
+
+const parseResult = (a) => a === '+';
+
+export function parseTypeNames(typeNames) {
+    const tuples = [];
+    
+    if (isArray(typeNames)) {
+        for (const typeName of typeNames) {
+            if (isArray(typeName)) {
+                tuples.push(typeName);
+                continue;
+            }
+            
+            if (isString(typeName) && typeName.includes(' -> ')) {
+                const tuple = createTuple(typeName);
+                tuples.push(tuple);
+                continue;
+            }
+            
+            tuples.push(['+', typeName]);
+        }
+        
+        return tuples;
+    }
+    
+    for (const typeName of typeNames.include) {
+        tuples.push(['+', typeName]);
+    }
+    
+    for (const typeName of typeNames.exclude) {
+        tuples.push(['-', typeName]);
+    }
+    
+    return tuples;
+}

package/lib/tokenize/type-checker/type-checker.js

@@ -0,0 +1,40 @@
+import {jessy} from 'jessy';
+import {parseOperation, parseTypeNames} from './parsers.js';
+import {equal, maybeCall} from './comparators.js';
+
+export const createTypeChecker = (deepness, typeNames) => {
+    if (!typeNames) {
+        typeNames = deepness;
+        deepness = '';
+    }
+    
+    const tuples = parseTypeNames(typeNames);
+    
+    return (path, options) => {
+        let i = deepness.split('.').length;
+        
+        while (--i)
+            path = path?.parentPath;
+        
+        if (!path)
+            return false;
+        
+        for (const [operation, typeName] of tuples) {
+            const [result, selector, not] = parseOperation(operation);
+            let currentPath = path;
+            
+            if (selector)
+                currentPath = jessy(selector, path);
+            
+            const {type} = currentPath;
+            
+            if (equal(not, type, typeName))
+                return result;
+            
+            if (maybeCall(typeName, not, currentPath, options))
+                return result;
+        }
+        
+        return false;
+    };
+};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@putout/printer",
-  "version": "17.12.0",
+  "version": "18.0.0",
   "type": "module",
   "author": "coderaiser <mnemonic.enemy@gmail.com> (https://github.com/coderaiser)",
   "description": "Simplest possible opinionated Babel AST printer for 🐊Putout",
@@ -38,6 +38,7 @@
     "@putout/operate": "^15.0.0",
     "@putout/operator-json": "^3.1.0",
     "fullstore": "^4.0.0",
+    "jessy": "^5.0.0",
     "just-snake-case": "^3.2.0",
     "parse-import-specifiers": "^1.0.1",
     "rendy": "^5.0.0"
@@ -61,7 +62,8 @@
     "#maybe-parens": "./lib/tokenize/maybe/maybe-parens.js",
     "#print-params": "./lib/tokenize/expressions/function/params.js",
     "#import-attributes": "./lib/tokenize/statements/import-declaration/import-attribute.js",
-    "#types": "./lib/types.js"
+    "#types": "./lib/types.js",
+    "#type-checker": "./lib/tokenize/type-checker/type-checker.js"
   },
   "devDependencies": {
     "@babel/parser": "^7.28.5",