Diff: Test case

[Andrew Bromage]

G'day all.

Just committed this small test case.  It has been reviewed by Fergus,
so this is for informational purposes only.

Cheers,
Andrew Bromage
--------8<---CUT HERE---8<--------
Estimated hours taken: 0.1

tests/valid/Mmake:
tests/valid/ho_inst.m:
	Test case to ensure that special_preds for higher order
	func insts are created and mode/determinism checked correctly.

Index: Mmake
===================================================================
RCS file: /home/staff/zs/imp/tests/valid/Mmake,v
retrieving revision 1.39
diff -u -r1.39 Mmake
--- Mmake	1997/06/03 06:23:07	1.39
+++ Mmake	1997/06/18 07:12:39
@@ -28,6 +28,7 @@
 	higher_order.m \
 	higher_order2.m \
 	higher_order3.m \
+	ho_inst.m \
 	implied_mode.m \
 	indexing.m \
 	intermod_lambda.m \

New File: ho_inst.m
===================================================================
% This test ensures that special preds for higher order func insts
% are generated and modechecked correctly.
%		-- 18 Jun 1997 bromage

:- module ho_inst.

:- interface.
:- import_module int.

:- type foo == (func(int) = int).

:- type baz.

:- implementation.

:- type bar == (func(int) = int).
:- type baz == (func(int) = int).