From ea61870a3363efeee89929f1ed9c5efe9d63d451 Mon Sep 17 00:00:00 2001
From: GreasySlug <9619abgoni@gmail.com>
Date: Sun, 9 Oct 2022 23:00:38 +0900
Subject: [PATCH] Add: register floordiv

---
 compiler/erg_compiler/context/initialize/mod.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/compiler/erg_compiler/context/initialize/mod.rs b/compiler/erg_compiler/context/initialize/mod.rs
index ebfd0a88..14e12cd0 100644
--- a/compiler/erg_compiler/context/initialize/mod.rs
+++ b/compiler/erg_compiler/context/initialize/mod.rs
@@ -1852,6 +1852,15 @@ impl Context {
         );
         self.register_builtin_impl("__mul__", op_t, Const, Private);
         let op_t = bin_op(l.clone(), r.clone(), mono_proj(mono_q("L"), "Output"));
+        let op_t = quant(
+            op_t,
+            set! {
+                static_instance("R", Type),
+                subtypeof(l.clone(), builtin_poly("FloorDiv", params.clone()))
+            },
+        );
+        self.register_builtin_impl("__floordiv__", op_t, Const, Private);
+        let op_t = bin_op(l.clone(), r.clone(), mono_proj(mono_q("L"), "Output"));
         let op_t = quant(
             op_t,
             set! {