diff --git a/clash-systemverilog/primitives/CLaSH.Sized.Vector.json b/clash-systemverilog/primitives/CLaSH.Sized.Vector.json index bbeb961451..6391a22496 100644 --- a/clash-systemverilog/primitives/CLaSH.Sized.Vector.json +++ b/clash-systemverilog/primitives/CLaSH.Sized.Vector.json @@ -1,16 +1,4 @@ [ { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.eq#" - , "type" : "eq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[0] == ~ARG[1]" - } - } -, { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.neq#" - , "type" : "neq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[0] != ~ARG[1]" - } - } -, { "BlackBox" : { "name" : "CLaSH.Sized.Vector.head" , "type" : "head :: Vec (n + 1) a -> a" , "templateD" : diff --git a/clash-verilog/primitives/CLaSH.Sized.Vector.json b/clash-verilog/primitives/CLaSH.Sized.Vector.json index 6a9b5c2f6f..6ac38ce130 100644 --- a/clash-verilog/primitives/CLaSH.Sized.Vector.json +++ b/clash-verilog/primitives/CLaSH.Sized.Vector.json @@ -1,16 +1,4 @@ [ { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.eq#" - , "type" : "eq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[0] == ~ARG[1]" - } - } -, { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.neq#" - , "type" : "neq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[0] != ~ARG[1]" - } - } -, { "BlackBox" : { "name" : "CLaSH.Sized.Vector.head" , "type" : "head :: Vec (n + 1) a -> a" , "templateD" : diff --git a/clash-vhdl/primitives/CLaSH.Sized.Vector.json b/clash-vhdl/primitives/CLaSH.Sized.Vector.json index a23e04f9a9..344603e928 100644 --- a/clash-vhdl/primitives/CLaSH.Sized.Vector.json +++ b/clash-vhdl/primitives/CLaSH.Sized.Vector.json @@ -1,16 +1,4 @@ [ { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.eq#" - , "type" : "eq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[1] = ~ARG[2]" - } - } -, { "BlackBox" : - { "name" : "CLaSH.Sized.Vector.neq#" - , "type" : "neq# :: Eq a => Vec n a -> Vec n a -> Bool" - , "templateE" : "~ARG[1] /= ~ARG[2]" - } - } -, { "BlackBox" : { "name" : "CLaSH.Sized.Vector.head" , "type" : "head :: Vec (n + 1) a -> a" , "templateD" :