test case for constructor warnings

[David Glen JEFFERY]

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