Plunit needs a small update

The page for plunit mentions subsumes_chk/2 (but has no live link, which should be fixed)

throws (Error)

Body must throw Error. The error is verified using
subsumes_chk(Error, Generated) . I.e. the generated error must be more
specific than the specified Error.

However, the documentation for subsumes_chk/2 says:

- Replace by subsumes_term/2.

Thus, plunit needs a code uptick to subsumes_term/2 and a live link on the pldoc, please.

1 Like

Fixed. In general, please create a pull request on github. That is faster to process and gives the credits where they belong.

1 Like

Okay, will do so when the occasion presents itself. Thanks Jan.