language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 02:39:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update _erg_type.py

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-10-02 15:38:45 +09:00
parent cb66bcabaa
commit 828441f9f9
1 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/erg_compiler/lib/std/_erg_type.py
View file

@ -1,4 +1,10 @@
from typing import Union
try:
from typing import Union
except ImportError:
import warnings
warnings.warn("`typing.Union` is not available. Please use Python 3.8+.")
class Union:
pass
class UnionType:
__origin__ = Union