import Type
import PrelNames
import TysWiredIn
-import PrelNames
import Unique
import Literal
import SrcLoc
import Ratio
-import SrcLoc
import Outputable
import Util
import FastString
-> DsM MatchResult
matchLiterals (var:vars) ty sub_groups
- = do { -- Deal with each group
+ = ASSERT( all notNull sub_groups )
+ do { -- Deal with each group
; alts <- mapM match_group sub_groups
-- Combine results. For everything except String