@putout/printer 18.25.0 → 18.27.0

package/ChangeLog

@@ -1,3 +1,13 @@
+2026.07.02, v18.27.0
+
+feature:
+- 45cb944d @putout/printer: type-checker: types
+
+2026.06.27, v18.26.0
+
+feature:
+- 510702c0 @putout/printer: type-checker: improve handling of absent arrow
+
 2026.06.27, v18.25.0
 
 feature:

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

@@ -30,8 +30,8 @@ export const isNewlineAfterComma = createTypeChecker([
 
 const isSimpleBetweenObjects = createTypeChecker([
     ['+', callWithNext(isObjectExpression)],
-    ['-: SpreadElement'],
-    ['-: Identifier'],
+    ['-: -> SpreadElement'],
+    ['-: -> Identifier'],
     ['+: -> !CallExpression'],
 ]);
 

package/lib/tokenize/expressions/binary-expression/is-concatenation.js

@@ -6,7 +6,7 @@ export const isConcatenation = createTypeChecker([
     ['-: parentPath -> ReturnStatement'],
     ['-: node.operator -> !', isPlus],
     ['-: node.loc', isSameLine],
-    ['+: BinaryExpression'],
+    ['+: -> BinaryExpression'],
 ]);
 
 function isSameLine(loc) {

package/lib/tokenize/type-checker/instrument.d.ts

@@ -0,0 +1,19 @@
+type TypeChecker = (path: unknown, options?: Record<string, unknown>) => boolean;
+type CoverageEntry = {
+    covered: Set<number>;
+    typeNames: unknown[];
+};
+type InstrumentOverride = {
+    env?: {
+        TYPE_CHECK?: string;
+        [key: string]: unknown;
+    };
+    coverage?: Map<string, CoverageEntry>;
+    instrumentName?: string;
+    [key: string]: unknown;
+};
+
+export function instrument(typeNames: unknown[], fn: TypeChecker, overrides?: InstrumentOverride): TypeChecker;
+
+export function getCoverage(): Map<string, CoverageEntry>;
+

package/lib/tokenize/type-checker/report.d.ts

@@ -0,0 +1,7 @@
+type CoverageEntry = {
+    covered: Set<number>;
+    typeNames: unknown[];
+};
+
+export function report(coverage: Map<string, CoverageEntry>): [number, string];
+

package/lib/tokenize/type-checker/type-checker.d.ts

@@ -0,0 +1,9 @@
+type TypeChecker = (path: unknown, options?: Record<string, unknown>) => boolean;
+type TypeCheckerOverride = {
+    instrumentCoverage?: (typeNames: unknown[], fn: TypeChecker, overrides?: Record<string, unknown>) => TypeChecker;
+    instrumentName?: string;
+    [key: string]: unknown;
+};
+
+export function createTypeChecker(typeNames: unknown[], overrides?: TypeCheckerOverride): TypeChecker;
+

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

@@ -3,6 +3,8 @@ import {instrument as _instrument} from '#type-checker/instrument';
 import {parseOperation, parseTypeNames} from './parsers.js';
 import {equal, maybeCall} from './comparators.js';
 
+const isString = (a) => typeof a === 'string';
+
 const SKIP = [
     Infinity,
     false,
@@ -29,6 +31,7 @@ export const createTypeChecker = (typeNames, overrides = {}) => {
     }
     
     validateResults(results);
+    validateTypeNames(checkers);
     
     const typeChecker = (path, options) => {
         for (const [index, {result, selector, typeName, not}] of checkers.entries()) {
@@ -54,3 +57,12 @@ function validateResults(results) {
     if (!results.has(true))
         throw Error(`☝️Looks like type checker missing successful route ('+'), it will always fail`);
 }
+
+const hasTypeName = ({typeName}) => isString(typeName);
+
+function validateTypeNames(checkers) {
+    for (const {typeName} of checkers.filter(hasTypeName)) {
+        if (typeName.includes(':'))
+            throw Error(`☝️Looks like typeName includes ':', most likely you forget the arrow: ' -> '`);
+    }
+}

package/lib/tokenize/type-checker/when-tests-ends.d.ts

@@ -0,0 +1,15 @@
+type WhenTestsEndsOverride = {
+    log?: (message: string) => void;
+    getCoverage?: () => Map<string, {
+        covered: Set<number>;
+        typeNames: unknown[];
+    }>;
+    report?: (coverage: Map<string, {
+        covered: Set<number>;
+        typeNames: unknown[];
+    }>) => [number, string];
+    [key: string]: unknown;
+};
+
+export function whenTestsEnds(overrides?: WhenTestsEndsOverride): number;
+

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@putout/printer",
-  "version": "18.25.0",
+  "version": "18.27.0",
   "type": "module",
   "author": "coderaiser <mnemonic.enemy@gmail.com> (https://github.com/coderaiser)",
   "description": "Simplest possible opinionated Babel AST printer for 🐊Putout",

package/tsconfig.json

@@ -1,9 +0,0 @@
-{
-    "compilerOptions": {
-        "moduleResolution": "nodenext",
-        "module": "NodeNext",
-        "target": "es2015",
-        "skipLibCheck": true
-    },
-    "include": ["lib/printer.d.ts", "test/*.ts"]
-}