From 953099711e788223a1c5c2accc660ed92aa54aa7 Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Thu, 31 Oct 2024 12:43:17 +0100 Subject: [PATCH] No dynamic datatypes --- src/EVM.hs | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/EVM.hs b/src/EVM.hs index 48ed0c51a..1223b83e8 100644 --- a/src/EVM.hs +++ b/src/EVM.hs @@ -1938,14 +1938,6 @@ cheatActions = Map.fromList , action "assertNotEq(address,address)" $ assertNotEq AbiAddressType , action "assertNotEq(bytes32,bytes32)" $ assertNotEq (AbiBytesType 32) -- - -- , action "assertEq(bool,bool,string)" $ assertEqMsg AbiBoolType - -- , action "assertEq(uint256,uint256,string)" $ assertEqMsg (AbiUIntType 256) - -- , action "assertEq(int256,int256,string)" $ assertEqMsg (AbiIntType 256) - -- , action "assertEq(address,address,string)" $ assertEqMsg AbiAddressType - -- , action "assertEq(bytes32,bytes32,string)" $ assertEqMsg (AbiBytesType 32) - -- , action "assertEq(string,string,string)" $ assertEqMsg AbiStringType - -- , action "assertEq(bytes,bytes,string)" $ assertEqMsg AbiBytesDynamicType - -- , action "assertLt(uint256,uint256)" $ assertLt (AbiUIntType 256) , action "assertLt(int256,int256)" $ assertLt (AbiIntType 256) , action "assertLe(uint256,uint256)" $ assertLe (AbiUIntType 256)