Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created December 27, 2025 20:42
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save mypy-play/5684f62b2e6dfa2363f40ef8eea90b9c to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save mypy-play/5684f62b2e6dfa2363f40ef8eea90b9c to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from typing import Pattern, Match
import re
reveal_type(re.compile("[abc]*"))
reveal_type(re.match(my_pattern, "abbcab"))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment