<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Aug 1, 2014 at 3:22 PM, Paul Bone <span dir="ltr"><<a href="mailto:paul@bone.id.au" target="_blank">paul@bone.id.au</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Fix weak pointer test.<br>
<br>
Branch: master, version-14_01-branch<br>
<br>
---<br>
<br>
This test was broken in non-C grades due to an omission.<br>
<br>
general/weak_ptr.m:<br>
general/weak_ptr.exp2:<br>
    As above.<br>
---<br>
 tests/general/weak_ptr.exp2 | 1 +<br>
 tests/general/weak_ptr.m    | 5 ++++-<br>
 2 files changed, 5 insertions(+), 1 deletion(-)<br>
 create mode 100644 tests/general/weak_ptr.exp2<br>
<br>
diff --git a/tests/general/weak_ptr.exp2 b/tests/general/weak_ptr.exp2<br>
new file mode 100644<br>
index 0000000..0b2cc3a<br>
--- /dev/null<br>
+++ b/tests/general/weak_ptr.exp2<br>
@@ -0,0 +1 @@<br>
+Test not supported in this grade.<br>
diff --git a/tests/general/weak_ptr.m b/tests/general/weak_ptr.m<br>
index 466e08d..5b39ef2 100644<br>
--- a/tests/general/weak_ptr.m<br>
+++ b/tests/general/weak_ptr.m<br>
@@ -159,5 +159,8 @@ drop(int n, list* cur)<br>
     ").<br>
<br>
 test(!IO) :-<br>
-    io.write_string("Test not supported in this grade.\n").<br>
+    % We provide a weak_ptr.exp2 file so that the test passws in non C<br></blockquote><div><br></div><div>s/passws/passes/</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

+    % grades.  Java and C# provide their own weak pointer code that we do<br>
+    % not need to test as part of the Mercury test suite.<br>
+    io.write_string("Test not supported in this grade.\n", !IO).</blockquote><div><br></div><div><br></div><div>Can't you just set things up in the Mmakefile so that this test is not run in non-C grades?</div>
<div>(As we do in the hard_coded directory.)</div><div><br></div><div>Cheers,</div><div>Julien.</div><div><br></div><div><br></div><div> </div></div><br></div></div>