<div dir="ltr">Hi guys,<div><br></div><div>I'm doing Write yourself Scheme tutorial. And for testing it would be cool to have some kind of macro.</div><div><br></div><div>-- My data type with Eq derived</div><div><div>data LispError = NumArgs Integer [LispVal]</div><div>               | TypeMismatch String LispVal</div><div>               | Parser ParseError</div><div>               | BadSpecialForm String LispVal</div><div>               | NotFunction String String</div><div>               | UnboundVar String String</div><div>               | Default String</div><div>               deriving (Eq)</div></div><div><br></div><div>-- I can call ==</div><div>NumArgs 1 [] == NumArgs 1 []<br></div><div><br></div><div>-- but sometimes I want to do (I know I can implement my own Eq, but I want to use both forms)</div><div>NumArgs 1 [] == NumArgs 1 _<br></div><div><br></div><div>where I omit second parameter. I think derived Eq where it matches all the args is fine I just need to do macro which will get whateverType by compiler and always return True in Equality check. Do you think it is possible to do? I use Mockito library in java but java is OO, so completely different beast.</div><div><br></div><div>Thank you</div><div><br></div></div>