darcs patch: Naive implementation of 'cabal check'