From 0752c7c3712b38b8ed0c825e41f61d09ac46ba7f Mon Sep 17 00:00:00 2001 From: Craig Roy Date: Tue, 14 Jan 2025 09:22:11 +0000 Subject: [PATCH] Update brat/Brat/Syntax/Value.hs Co-authored-by: Mark Koch <48097969+mark-koch@users.noreply.github.com> --- brat/Brat/Syntax/Value.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/brat/Brat/Syntax/Value.hs b/brat/Brat/Syntax/Value.hs index 47fdf5e..4bc71fc 100644 --- a/brat/Brat/Syntax/Value.hs +++ b/brat/Brat/Syntax/Value.hs @@ -160,7 +160,7 @@ data Val :: N -> Type where VApp :: VVar n -> Bwd (Val n) -> Val n -- Define a naive version of equality, which only says whether the data --- structures are on-the-node equal +-- structures are on-the-nose equal instance Eq (Val n) where VNum a == VNum b = a == b (VCon c xs) == (VCon d ys) = c == d && xs == ys