模式匹配问题

pattern matching problem