diff options
Diffstat (limited to 'doc/functions/library/asserts.xml')
| -rw-r--r-- | doc/functions/library/asserts.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/functions/library/asserts.xml b/doc/functions/library/asserts.xml index 1f42078c8cf3..437850e408bc 100644 --- a/doc/functions/library/asserts.xml +++ b/doc/functions/library/asserts.xml @@ -10,6 +10,8 @@ <subtitle><literal>assertMsg :: Bool -> String -> Bool</literal> </subtitle> + <xi:include href="./locations.xml" xpointer="lib.asserts.assertMsg" /> + <para> Print a trace message if <literal>pred</literal> is false. </para> @@ -59,6 +61,8 @@ stderr> assert failed StringList -> Bool</literal> </subtitle> + <xi:include href="./locations.xml" xpointer="lib.asserts.assertOneOf" /> + <para> Specialized <function>asserts.assertMsg</function> for checking if <varname>val</varname> is one of the elements of <varname>xs</varname>. |