From bc9b83314dc1f7e995e7c57ae78bec76989eb86d Mon Sep 17 00:00:00 2001 From: Siva Somayyajula Date: Sun, 14 Sep 2025 18:02:05 -0400 Subject: [PATCH 1/2] fix --- .../nameresolver/DafnyNameResolver.java | 22 ++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/DafnyNameResolver.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/DafnyNameResolver.java index 73d19da85c..2706171bb5 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/DafnyNameResolver.java +++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/DafnyNameResolver.java @@ -72,7 +72,27 @@ public class DafnyNameResolver { "try", "while", "with", - "yield" + "yield", + // Built-in functions (https://docs.python.org/3/library/functions.html) + "abs", "aiter", "all", "anext", "any", "ascii", + "bin", "bool", "breakpoint", "bytearray", "bytes" + "callable", "chr", "classmethod", "compile", "complex", + "delattr", "dict", "dir", "divmod", + "enumerate", "eval", "exec", + "filter", "float", "format", "frozenset", + "getattr", "globals", + "hasattr", "hash", "help", "hex", + "id", "input", "int", "isinstance", "issubclass", "iter", + "len", "list", "locals", + "map", "max", "memoryview", "min", + "next", + "object", "oct", "open", "ord", + "pow", "print", "property", + "range", "repr", "reversed", "round", + "set", "setattr", "slice", "sorted", "staticmethod", "str", "sum", "super", + "tuple", "type", + "vars", + "zip" ) ); From 647a0f6235c9a08b24a218d67a180ed0fd2262ca Mon Sep 17 00:00:00 2001 From: Siva Somayyajula Date: Mon, 15 Sep 2025 11:03:28 -0400 Subject: [PATCH 2/2] Fixed typo --- .../smithypython/common/nameresolver/DafnyNameResolver.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/DafnyNameResolver.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/DafnyNameResolver.java index 2706171bb5..8b0bed6601 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/DafnyNameResolver.java +++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/DafnyNameResolver.java @@ -75,7 +75,7 @@ public class DafnyNameResolver { "yield", // Built-in functions (https://docs.python.org/3/library/functions.html) "abs", "aiter", "all", "anext", "any", "ascii", - "bin", "bool", "breakpoint", "bytearray", "bytes" + "bin", "bool", "breakpoint", "bytearray", "bytes", "callable", "chr", "classmethod", "compile", "complex", "delattr", "dict", "dir", "divmod", "enumerate", "eval", "exec",