[m-rev.] trivial diff: test type_name of `((func) = ...)'

[Fergus Henderson]

Estimated hours taken: 0.1
Branches: main

tests/hard_coded/higher_order_type_manip.m:
tests/hard_coded/higher_order_type_manip.exp:
	Add a test of a higher-order function type with no arguments.

Workspace: /home/ceres/fjh/mercury
Index: tests/hard_coded/higher_order_type_manip.exp
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/higher_order_type_manip.exp,v
retrieving revision 1.6
diff -u -d -r1.6 higher_order_type_manip.exp
--- tests/hard_coded/higher_order_type_manip.exp	30 Jan 2002 05:09:10 -0000	1.6
+++ tests/hard_coded/higher_order_type_manip.exp	6 Mar 2002 04:30:11 -0000
@@ -1,6 +1,7 @@
 func(type_desc:type_desc) = string
 pred(type_desc:type_desc, type_desc:type_ctor_desc, list:list(type_desc:type_desc))
 int
+((func) = int)
 higher_order_type_manip:container(list:list(int))
 higher_order_type_manip:container(pred(io:state, io:state))
 func(int) = int
Index: tests/hard_coded/higher_order_type_manip.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/higher_order_type_manip.m,v
retrieving revision 1.1
diff -u -d -r1.1 higher_order_type_manip.m
--- tests/hard_coded/higher_order_type_manip.m	16 Jul 1997 15:57:00 -0000	1.1
+++ tests/hard_coded/higher_order_type_manip.m	4 Mar 2002 14:05:16 -0000
@@ -26,6 +26,8 @@
 	io__write_string("\n"),
 	io__write_string(type_name(type_of(tryme))),
 	io__write_string("\n"),
+	io__write_string(type_name(type_of((func) = tryme))),
+	io__write_string("\n"),
 	io__write_string(type_name(type_of(container([1,2,3])))),
 	io__write_string("\n"),
 	io__write_string(type_name(type_of(container(main)))),

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------