From 71c1e50c0b101e87502dce8d8d44a1d1baf3579a Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 28 May 2018 11:52:31 -0400 Subject: [PATCH] Define an Eq instance for SomeBuiltin. --- src/Control/Abstract/Primitive.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Control/Abstract/Primitive.hs b/src/Control/Abstract/Primitive.hs index d26f454b6..6b3ce0f4f 100644 --- a/src/Control/Abstract/Primitive.hs +++ b/src/Control/Abstract/Primitive.hs @@ -91,4 +91,7 @@ runPrimitive = interpret (\ (Prim builtin params) -> case builtin of data SomeBuiltin where SomeBuiltin :: Builtin arg return -> SomeBuiltin +instance Eq SomeBuiltin where + SomeBuiltin Print == SomeBuiltin Print = True + deriving instance Show SomeBuiltin