%-----------------------------------------------------------------------------%

:- module instance_no_type.
:- interface.

:- typeclass tc(T) where [].

% no_such_type doesn't appear in interface

:- instance tc(no_such_type).

%-----------------------------------------------------------------------------%
%-----------------------------------------------------------------------------%

:- implementation.

:- type no_such_type ---> no_such_type.

:- instance tc(no_such_type) where [].

%-----------------------------------------------------------------------------%
% vim: ft=mercury ts=8 sw=4 et wm=0 tw=0