@@ -316,10 +316,10 @@ addTyInfConstraints fc ts = do logLvl 2 $ "TI missing: " ++ show ts
316 do let (fx, _) = unApply x
316 do let (fx, _) = unApply x
317 let (fy, _) = unApply y
317 let (fy, _) = unApply y
318 case (fx, fy) of
318 case (fx, fy) of
319− (P (TCon _ _) n _, P (TCon _ _) n' _) -> errWhen (n/=n) -- XXX: n' is unused. Should this be errWhen (n /= n')?
319+ (P (TCon _ _) n _, P (TCon _ _) n' _) -> errWhen (n/=n')
320 (P (TCon _ _) n _, Constant _) -> errWhen True
320 (P (TCon _ _) n _, Constant _) -> errWhen True
321 (Constant _, P (TCon _ _) n' _) -> errWhen True
321 (Constant _, P (TCon _ _) n' _) -> errWhen True
322− (P (DCon _ _ _) n _, P (DCon _ _ _) n' _) -> errWhen (n/=n) -- XXX: n' is unused. Should this be errWhen (n /= n')?
322+ (P (DCon _ _ _) n _, P (DCon _ _ _) n' _) -> errWhen (n/=n')
323 _ -> return ()
323 _ -> return ()
325 where errWhen True
325 where errWhen True