@@ -545,11 +545,11 @@ liftPats tm = let (tm', ps) = runState (getPats tm) [] in
546isEmpty :: Context -> Ctxt TypeInfo -> Type -> Bool
546isEmpty :: Context -> Ctxt TypeInfo -> Type -> Bool
547isEmpty ctxt tyctxt ty
547isEmpty ctxt tyctxt ty
548− | (P _ tyname _, args) <- unApply (getRetTy ty),
548+ | (P _ tyname _, args) <- unApply ty,
549 Just tyinfo <- lookupCtxtExact tyname tyctxt
549 Just tyinfo <- lookupCtxtExact tyname tyctxt
550 -- Compare all the constructor types against the type we need
550 -- Compare all the constructor types against the type we need
551 -- If they *all* have an argument position where some constructor
551 -- If they *all* have an argument position where some constructor
552− -- clases with the needed type, then the type we're looking for must
552+ -- clashes with the needed type, then the type we're looking for must
553 -- be empty
553 -- be empty
554 = let neededty = getRetTy ty
554 = let neededty = getRetTy ty
555 contys = mapMaybe getConType (con_names tyinfo) in
555 contys = mapMaybe getConType (con_names tyinfo) in