Re: How can we rewrite pattern matching

Hi everyone, thanks for the replies. I certainly agree that pattern matching here is the most elegant solution, but I have a reason for asking this question too.

Here's a more precise definition of my question:

I have this: 'input' is peeked from a stream, and XType is a type I defined previously. So when input matches my XType I produce myFun  using  x as an argument (which is in scope):

match input with 
                XType(a) -> myFun x

If I write this in a if-then-else 

    if ( ??? == ??? ) then myFun x