fix: Use panicking division ops

CQCL · Nov 6, 2023 · b13c9b4 · b13c9b4
1 parent 51cff54
commit b13c9b4
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 13 deletions.
diff --git a/guppy/prelude/integer.py b/guppy/prelude/integer.py
@@ -82,9 +82,7 @@ def __ceil__(self: int) -> int:
     ...
 
 
-@extension.func(
-    OpCompiler(ops.DummyOp(name="idivmod_s_panic")), instance=IntType  # TODO
-)
+@extension.func(OpCompiler(IntOpCompiler("idivmod_s", num_params=2)), instance=IntType)
 def __divmod__(self: int, other: int) -> tuple[int, int]:
     ...
 
@@ -104,7 +102,7 @@ def __floor__(self: int, other: int) -> int:
     ...
 
 
-@extension.func(OpCompiler(ops.DummyOp(name="idiv_s_panic")), instance=IntType)  # TODO
+@extension.func(IntOpCompiler("idiv_s", num_params=2), instance=IntType)
 def __floordiv__(self: int, other: int) -> int:
     ...
 
@@ -146,7 +144,7 @@ def __lt__(self: int, other: int) -> bool:
     ...
 
 
-@extension.func(OpCompiler(ops.DummyOp(name="imod_s_panic")), instance=IntType)  # TODO
+@extension.func(IntOpCompiler("imod_s", num_params=2), instance=IntType)
 def __mod__(self: int, other: int) -> int:
     ...
 
@@ -191,16 +189,12 @@ def __rand__(self: int, other: int) -> int:
     ...
 
 
-@extension.func(
-    Reversed(OpCompiler(ops.DummyOp(name="idivmod_s_panic"))), instance=IntType  # TODO
-)
+@extension.func(Reversed(IntOpCompiler("idivmod_s", num_params=2)), instance=IntType)
 def __rdivmod__(self: int, other: int) -> int:
     ...
 
 
-@extension.func(
-    Reversed(OpCompiler(ops.DummyOp(name="idiv_s_panic"))), instance=IntType  # TODO
-)
+@extension.func(Reversed(IntOpCompiler("idiv_s", num_params=2)), instance=IntType)
 def __rfloordiv__(self: int, other: int) -> int:
     ...
 

diff --git a/validator/Cargo.lock b/validator/Cargo.lock
diff --git a/validator/Cargo.toml b/validator/Cargo.toml
@@ -10,6 +10,6 @@ crate-type = ["cdylib"]
 
 [dependencies]
 pyo3 = "0.19.0"
-quantinuum-hugr = { git = "https://github.com/CQCL-DEV/hugr.git", rev = "46d50176c3bb7589ef8349a31d6801d45c3313b9" }
+quantinuum-hugr = { git = "https://github.com/CQCL-DEV/hugr.git", rev = "1a07cd9aca60aa75257bdb297d7442d9529765fb" }
 rmp-serde = "1.1.1"
 lazy_static = "1.4.0"