Skip to content

Comments

[Python] Add HashSet and NestedPattern tests, fix HashSet operations for native sets#4345

Merged
dbrattli merged 5 commits intomainfrom
dbrattli/fable-python-more-tests
Feb 17, 2026
Merged

[Python] Add HashSet and NestedPattern tests, fix HashSet operations for native sets#4345
dbrattli merged 5 commits intomainfrom
dbrattli/fable-python-more-tests

Conversation

@dbrattli
Copy link
Collaborator

The Python HashSet replacements were using JS method names (has, delete) that don't exist on Python's native set type. Fixed Count, Contains, Remove, UnionWith, IntersectWith, and ExceptWith to use Python-compatible helpers that work with both native set and custom MutableSet.

dbrattli and others added 2 commits February 13, 2026 19:37
…for native sets

The Python HashSet replacements were using JS method names (has, delete) that don't
exist on Python's native set type. Fixed Count, Contains, Remove, UnionWith,
IntersectWith, and ExceptWith to use Python-compatible helpers that work with both
native set and custom MutableSet.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@github-actions
Copy link

github-actions bot commented Feb 13, 2026

Python Type Checking Results (Pyright)

Metric Value
Total errors 18
Files with errors 4
Excluded files 4
New errors ✅ No
Excluded files with errors (4 files)

These files have known type errors and are excluded from CI. Remove from pyrightconfig.ci.json as errors are fixed.

File Errors Status
temp/tests/Python/test_applicative.py 12 Excluded
temp/tests/Python/test_hash_set.py 3 Excluded
temp/tests/Python/test_nested_and_recursive_pattern.py 2 Excluded
temp/tests/Python/fable_modules/thoth_json_python/encode.py 1 Excluded

@dbrattli dbrattli force-pushed the dbrattli/fable-python-more-tests branch from da80512 to f0e37de Compare February 13, 2026 19:13
@dbrattli dbrattli merged commit f6f4b98 into main Feb 17, 2026
23 checks passed
@dbrattli dbrattli deleted the dbrattli/fable-python-more-tests branch February 17, 2026 17:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant