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 "dis" module

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-11-05 00:04:00 +09:00
parent e654c85653
commit d9e8a1af93
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/erg_compiler/context/initialize/mod.rs
View file

@ -999,6 +999,11 @@ impl Context {
Public, Public,
); );
trait_type.register_trait(TraitType, trait_eq); trait_type.register_trait(TraitType, trait_eq);
let mut code = Self::builtin_mono_class("Code", 10);
code.register_superclass(Obj, &obj);
let mut code_eq = Self::builtin_methods(Some(mono("Eq")), 2);
code_eq.register_builtin_impl("__eq__", fn1_met(Code, Code, Bool), Const, Public);
code.register_trait(Code, code_eq);
let g_module_t = mono("GenericModule"); let g_module_t = mono("GenericModule");
let mut generic_module = Self::builtin_mono_class("GenericModule", 2); let mut generic_module = Self::builtin_mono_class("GenericModule", 2);
generic_module.register_superclass(Obj, &obj); generic_module.register_superclass(Obj, &obj);
@ -1503,6 +1508,7 @@ impl Context {
self.register_builtin_type(Type, type_, Private, Const, Some("type")); self.register_builtin_type(Type, type_, Private, Const, Some("type"));
self.register_builtin_type(ClassType, class_type, Private, Const, Some("ClassType")); self.register_builtin_type(ClassType, class_type, Private, Const, Some("ClassType"));
self.register_builtin_type(TraitType, trait_type, Private, Const, Some("TraitType")); self.register_builtin_type(TraitType, trait_type, Private, Const, Some("TraitType"));
self.register_builtin_type(Code, code, Private, Const, Some("CodeType"));
self.register_builtin_type( self.register_builtin_type(
g_module_t, g_module_t,
generic_module, generic_module,

2
compiler/erg_compiler/lib/pystd/dis.d.er Normal file
View file

@ -0,0 +1,2 @@
.dis!: (x: Code or ClassType or TraitType or Proc or Str or Bytes or NoneType := NoneType) => NoneType
.code_info: (x: Code or ClassType or TraitType or Proc or Str or Bytes or NoneType := NoneType) -> Str