diff: prog_io.m: check syntax of existential data types

[Fergus Henderson]

Estimated hours taken: 0.25

compiler/prog_io.m:
	For existential quantifiers in data declarations,
	check that the first argument of the quantifier has
	the correct syntax (a list of variables).

Index: compiler/prog_io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/prog_io.m,v
retrieving revision 1.174
diff -u -r1.174 prog_io.m
--- prog_io.m	1998/07/08 20:57:14	1.174
+++ prog_io.m	1998/07/25 13:28:01
@@ -1550,7 +1550,7 @@
 	( 
 		Term0 = term__functor(term__atom("some"), [Vars, Term1], _)
 	->
-		term__vars(Vars, ExistQVars),
+		parse_list_of_vars(Vars, ExistQVars),
 		Term2 = Term1
 	;
 		ExistQVars = [],

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.