feat: drop specialisations for eq and eq! (#590)

drop specialisations for `eq` and `eq!` Since these are never used, they are now dropped.
Consensys · Jan 23, 2025 · a30a114 · a30a114
1 parent e95af4c
commit a30a114
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/pkg/corset/stdlib.lisp b/pkg/corset/stdlib.lisp
@@ -21,12 +21,10 @@
 
 (defpurefun ((not :binary@bool :force) (x :binary)) (- 1 x))
 
-(defpurefun ((eq! :binary@loob :force) (x :binary) (y :binary)) (^ (- x y) 2))
 (defpurefun ((eq! :@loob) x y) (- x y))
 (defpurefun ((neq! :binary@loob :force) x y) (not (~ (eq! x y))))
 (defunalias = eq!)
 
-(defpurefun ((eq :binary@bool :force) (x :binary) (y :binary)) (- 1 (^ (- x y) 2)))
 (defpurefun ((eq :binary@bool :force) x y) (- 1 (~ (eq! x y))))
 (defpurefun ((neq :binary@bool :force) x y) (eq! x y))