From 55e593fde5249c7216729d7e21a9dcab47362874 Mon Sep 17 00:00:00 2001 From: johnvg Date: Wed, 5 Dec 2001 12:25:52 +0000 Subject: removed type from BasicExpr added BVInt removed symb_arity from SymbIdent git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/StdCompare.icl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'frontend/StdCompare.icl') diff --git a/frontend/StdCompare.icl b/frontend/StdCompare.icl index 10a9455..e14b52f 100644 --- a/frontend/StdCompare.icl +++ b/frontend/StdCompare.icl @@ -54,7 +54,10 @@ where instance == BasicValue where - (==) (BVI int1) (BVI int2) = int1 == int2 + (==) (BVI int1) (BVI int2) = int1 == int2 + (==) (BVI int1) (BVInt int2) = int1 == toString int2 + (==) (BVInt int1) (BVI int2) = toString int1 == int2 + (==) (BVInt int1) (BVInt int2) = int1 == int2 (==) (BVC char1) (BVC char2) = char1 == char2 (==) (BVB bool1) (BVB bool2) = bool1 == bool2 (==) (BVR real1) (BVR real2) = real1 == real2 -- cgit v1.2.3