Sophie: ocaml-pa-monad-6.0-1mdv2010.0 i586

ocaml-pa-monad-6.0-1mdv2010.0.i586.rpm

<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="pa_monad.html">
<link title="Index of types" rel=Appendix href="pa_monad_types.html">
<link title="Index of exceptions" rel=Appendix href="pa_monad_exceptions.html">
<link title="Index of values" rel=Appendix href="pa_monad_values.html">
<link title="Index of modules" rel=Appendix href="pa_monad_modules.html">
<link title="Pa_monad" rel="Chapter" href="Pa_monad.html">
<link title="Cc" rel="Chapter" href="Cc.html">
<link title="Exception" rel="Chapter" href="Exception.html">
<link title="Io" rel="Chapter" href="Io.html">
<link title="Utest" rel="Chapter" href="Utest.html"><title>Utest</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;expected_test_outcome&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">ExpectPass</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">ExpectFail</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">ExpectException</span>&nbsp;<span class="keyword">of</span>&nbsp;exn<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;test_outcome&nbsp;=&nbsp;<span class="constructor">Pass</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Fail</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">UPass</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">XFail</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Unresolved</span>&nbsp;<span class="keyword">of</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;test&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">TestCase</span>&nbsp;<span class="keyword">of</span>&nbsp;string&nbsp;*&nbsp;<span class="constructor">Utest</span>.expected_test_outcome&nbsp;*&nbsp;(unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool)<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;test_results&nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;total&nbsp;:&nbsp;int;<br>
&nbsp;&nbsp;&nbsp;&nbsp;passed&nbsp;:&nbsp;int;<br>
&nbsp;&nbsp;&nbsp;&nbsp;failed&nbsp;:&nbsp;int;<br>
&nbsp;&nbsp;&nbsp;&nbsp;upassed&nbsp;:&nbsp;int;<br>
&nbsp;&nbsp;&nbsp;&nbsp;xfailed&nbsp;:&nbsp;int;<br>
&nbsp;&nbsp;&nbsp;&nbsp;unresolved&nbsp;:&nbsp;int;<br>
&nbsp;&nbsp;}<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;testcase&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.expected_test_outcome&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;expect_pass&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;expect_fail&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;expect_exception&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;exn&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test<br>
&nbsp;&nbsp;<span class="keyword">exception</span>&nbsp;<span class="constructor">InconsistentFixture</span><br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;eval_with_imperative_fixture&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;(unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;eval_with_functional_fixture&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;(unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;verbosity&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">PrintNothing</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">PrintFailedTests</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">PrintTestTotals</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">PrintAllTests</span><br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;run_tests&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Utest</span>.verbosity&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test)&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Utest</span>.test_results<br>
<span class="keyword">end</span></code></body></html>