import Id ( idType )
import DataCon ( DataCon, isTupleCon, isUnboxedTupleCon,
dataConSourceArity )
-import Name ( Name, mkLocalName, getOccName, isConSymOcc, getName, varOcc )
+import Name ( Name, mkLocalName, getOccName, isDataSymOcc, getName, mkSrcVarOcc )
import Type ( Type,
isUnboxedType,
splitTyConApp_maybe
)
import Unique ( unboundKey )
import TyCon ( tyConDataCons )
+import SrcLoc ( noSrcLoc )
import UniqSet
import Outputable
where new_var = hash_x
hash_x = mkLocalName unboundKey {- doesn't matter much -}
- (varOcc SLIT("#x"))
+ (mkSrcVarOcc SLIT("#x"))
+ noSrcLoc
make_row_vars_for_constructor :: EquationInfo -> [WarningPat]
make_row_vars_for_constructor (EqnInfo _ _ pats _ ) = take (length (tail pats)) (repeat new_wild_pat)
not the second.
\begin{code}
-
-isInfixCon con = isConSymOcc (getOccName con)
+isInfixCon con = isDataSymOcc (getOccName con)
is_nil (ConPatIn con []) = con == getName nilDataCon
is_nil _ = False