make Eq builtin

anoma · Nov 14, 2024 · a1a019b · a1a019b
1 parent 0080b11
commit a1a019b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Stdlib/Trait/Eq.juvix b/Stdlib/Trait/Eq.juvix
@@ -4,8 +4,9 @@ import Stdlib.Data.Bool.Base open;
 import Stdlib.Data.Fixity open;
 
 --- A trait defining equality
+builtin eq
 trait
-type Eq A := mkEq@{eq : A -> A -> Bool};
+type Eq A := mkEq@{builtin isEqual eq : A -> A -> Bool};
 
 syntax operator == comparison;
 syntax operator /= comparison;