language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-30 12:51:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add Never

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-17 12:45:35 +09:00
parent 4ca3285853
commit 261927e0f9
2 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/erg_compiler/lib/std/_erg_std_prelude.py
View file

@ -7,3 +7,5 @@ from _erg_str import Str, StrMut
from _erg_array import Array
from _erg_in_operator import in_operator
from _erg_mutate_operator import mutate_operator
class Never: pass