Merge pull request #111 from erg-lang/fix-#110

Fix #110
erg-lang · Sep 1, 2022 · 7b2576a · 7b2576a
2 parents edf3c5b + f71024e
commit 7b2576a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/erg_compiler/context/initialize/mod.rs b/compiler/erg_compiler/context/initialize/mod.rs
@@ -516,6 +516,7 @@ impl Context {
                 // trait_("Rational"),
                 // trait_("Integral"),
                 poly_trait("Eq", vec![ty_tp(Bool)]),
+                poly_trait("Add", vec![ty_tp(Bool)]),
                 trait_("Ord"),
                 // mono("SelfAdd"),
                 // mono("SelfSub"),