diff: test case for exist_q_tvar bug fix

[David Glen JEFFERY]

-----------------------------------------------------------------------------

Estimated hours taken: 0.1

valid/Mmakefile:
	Turn on the new test
valid/existential_bound_tvar.m:
	Test case for the exist_q_tvar bug.

-----------------------------------------------------------------------------
cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/tests/valid/Mmakefile,v
retrieving revision 1.25
diff -u -t -r1.25 Mmakefile
--- Mmakefile	1998/09/21 11:27:18	1.25
+++ Mmakefile	1998/09/24 05:38:17
@@ -34,6 +34,7 @@
         empty_bound_inst_list.m \
         empty_switch.m \
         error.m \
+        existential_bound_tvar.m \
         explicit_quant.m \
         fail_ite.m \
         followcode_det_problem.m \



===================================================================

New file: existential_bound_tvar.m

:- module existential_bound_tvar.

:- interface.

:- pred main(io__state::di, io__state::uo) is det.

:- import_module io.

:- implementation.

main -->
	{ blah(101, _) }.

:- some [T1] pred blah(T, T1).
:- mode blah(in, out) is det.

blah(X, X).

===================================================================


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.