%---------------------------------------------------------------------------%
% vim: ts=4 sw=4 et ft=mercury
%---------------------------------------------------------------------------%
%
% Test the case of a type class pred-mode declaration without any determinism.
%

:- module typeclass_missing_det_1.
:- interface.
:- type dummy.

:- implementation.

:- typeclass c(T) where [
    pred p(T::in)       % error -- missing det declaration for p/1
].

:- type dummy
    --->    dummy.
