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

Add py-command option

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-30 01:37:45 +09:00
parent 765acceaf4
commit 216470b3a1
7 changed files with 69 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/erg_compiler/codegen.rs
View file

@ -2054,7 +2054,10 @@ impl CodeGenerator {
self.write_arg(1u8);
self.stack_dec();
self.emit_pop_top();
let erg_std_mod = if self.py_version.le(&PythonVersion::new(3, 8, 10)) {
let erg_std_mod = if self
.py_version
.le(&PythonVersion::new(3, Some(8), Some(10)))
{
Identifier::public("_erg_std_prelude_old")
} else {
Identifier::public("_erg_std_prelude")