update PatternMatch.hs