test case for constructor warnings

David Glen JEFFERY dgj at hydra.cs.mu.oz.au
Sat Apr 19 16:26:55 AEST 1997


Hi,

Here's a test case for the constructor warnings:


---
:- module constructor_warning.

:- interface.

:- type foo.

:- pred bar(foo::in) is semidet.

:- implementation.

:- import_module.

:- type foo --->	foo_baz(int)
		;	foo_baz(int, int)
		;	fanta_fanta_fanta.


bar(foo_baz).
bar(fanta_fanta_fanta(1)).

--


love and cuddles,
dgj
-- 



This .sig deliberately left blank






More information about the developers mailing list