X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FMatch.lhs;h=52c267482baaccdcd31ab806ea9b8abb1d0f7279;hb=74b27e20425336403d80e942ee3faf00f8c36ef8;hp=9dc5d3af3f22fe17be977d160dc9e40c287a7475;hpb=4ae1e17253f4417303e46d59f5a737cc1d7fd78e;p=ghc-hetmet.git diff --git a/compiler/deSugar/Match.lhs b/compiler/deSugar/Match.lhs index 9dc5d3a..52c2674 100644 --- a/compiler/deSugar/Match.lhs +++ b/compiler/deSugar/Match.lhs @@ -26,7 +26,6 @@ import DataCon import MatchCon import MatchLit import PrelInfo -import TcType import Type import TysWiredIn import BasicTypes @@ -448,15 +447,6 @@ tidy1 v (TuplePat pats boxity ty) arity = length pats tuple_ConPat = mkPrefixConPat (tupleCon boxity arity) pats ty -tidy1 v (DictPat dicts methods) - = case num_of_d_and_ms of - 0 -> tidy1 v (TuplePat [] Boxed unitTy) - 1 -> tidy1 v (unLoc (head dict_and_method_pats)) - _ -> tidy1 v (mkVanillaTuplePat dict_and_method_pats Boxed) - where - num_of_d_and_ms = length dicts + length methods - dict_and_method_pats = map nlVarPat (dicts ++ methods) - -- LitPats: we *might* be able to replace these w/ a simpler form tidy1 v (LitPat lit) = returnDs (idDsWrapper, tidyLitPat lit)