@kernlang/python 4.1.1-canary.226.1.c0be05e9 → 4.1.1-canary.228.1.41c150f2

package/dist/codegen-body-python.js

@@ -40,7 +40,7 @@
  *  threads a `indent` string. The propagation hoist embeds its own 4-space
  *  relative indent on the `return __k_tN` line; the wrapper prepends the
  *  surrounding indent so the post-emit result nests correctly. */
-import { applyTemplate, assertNoDecimalOperator, classifyRegexLiteralIndexReadFailClose, classifyRegexLiteralMemberReadFailClose, decimalBareConstructionFailMessage, emitStringKeyArray, expandRegexIFold, instanceofRhsPythonType, instanceofRhsRejectReasonForName, isHostNamespaceRoot, isPostfixMutationOperator, isSupportedAssignOperator, isZeroWidthCapableRegex, KERN_DECIMAL_OPS_HELPER_PY, KERN_STDLIB_MODULES, lookupStdlibCall, lookupStdlibProperty, lowerRegexAnchorsPython, lowerRegexNamedGroupsPython, needsArgParens, needsBinaryParens, normalizeRegexClasses, parseExpression, parseKeys, REGEX_EXEC_FAILCLOSE, REGEX_HOST_REGEXP_FAILCLOSE, REGEX_MATCHALL_NO_G_FAILCLOSE, REGEX_NONLITERAL_FAILCLOSE, REGEX_REPLACE_NONLITERAL_REPL_FAILCLOSE, REGEX_REPLACEALL_NO_G_FAILCLOSE, REGEX_SPLIT_LIMIT_FAILCLOSE, REGEX_SPLIT_ZEROWIDTH_FAILCLOSE, REGEX_TEST_G_FAILCLOSE, regexAstralFailMessage, regexCaptureMeta, regexIFoldFailMessage, regexLiteralReceiverIR, regexMethodRegexArgIdent, scanRegexAstral, suggestStdlibMethod, translateReplStringToPython, unmappedHostNamespaceMessage, unwrapTransparentReceiverIR, validateDecimalConstructionArg, validateDecimalDivModArgs, validateDecimalOperands, validateDecimalPowArgs, validateRegexNamedGroupsPortable, } from '@kernlang/core';
+import { applyTemplate, assertNoDecimalOperator, classifyRegexLiteralIndexReadFailClose, classifyRegexLiteralMemberReadFailClose, decimalBareConstructionFailMessage, emitStringKeyArray, expandRegexIFold, instanceofRhsPythonType, instanceofRhsRejectReasonForName, isHostNamespaceRoot, isPostfixMutationOperator, isSupportedAssignOperator, isZeroWidthCapableRegex, KERN_DECIMAL_OPS_HELPER_PY, KERN_STDLIB_MODULES, KERN_TEXT_OPS_HELPER_PY, lookupStdlibCall, lookupStdlibProperty, lowerRegexAnchorsPython, lowerRegexNamedGroupsPython, needsArgParens, needsBinaryParens, normalizeRegexClasses, parseExpression, parseKeys, REGEX_EXEC_FAILCLOSE, REGEX_HOST_REGEXP_FAILCLOSE, REGEX_MATCHALL_NO_G_FAILCLOSE, REGEX_NONLITERAL_FAILCLOSE, REGEX_REPLACE_NONLITERAL_REPL_FAILCLOSE, REGEX_REPLACEALL_NO_G_FAILCLOSE, REGEX_SPLIT_LIMIT_FAILCLOSE, REGEX_SPLIT_ZEROWIDTH_FAILCLOSE, REGEX_TEST_G_FAILCLOSE, regexAstralFailMessage, regexCaptureMeta, regexIFoldFailMessage, regexLiteralReceiverIR, regexMethodRegexArgIdent, scanRegexAstral, suggestStdlibMethod, translateReplStringToPython, unmappedHostNamespaceMessage, unwrapTransparentReceiverIR, validateDecimalConstructionArg, validateDecimalDivModArgs, validateDecimalOperands, validateDecimalPowArgs, validateRegexNamedGroupsPortable, } from '@kernlang/core';
 // Slice 0.9 — the TypeScript-AST closure helpers + classifier live on the Node
 // subpath (the barrel is browser-safe). Python codegen is Node-side and parses
 // block-bodied arrows, so it injects `typescriptClosureClassifier`.
@@ -1930,6 +1930,22 @@ function emitPyExprCtx(node, ctx) {
             if (arg.kind === 'ident' && arg.name === 'Error') {
                 return 'Exception()';
             }
+            // Milestone 5.1b — `new Map()` (EMPTY constructor only) → Python `dict()`.
+            // Without this, `new Map()` fell through to the generic `arg` emit path
+            // below and produced a bare, undefined `Map()` call (Python has no
+            // global `Map`) — a real pre-existing gap, closed here because the new
+            // Map.get/has/set stdlib slice needs a working Python-side constructor
+            // to be reachable at all. A non-empty form (`new Map([[k,v],...])`)
+            // still falls through unmapped (unsupported, not this slice's scope).
+            // Honors user shadowing via `isProvenUserBinding`, same as the RegExp
+            // guard just below.
+            if (arg.kind === 'call' &&
+                arg.callee.kind === 'ident' &&
+                arg.callee.name === 'Map' &&
+                arg.args.length === 0 &&
+                !isProvenUserBinding(ctx, 'Map')) {
+                return 'dict()';
+            }
             // Slice 2 — `new RegExp(p)` (with or without parens) fails-close BEFORE the
             // fall-through, with the shared regex message (the TS emitter + IR-validate
             // throw the same string). Without this the Python `new` case falls through
@@ -4032,6 +4048,15 @@ function registerStdlibRequirementPython(requirement, ctx) {
         ctx.imports.add('decimal');
         return;
     }
+    // KERN 4.5.0 item 3 — `Text.length/charAt/slice/indexOf/startsWith` register the
+    // shared code-point-ops helper block (single-sourced in `text-contract.ts`,
+    // mirroring the Decimal `decimal-ops` requirement above). No import needed —
+    // Python's `str` is already code-point-native, so the helpers are pure
+    // bounds/well-formedness guards around native operators.
+    if (requirement === 'text-ops') {
+        ctx.helpers.add(KERN_TEXT_OPS_HELPER_PY);
+        return;
+    }
     ctx.imports.add(requirement);
 }
 function lowerListLambdaPython(moduleName, methodName, call, ctx) {