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

Fix __pow__, __mod__ types

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-09-16 00:15:13 +09:00
parent 19428a417f
commit 4615c774f0
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1599,12 +1599,12 @@ impl Context {
); );
self.register_builtin_impl("__div__", op_t, Const, Private); self.register_builtin_impl("__div__", op_t, Const, Private);
let m = mono_q("M"); let m = mono_q("M");
let op_t = bin_op(m.clone(), m.clone(), m.clone()); let op_t = bin_op(m.clone(), m.clone(), mono_proj(m.clone(), "Output"));
let op_t = quant(op_t, set! {subtypeof(m, poly("Mul", vec![]))}); let op_t = quant(op_t, set! {subtypeof(m, poly("Mul", vec![]))});
// TODO: add bound: M == M.Output // TODO: add bound: M == M.Output
self.register_builtin_impl("__pow__", op_t, Const, Private); self.register_builtin_impl("__pow__", op_t, Const, Private);
let d = mono_q("D"); let d = mono_q("D");
let op_t = bin_op(d.clone(), d.clone(), d.clone()); let op_t = bin_op(d.clone(), d.clone(), mono_proj(d.clone(), "Output"));
let op_t = quant(op_t, set! {subtypeof(d, poly("Div", vec![]))}); let op_t = quant(op_t, set! {subtypeof(d, poly("Div", vec![]))});
self.register_builtin_impl("__mod__", op_t, Const, Private); self.register_builtin_impl("__mod__", op_t, Const, Private);
let e = mono_q("E"); let e = mono_q("E");