From a1a019b498b611bdcb592da882b88b4f8f3cf676 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Thu, 14 Nov 2024 15:29:14 +0100
Subject: [PATCH] make Eq builtin

---
 Stdlib/Trait/Eq.juvix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Stdlib/Trait/Eq.juvix b/Stdlib/Trait/Eq.juvix
index 71cb707f..fe3d7c7f 100644
--- 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;