cvs diff: strip mercury_builtin qualifiers from inferred types

[Fergus Henderson]

compiler/typecheck.m:
	Strip out the `mercury_builtin:' qualifiers from the messages
	about inferred types, because this makes them easier to read.

Index: typecheck.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/typecheck.m,v
retrieving revision 1.196
diff -u -r1.196 typecheck.m
--- typecheck.m	1997/04/19 07:45:09	1.196
+++ typecheck.m	1997/04/20 02:49:50
@@ -2723,7 +2723,8 @@
 	{ pred_info_name(PredInfo, PredName) },
 	{ Name = unqualified(PredName) },
 	{ pred_info_context(PredInfo, Context) },
-	{ pred_info_arg_types(PredInfo, VarSet, Types) },
+	{ pred_info_arg_types(PredInfo, VarSet, Types0) },
+	{ strip_builtin_qualifiers_from_type_list(Types0, Types) },
 	{ pred_info_get_is_pred_or_func(PredInfo, PredOrFunc) },
 	{ MaybeDet = no },
 	prog_out__write_context(Context),
-- 
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.